OutsideTypeConstructor.curry 257 Bytes
Newer Older
1
2
3
4
5
6
7
-- Should issue the following error:
--
-- test/exportcheck/OutsideTypeConstructor.curry, line 7.32:
--     Data constructor `False' outside type export in export list
--     Use `Prelude.Bool (False)' instead
--
module OutsideTypeConstructor (False) where