1 files changed, 2 insertions, 0 deletions
diff --git a/test2.lang b/test2.lang
index 2109ea20c..7c1f35f38 100644
--- a/test2.lang
+++ b/test2.lang
@@ -1,3 +1,4 @@
+(module)
 
 (ann-class java.lang.String)
 
@@ -9,6 +10,7 @@
            fields
            (: out java.io.PrintStream))
 
+#( (ann id #type (All [x] (-> [x] x))) )#
 (def (id x)
   x)