git.iko.soy/rowtype-yoga/purescript-native
on golang help sign in
Another test
6e4870fPhil Freeman
examples/passing/ScopedTypeVariables.purs+13
compare with golang
unifiedsplit
@@ -18,4 +18,17 @@ test2 = h
18test3 :: Number
18test3 :: Number
19test3 = ((\b -> b :: b) :: forall b. b -> b) 0
19test3 = ((\b -> b :: b) :: forall b. b -> b) 0
20
20
21+test4 :: forall a. (a -> a) -> a -> a
22+test4 = h
23+ where
24+ h :: forall b. (b -> b) -> b -> b
25+ h f x = g (g x)
26+ where
27+ g :: b -> b
28+ g y = j (f (f y))
29+ where
30+ j :: forall b. b -> b
31+ j x = x
32+
33+
21main = Debug.Trace.trace "Done"
34main = Debug.Trace.trace "Done"