diff tests/conargs.ur @ 1574:644558d9c756

Extend and document 'con' syntax with arguments
author Adam Chlipala <adam@chlipala.net>
date Sat, 15 Oct 2011 10:05:13 -0400
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/tests/conargs.ur	Sat Oct 15 10:05:13 2011 -0400
@@ -0,0 +1,9 @@
+con func a b = a -> b
+
+signature S = sig
+    con funcy a b = a -> b
+end
+
+structure M : S = struct
+    con funcy = func
+end