summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorOri Bernstein <orib@google.com>2013-02-19 13:07:58 -0500
committerOri Bernstein <orib@google.com>2013-02-19 13:07:58 -0500
commite559a7dc5f76558ea0f56d9bf26385b04b496bd4 (patch)
treef6505fc19c7345ebd4c9d9d0ea30e2b8b27200f4
parentae6e5736ca20bb724632b4491d0cfd72e48c99a5 (diff)
downloadmc-e559a7dc5f76558ea0f56d9bf26385b04b496bd4.tar.gz
Add test for empty package names (ie, exporting 'main')
-rw-r--r--test/exportmain.myr12
-rw-r--r--test/tests1
2 files changed, 13 insertions, 0 deletions
diff --git a/test/exportmain.myr b/test/exportmain.myr
new file mode 100644
index 0000000..2cb21d7
--- /dev/null
+++ b/test/exportmain.myr
@@ -0,0 +1,12 @@
+pkg =
+ foo : (val:int -> int)
+;;
+
+
+const foo = {val
+ -> val
+}
+
+const main = {
+ -> foo(42)
+}
diff --git a/test/tests b/test/tests
index 9ed78da..da1a7d2 100644
--- a/test/tests
+++ b/test/tests
@@ -32,6 +32,7 @@ B structptr E 42
B structasn E 42
B structarray E 42
B structret E 42
+B exportmain E 42
B slalloc E 123
B neststruct E 3
B array E 7