Understanding core2core optimisation pipeline

Simon Peyton Jones simonpj at microsoft.com
Fri Oct 31 09:19:17 UTC 2014


|  One more question about reading the demand analysis results:
|  
|    Str=DmdType <S,1*U>
|  
|  Here the argument is demanded once. But what if I have:
|  
|    Str=DmdType <S,U>
|  
|  Does the lack of `1*` imply that the argument is used many times?

Well, *may* be used many times.

S


More information about the ghc-devs mailing list