Mercurial > urweb
diff tests/stuff.lac @ 1:4202f6eda946
Initial parsing and pretty-printing
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Sat, 26 Jan 2008 12:35:32 -0500 |
| parents | |
| children | 258261a53842 |
line wrap: on
line diff
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/tests/stuff.lac Sat Jan 26 12:35:32 2008 -0500 @@ -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]