Another test
commit6e4870f222813013ce98f854c4dd292fe35d0d4a
authorPhil Freeman <paf31@cantab.net>
dateThu 12 Feb 2015, 11:27 (12 years ago)
parent4570234
examples/passing/ScopedTypeVariables.purs+13
@@ -18,4 +18,17 @@ test2 = h
1818test3 :: Number
1919test3 = ((\b -> b :: b) :: forall b. b -> b) 0
2020
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+
2134main = Debug.Trace.trace "Done"