Interpreting the strictness annotations output by ghc --show-iface

[Simon Peyton-Jones]

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-
| iface
| 
| 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?
| 
| C(U(LU(L)))
| 
| what about this?
| 
| U(SLLAA)LL
| 
| -- Johan
| 
| _______________________________________________
| Glasgow-haskell-users mailing list
| Glasgow-haskell-users at haskell.org
| http://www.haskell.org/mailman/listinfo/glasgow-haskell-users