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