• simonpj's avatar
    [project @ 2000-03-24 17:49:29 by simonpj] · 6c872fff
    simonpj 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