The semantics of Core?

[Martin Sjögren]

--=-7zUV8qE2aR0oIYuT1RWU
Content-Type: text/plain
Content-Transfer-Encoding: quoted-printable

Hello

I'm looking for a paper or some other documentation on the exact
semantics of Core. I've read the paper about the concrete syntax, and it
briefly mentions the abstract syntax and something about the case
expression, but not a lot. Unless I missed something?

I'm also looking for actual code for working with Core. :) The
Language.Haskell.* stuff gives me a very high-level representation of
Haskell source, and I'd rather work with something simple, like Core. I
*suppose* I could use ghc -fvia-ext or helium -C or something like that,
and then parse the file it spits out, but it feels like a long way to go
when there should be shortcuts available. Another way is to rip out the
code from ghc or helium that does this, but that's not so nice either :(

Any suggestions?


/Martin

--=-7zUV8qE2aR0oIYuT1RWU
Content-Type: application/pgp-signature; name=signature.asc
Content-Description: Detta =?ISO-8859-1?Q?=E4r?= en digitalt signerad
	meddelandedel

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.1 (GNU/Linux)

iD8DBQA+UexBGpBPiZwE9FYRAq9uAJ9HNnLNO9YWBG37zTkl+dBgGcKvGgCfaeGl
Mj+7xkQ9fDMsaGOe4lwB/D4=
=+Xsj
-----END PGP SIGNATURE-----

--=-7zUV8qE2aR0oIYuT1RWU--