Add failing test case for #1169
commit8d0963c48bb9705d2c6dfaaae83873ec334912f9
authorPhil Freeman <paf31@cantab.net>
dateMon 26 Oct 2015, 08:06 (11 years ago)
parentc84d2fd
examples/failing/1169.pursnew file+12
@@ -0,0 +1,12 @@
1+-- @shouldFailWith IncorrectConstructorArity
2+module Test where
3+
4+data Outer a = Outer a
5+
6+data Inner a b = Inner a b
7+
8+test1 :: forall a b. Outer (Inner a b) -> Boolean
9+test1 (Outer (Inner _)) = true
10+
11+test2 :: forall a b. Inner a b -> Boolean
12+test2 (Inner _) = true