Interpreting the strictness annotations output by ghc --show-iface
allbery.b at gmail.com
Thu Mar 8 02:40:43 CET 2012
On Wed, Mar 7, 2012 at 20:01, Johan Tibell <johan.tibell at gmail.com> wrote:
> On Wed, Mar 7, 2012 at 4:38 PM, Brandon Allbery <allbery.b at gmail.com>
> > I think the original type signature is needed to figure it out. In the
> > earlier example it indicated ghc drilling down into the type (a tuple)
> > determining the strictness of the constituents.
> I parenthesis were for tuples I would never expect to see e.g. U(L).
Right, the tuple was just that example.
> Data F = F Int
would give you something that could produce U(L), the U for the F
constructor, the L for the contained Int.
brandon s allbery allbery.b at gmail.com
wandering unix systems administrator (available) (412) 475-9364 vm/sms
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Glasgow-haskell-users