Support for generating external Core (post-optimization) was originally introduced in
GHC 5.02. The definition of external Core in this document reflects the version of
external Core generated by the HEAD (unstable) branch of GHC as of May 3, 2008 (version 6.9), , using the compiler flag
-@-fext-core@. We expect that GHC 6.10 will be consistent with this definition.}} The definition includes a formal grammar and an informal semantics.
+@-fext-core@. We expect that GHC 6.10 will be consistent with this definition.} The definition includes a formal grammar and an informal semantics.
An executable typechecker and interpreter (in Haskell),
which formally embody the static and dynamic semantics,
are available separately.