diff options
| author | Richard Eisenberg <eir@cis.upenn.edu> | 2013-09-09 14:02:49 -0400 |
|---|---|---|
| committer | Richard Eisenberg <eir@cis.upenn.edu> | 2013-09-09 16:09:39 -0400 |
| commit | 72ceffe8e96c0ac3da49690097858bea79a704b6 (patch) | |
| tree | d1d47914ff95dbc2e2d86930add20774d36b35e8 /docs/core-spec | |
| parent | 9f8e9d29c1c6e4e031469efcfbdae508dd6540e7 (diff) | |
| download | haskell-72ceffe8e96c0ac3da49690097858bea79a704b6.tar.gz | |
Clarification in formalism concerning roles.
Diffstat (limited to 'docs/core-spec')
| -rw-r--r-- | docs/core-spec/core-spec.mng | 5 | ||||
| -rw-r--r-- | docs/core-spec/core-spec.pdf | bin | 335916 -> 336674 bytes |
2 files changed, 4 insertions, 1 deletions
diff --git a/docs/core-spec/core-spec.mng b/docs/core-spec/core-spec.mng index 2e8134c7a1..5f2d806702 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@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 Binary files differindex 4e4ca924fb..71533e96f7 100644 --- a/docs/core-spec/core-spec.pdf +++ b/docs/core-spec/core-spec.pdf |