• simonpj@microsoft.com's avatar
    Inline into tail-called constructor args · 098d99aa
    simonpj@microsoft.com authored
    Consider
    	x = case y of { True -> (p,q); ... }
    
    The occurrence analyser was marking p,q as 'Many', because they args
    of a constructor in an RhsCtxt.  But actually they aren't in a RhsCtxt,
    and in this case it's better to inline.
    098d99aa
OccurAnal.lhs 27.2 KB