diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-01-26 16:02:47 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-01-26 16:02:47 -0500 |
| commit | e7e2ffc58a4f120801ae69217032948e511af213 (patch) | |
| tree | 347ed14f320df53657cab27568e54eac47107d22 /tests/stuff.lac | |
| parent | 95beeda12defe36c4d4df42d3dee3bd753e19ff5 (diff) | |
Elaborating files
Diffstat (limited to 'tests/stuff.lac')
| -rw-r--r-- | tests/stuff.lac | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tests/stuff.lac b/tests/stuff.lac index 076698ce..c5d5852e 100644 --- a/tests/stuff.lac +++ b/tests/stuff.lac @@ -8,3 +8,5 @@ con name = #MyName con c6 = {A : c1, name : c2} con c7 = [A = c1, name = c2] + +con c8 = fn t :: Type => t |