git.iko.soy/rowtype-yoga/purescript-native
on golang help sign in
Failing example for #2601 (#2607)
090f185Phil Freeman
examples/failing/2601.pursnew file+7
compare with golang
unifiedsplit
@@ -0,0 +1,7 @@
1+-- @shouldFailWith KindsDoNotUnify
2+module Main where
3+
4+type Syn (a :: * -> *) = String
5+
6+val :: Syn Int
7+val = "bad"