Changes between Version 11 and Version 12 of Commentary/Compiler/TypeType


Ignore:
Timestamp:
Oct 18, 2011 8:19:05 AM (3 years ago)
Author:
dreixel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/TypeType

    v11 v12  
    4747  splitFunTy_maybe other         = Nothing 
    4848}}} 
    49 Notice the first line, which uses the view, and recurses when the view 'fires'.  Since `coreView` is non-recursive, GHC will inline it, and the optimiser will ultimately produce somethign like: 
     49Notice the first line, which uses the view, and recurses when the view 'fires'.  Since `coreView` is non-recursive, GHC will inline it, and the optimiser will ultimately produce something like: 
    5050{{{ 
    5151  splitFunTy_maybe :: Type -> Maybe (Type,Type) 
    52   splitFunTy_maybe (PredTy p) = splitFunTy_maybe (predTypeRep p) 
     52  splitFunTy_maybe (PredTy p)    = splitFunTy_maybe (predTypeRep p) 
    5353  splitFunTy_maybe (NoteTy _ ty) = splitFunTy_maybe ty 
    5454  splitFunTy_maybe (FunTy t1 t2) = Just (t1,t2)