1 files changed, 9 insertions, 0 deletions
diff --git a/another.lang b/another.lang
new file mode 100644
index 000000000..9ff9f8885
--- /dev/null
+++ b/another.lang
@@ -0,0 +1,9 @@
+
+## (ann id #type (All [x] (-> [x] x)))
+(def (id x)
+  x)
+
+#( (def (id x)
+     (let return "RETURN"
+          return))
+   )#