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

Edward Z. Yang ezyang at MIT.EDU
Thu Mar 8 00:29:20 CET 2012

Check out compiler/basicTypes/Demand.lhs


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

More information about the Glasgow-haskell-users mailing list