• simonpj@microsoft.com's avatar
    Inline into tail-called constructor args · 098d99aa
    simonpj@microsoft.com authored
    	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.
OccurAnal.lhs 27.2 KB