The semantics of Core?
18 Feb 2003 10:55:23 +0100
tis 2003-02-18 klockan 09.49 skrev Simon Peyton-Jones:
> I don't know of any separate description of the semantics of Core, but it=
's just the lambda calculus with let, letrec and case. There's plenty of c=
ode that works over Core in GHC itself, but no separate libraries. There i=
s a library to parse the stuff that ghc -fext-core spits out, though.
I was more interested in the strictness properties. The way I understood
it, Core case is strict?
I looked at utils/ext-core and now I'm stuck at producing all the .hcr
files needed. I just can't think of a good way of getting .hcr files
from all modules that Prelude imports. I've tried tricks with -fno-code
and tricks with --make -no-hs-main but to no avail so far. With
ghc --make -fglasgow-exts -fext-core -no-hs-main Prelude.hs
GHC/Base.lhs:84: parse error on input `#'
If I pass -cpp too, I get
failed to load interface for `GHC.Err':
Bad interface file: GHC/Err.hi-boot
does not exist
Reason: No such file or directory
I'm confused. All manner of help appreciated. :)
Content-Type: application/pgp-signature; name=signature.asc
Content-Description: Detta =?ISO-8859-1?Q?=E4r?= en digitalt signerad
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.1 (GNU/Linux)
-----END PGP SIGNATURE-----