Test for hidden type errors
commit20e1b177640e310a9959081cc0fa49a534207c06
authorGary Burgess <gary.burgess@gmail.com>
dateTue 25 Mar 2014, 15:36 (13 years ago)
parent2a89f0a
examples/manual/failing/RequiredHiddenType.pursnew file+8
@@ -0,0 +1,8 @@
1+-- exporting `a` should fail as `A` is hidden
2+module Foo (B(..), a, b) where
3+
4+ data A = A
5+ data B = B
6+
7+ a = A
8+ b = B