summaryrefslogtreecommitdiff
path: root/test/exportmain.myr
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 /test/exportmain.myr
parentae6e5736ca20bb724632b4491d0cfd72e48c99a5 (diff)
downloadmc-e559a7dc5f76558ea0f56d9bf26385b04b496bd4.tar.gz
Add test for empty package names (ie, exporting 'main')
Diffstat (limited to 'test/exportmain.myr')
-rw-r--r--test/exportmain.myr12
1 files changed, 12 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)
+}