Understanding core2core optimisation pipeline

[Simon Peyton Jones]

|  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