Commit 72ceffe8 authored by eir@cis.upenn.edu's avatar eir@cis.upenn.edu

Clarification in formalism concerning roles.

parent 9f8e9d29
...@@ -30,7 +30,7 @@ System FC, as implemented in GHC\footnote{This ...@@ -30,7 +30,7 @@ System FC, as implemented in GHC\footnote{This
document was originally prepared by Richard Eisenberg (\texttt{eir@cis.upenn.edu}), 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 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.}\\ mentioned in this file. Please feel free to contact Richard for more information.}\\
\Large 2 August, 2013 \Large 9 September, 2013
\end{center} \end{center}
\section{Introduction} \section{Introduction}
...@@ -364,6 +364,9 @@ when \texttt{-dcore-lint} is set. ...@@ -364,6 +364,9 @@ when \texttt{-dcore-lint} is set.
\ottdefncheckXXdcXXroles{} \ottdefncheckXXdcXXroles{}
In the following judgment, the role $[[R]]$ is an \emph{input}, not an output. 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{} \ottdefncheckXXtyXXroles{}
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment