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?

seq a b = 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