diff options
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 |