git.iko.soy/rowtype-yoga/purescript-native
on golang help sign in
Add failing test case for #1169
8d0963cPhil Freeman
examples/failing/1169.pursnew file+12
compare with golang
unifiedsplit
@@ -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