UndefinedType.curry 174 Bytes
Newer Older
1
2
3
4
5
6
-- Should issue the following error:
--
-- test/exportcheck/UndefinedType.curry, line 6.23:
--     Undefined Type `Foo' in export list
--
module UndefinedType (Foo ()) where