Add tests for the improved transitive export check
commit9f124ab2136eac65a581a1e18b631cbf7c07dcfc
authorGary Burgess <gary.burgess@gmail.com>
dateMon 19 Oct 2015, 23:44 (11 years ago)
parent6967332
examples/failing/TransitiveDctorExport.pursnew file+5
@@ -0,0 +1,5 @@
1+-- @shouldFailWith TransitiveExportError
2+module Main (Y(..)) where
3+
4+type X = Int
5+data Y = Y X
examples/failing/TransitiveSynonymExport.pursnew file+5
@@ -0,0 +1,5 @@
1+-- @shouldFailWith TransitiveExportError
2+module Main (Y()) where
3+
4+type X = Int
5+type Y = X