Interpreting the strictness annotations output by ghc --show-iface
simonpj at microsoft.com
Thu Mar 8 09:51:44 CET 2012
The "C" is a call demand: C(d) means "this function is called and its result is consumed with d.
U(ddd) means "this three-field product is evaluated, and its three field are evaluated with d,d,d
| -----Original Message-----
| From: glasgow-haskell-users-bounces at haskell.org [mailto:glasgow-haskell-
| users-bounces at haskell.org] On Behalf Of Johan Tibell
| Sent: 07 March 2012 23:42
| To: john at repetae.net
| Cc: glasgow-haskell-users
| Subject: Re: Interpreting the strictness annotations output by ghc --show-
| Edward, I have looked at that file before and it didn't make me much
| wiser, because I cannot map it to the output.
| I find it's the parenthesis that confuses me the most. What does this mean?
| what about this?
| -- Johan
| Glasgow-haskell-users mailing list
| Glasgow-haskell-users at haskell.org
More information about the Glasgow-haskell-users