Translating seq into Core

Simon Peyton-Jones simonpj@microsoft.com
Fri, 3 Jan 2003 15:34:50 -0000


let b=3Da in e

| -----Original Message-----
| From: David Sabel [mailto:dsabel@stud.uni-frankfurt.de]
| Sent: 03 January 2003 15:22
| To: glasgow-haskell-users@haskell.org
| Subject: Re: Translating seq into Core
|=20
| Thanks for that answer. I suggested something like that.
| Can you explain me, how the Haskell-expression
| case a of b -> e         (in Haskell, not strict, right?)
| ist translated to Core?
|=20
|=20
|=20
|=20
| > seq a b =3D case a of { DEFAULT -> b }
| >
| > In Core, case is always strict.
| >
| > | -----Original Message-----
| > | From: David Sabel [mailto:dsabel@stud.uni-frankfurt.de]
| > | Sent: 03 January 2003 14:11
| > | To: glasgow-haskell-users@haskell.org
| > | Subject: Translating seq into Core
| > |
| > | Hallo,
| > |
| > | my question ist, how the "seq" operator is translated into the
| > | GHC-core-language?
| > |
| > | I had suspected, the core-language has a special
strictness-operator,
| > but I
| > | saw, that this is not the case.
| > |
| > |
| > | David Sabel
| > | JWGU Frankfurt
| > |
| > | _______________________________________________
| > | Glasgow-haskell-users mailing list
| > | Glasgow-haskell-users@haskell.org
| > | http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
| > _______________________________________________
| > Glasgow-haskell-users mailing list
| > Glasgow-haskell-users@haskell.org
| > http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
| _______________________________________________
| Glasgow-haskell-users mailing list
| Glasgow-haskell-users@haskell.org
| http://www.haskell.org/mailman/listinfo/glasgow-haskell-users