diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-01-26 12:35:32 -0500 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-01-26 12:35:32 -0500 |
commit | 28605345c88491627b7a34cea6e50c9e5b9b8b01 (patch) | |
tree | 3ff8deb5599074bb5f67cd1ccda2ad1bb74d5b5b /tests | |
parent | 9c27c9d90a3f3593de07658a14581b66d08c8b75 (diff) |
Initial parsing and pretty-printing
Diffstat (limited to 'tests')
-rw-r--r-- | tests/stuff.lac | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/tests/stuff.lac b/tests/stuff.lac new file mode 100644 index 00000000..076698ce --- /dev/null +++ b/tests/stuff.lac @@ -0,0 +1,10 @@ +con c1 = t :: Type -> t +con c2 :: Type = t :: Type -> t +con c3 = fn t :: Type => c1 +con c4 = c3 c1 +con c5 = (fn t :: Type => c1) c1 + +con name = #MyName + +con c6 = {A : c1, name : c2} +con c7 = [A = c1, name = c2] |