Repository : ssh://[email protected]/ghc On branch : master Link : http://ghc.haskell.org/trac/ghc/changeset/72ceffe8e96c0ac3da49690097858bea79a704b6/ghc
>--------------------------------------------------------------- commit 72ceffe8e96c0ac3da49690097858bea79a704b6 Author: Richard Eisenberg <[email protected]> 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{[email protected]}), 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 _______________________________________________ ghc-commits mailing list [email protected] http://www.haskell.org/mailman/listinfo/ghc-commits
