Add tests for infinite things
commit3e37d05080c77c6532b22aee9617eb1f7fe39163
authorPhil Freeman <paf31@cantab.net>
dateFri 7 Aug 2015, 16:06 (11 years ago)
parent870b08c
examples/failing/InfiniteKind.pursnew file+5
@@ -0,0 +1,5 @@
1+-- @shouldFailWith InfiniteKind
2+
3+module Main where
4+
5+data F a = F (a a)
examples/failing/InfiniteType.pursnew file+5
@@ -0,0 +1,5 @@
1+-- @shouldFailWith InfiniteType
2+
3+module Main where
4+
5+f a = a a