-
Simon Peyton Jones authored
a) Small wibbles to do with inlining and floating b) Implement Ralf's request, so that one can write type F = forall a. a -> a f :: Int -> F f = ... The for-alls inside F are hoisted out to the top of the type signature for f. This applies uniformly to all user-written types
6c872fff