Early draft spec of Strict language pragma

Johan Tibell johan.tibell at gmail.com
Fri Jul 25 11:49:14 UTC 2014


Thanks a lot Simon.

Re top-level bindings:

   I agree. There's no good time to force CAFs so they'll need to be
forced on first use.

Re newtypes:

   I agree. Pattern matching on newtypes should be strict.

Implementation:

Where do I get started? I think we looked at some code together during
the call, but I forgot what it was? Any good identifiers to grep for?

On Fri, Jul 25, 2014 at 11:03 AM, Simon Peyton Jones
<simonpj at microsoft.com> wrote:
> OK I have made extensive edits to
>    https://ghc.haskell.org/trac/ghc/wiki/StrictPragma
>
> You might want to check it through.
>
> Simon
>


More information about the ghc-devs mailing list