The Haskell kernel

[ml_dk@excite.com]

In the report on the Haskell programming language (http://www.haskell.org=
/onlinereport/),
the Haskell kernel is mentionen in several places. It says in section 1.2=

that the Haskell kernel is a slightly sugared form of lambda calculus. Fu=
thermore
most expression should be possible to translate to the Haskell kernel.

But where is this kernel defined (I cannot find it in the report) ?

Actually the case-expression(section 3.13) seems more fundamental than th=
e
lambda-expression in Haskell. Several construct translate to the case-exp=
ression
instead of lambda-expression as the if-expression(section 3.6). It is als=
o
shown howto translate the lambda-expression into the case-expression in
section 3.3. Am I missing something here ?

Grateful for any hint.

Mads



________________________________________
Få din egen webmail på http://mail.sol.dk - gratis og med dig overalt!