diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-01-26 16:51:39 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-01-26 16:51:39 -0500 |
| commit | 554a00c1e5a61d1a2a2767eb091777fbc2a7b811 (patch) | |
| tree | 81376d4bac8a1ba684cd5911ed44b86309b87d3b /tests/stuff.lac | |
| parent | 53109d697cd8ff1aa7e4b8c41f3bd71dd2671fc0 (diff) | |
Add type keyword
Diffstat (limited to 'tests/stuff.lac')
| -rw-r--r-- | tests/stuff.lac | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/stuff.lac b/tests/stuff.lac index fe692eec..d58c1573 100644 --- a/tests/stuff.lac +++ b/tests/stuff.lac @@ -1,4 +1,4 @@ -con c1 = t :: Type -> t +type c1 = t :: Type -> t con c2 :: Type = t :: Type -> t con c3 = fn t :: Type => c1 con c4 = c3 c1 |