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