Bug489.lcurry 324 Bytes
Newer Older
1 2 3 4 5 6 7 8 9 10 11
Loading this module (in pakcs) leads to cymake <<loop>>.
it might be interesting that the last line is important for this error to
occur; if the last line is omitted or changed to "i = 3" then the expected
error "recursive synonym types" is properly printed.

> module Bug489 where

> type A = B
> type B = A

> i = Just ()