Hi, Am Freitag, den 31.10.2014, 10:48 +0200 schrieb Jan Stolarek: > 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?
no; these things tend to be always an approximation in one direction. So you either know that it is used at most once, or both is possible. Nothing goes wrong when treating something that is used once as if it is used multiple times. What would be the value of knowing that it is definitely used multiple times? Greetings, Joachim -- Joachim “nomeata” Breitner m...@joachim-breitner.de • http://www.joachim-breitner.de/ Jabber: nome...@joachim-breitner.de • GPG-Key: 0xF0FBF51F Debian Developer: nome...@debian.org
signature.asc
Description: This is a digitally signed message part
_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://www.haskell.org/mailman/listinfo/ghc-devs
