From 88d63c0be4a80714150169fbae34a9fa549aed9d Mon Sep 17 00:00:00 2001 From: Ian Lynagh Date: Fri, 24 Oct 2008 11:17:50 +0000 Subject: [PATCH] Remove an unmatched } in core.tex --- docs/ext-core/core.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/ext-core/core.tex b/docs/ext-core/core.tex index 0ee5cde..05af0b3 100644 --- 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 -@-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. -- 1.7.10.4