of
the Core semantics of sorts...
It may not be exactly what you're looking for, but the extcore package
includes a typechecker and interpreter that provide an executable
static and dynamic semantics for External Core (which is similar to
the Core language that GHC uses externally
formal
definition of
the Core semantics of sorts...
It may not be exactly what you're looking for, but the extcore package
includes a typechecker and interpreter that provide an executable
static and dynamic semantics for External Core (which is similar to
the Core language that GHC
Hi Simon,
The paper on System FC [1] has an operational semantics. Would that do?
It seems like a start. It doesn't matter much, since I don't have any time
left to actually work on this, but I wanted to verify my claim in my report
that no directly usable semantics are available :-)
Gr.
Kooijman
| Sent: 30 November 2009 19:28
| To: GHC-users
| Subject: Formal semantics for Core?
|
| Hi All,
|
| I was wondering if there are any formal semantics defined for GHC's core
| language? I'm working with some core to core rewriting passes for which I'd
| like to verify the soundness
Hi All,
I was wondering if there are any formal semantics defined for GHC's core
language? I'm working with some core to core rewriting passes for which I'd
like to verify the soundness, but that would require some formal definition of
the Core semantics of sorts...
Gr.
Matthijs
signature.asc
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
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 code that works over
Core in GHC itself, but no separate libraries. There is a library to parse the stuff
that ghc -fext-core spits out, though
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 code that works over
Core in GHC itself, but no separate libraries. There is a library
On Tue, Feb 18, 2003 at 12:01:02PM -0500, [EMAIL PROTECTED]
wrote:
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