Add failing test case for purescript#1169

paf31 · paf31 · commit 8d0963c48bb9 · 2015-10-26T08:06:51.000-07:00
diff --git a/examples/failing/1169.purs b/examples/failing/1169.purs
@@ -0,0 +1,12 @@
+-- @shouldFailWith IncorrectConstructorArity 
+module Test where
+
+data Outer a = Outer a
+            
+data Inner a b = Inner a b
+
+test1 :: forall a b. Outer (Inner a b) -> Boolean
+test1 (Outer (Inner _)) = true
+
+test2 :: forall a b. Inner a b -> Boolean
+test2 (Inner _) = true
