[commit: ghc] master: Clarification in formalism concerning roles. (72ceffe)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/72ceffe8e96c0ac3da49690097858bea79a704b6/ghc

>---------------------------------------------------------------

commit 72ceffe8e96c0ac3da49690097858bea79a704b6
Author: Richard Eisenberg <eir at cis.upenn.edu>
Date:   Mon Sep 9 14:02:49 2013 -0400

    Clarification in formalism concerning roles.


>---------------------------------------------------------------

72ceffe8e96c0ac3da49690097858bea79a704b6
 docs/core-spec/core-spec.mng |    5 ++++-
 docs/core-spec/core-spec.pdf |  Bin 335916 -> 336674 bytes
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/docs/core-spec/core-spec.mng b/docs/core-spec/core-spec.mng
index 2e8134c..5f2d806 100644
--- a/docs/core-spec/core-spec.mng
+++ b/docs/core-spec/core-spec.mng
@@ -30,7 +30,7 @@ System FC, as implemented in GHC\footnote{This
 document was originally prepared by Richard Eisenberg (\texttt{eir at cis.upenn.edu}),
 but it should be maintained by anyone who edits the functions or data structures
 mentioned in this file. Please feel free to contact Richard for more information.}\\
-\Large 2 August, 2013
+\Large 9 September, 2013
 \end{center}
 
 \section{Introduction}
@@ -364,6 +364,9 @@ when \texttt{-dcore-lint} is set.
 \ottdefncheckXXdcXXroles{}
 
 In the following judgment, the role $[[R]]$ is an \emph{input}, not an output.
+The metavariable $[[O]]$ denotes a \emph{role context}, as shown here:
+
+\gram{\ottO}
 
 \ottdefncheckXXtyXXroles{}
 
diff --git a/docs/core-spec/core-spec.pdf b/docs/core-spec/core-spec.pdf
index 4e4ca92..71533e9 100644
Binary files a/docs/core-spec/core-spec.pdf and b/docs/core-spec/core-spec.pdf differ