projects
/
ghc-hetmet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (from parent 1:
1e27569
)
Remove an unmatched } in core.tex
author
Ian Lynagh
<igloo@earth.li>
Fri, 24 Oct 2008 11:17:50 +0000
(11:17 +0000)
committer
Ian Lynagh
<igloo@earth.li>
Fri, 24 Oct 2008 11:17:50 +0000
(11:17 +0000)
docs/ext-core/core.tex
patch
|
blob
|
history
diff --git
a/docs/ext-core/core.tex
b/docs/ext-core/core.tex
index
0ee5cde
..
05af0b3
100644
(file)
--- a/
docs/ext-core/core.tex
+++ b/
docs/ext-core/core.tex
@@
-56,7
+56,7
@@
to simplify the Core story.
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
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.
An executable typechecker and interpreter (in Haskell),
which formally embody the static and dynamic semantics,
are available separately.