git.iko.soy/rowtype-yoga/purescript-native
on golang help sign in
Add examples/shouldpass
cab0fffPhil Freeman
examples/shouldpass/NestedTypeSynonyms.pursnew file+9
compare with golang
unifiedsplit
@@ -0,0 +1,9 @@
1+module Test where
2+
3+ type X = {}
4+ type Y = X -> X
5+
6+ fn :: Y
7+ fn a = a
8+
9+ test = fn {}
examples/shouldpass/TypeClasses.pursnew file+8
@@ -0,0 +1,8 @@
1+module Main where
2+
3+ import Prelude
4+ import Either
5+
6+ instance Prelude.Functor (Either a) where
7+ (<$>) _ (Left x) = Left x
8+ (<$>) f (Right y) = Right (f y)