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

[Edward Z. Yang]

Check out compiler/basicTypes/Demand.lhs

Cheers,
Edward

Excerpts from Johan Tibell's message of Wed Mar 07 18:21:56 -0500 2012:
> Hi,
> 
> If someone could clearly specify the exact interpretation of these
> LLSL(ULL) strictness/demand annotations shown by ghc --show-iface I'd
> like to try to write a little tool that highlights the function
> argument binding in an IDE (e.g. Emacs) with this information. Anyone
> care to explain the syntax?
> 
> Cheers,
> Johan
>