diff options
| author | Josh Meredith <joshmeredith2008@gmail.com> | 2019-12-04 23:39:28 +1100 |
|---|---|---|
| committer | Josh Meredith <joshmeredith2008@gmail.com> | 2019-12-04 23:39:28 +1100 |
| commit | a8435165b84c32fd2ebdd1281dd6ee077e07ad5a (patch) | |
| tree | 791936d014aeaa26174c2dcbef34c14f3329dd04 /docs/core-spec | |
| parent | 7805441b4d5e22eb63a501e1e40383d10380dc92 (diff) | |
| parent | f03a41d4bf9418ee028ecb51654c928b2da74edd (diff) | |
| download | haskell-wip/binary-readerT.tar.gz | |
Merge branch 'master' into wip/binary-readerTwip/binary-readerT
Diffstat (limited to 'docs/core-spec')
| -rw-r--r-- | docs/core-spec/core-spec.mng | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/core-spec/core-spec.mng b/docs/core-spec/core-spec.mng index 5fdf3af027..3afec2bbb7 100644 --- a/docs/core-spec/core-spec.mng +++ b/docs/core-spec/core-spec.mng @@ -121,7 +121,7 @@ to be built with \texttt{CoercionTy}. laid out in \verb|Note [Invariants on join points]| in \ghcfile{coreSyn/CoreSyn.hs}: \begin{enumerate} - \item All occurences must be tail calls. This is enforced in our typing + \item All occurrences must be tail calls. This is enforced in our typing rules using the label environment $[[D]]$. \item Each join point has a \emph{join arity}. In this document, we write each label as $[[p/I_t]]$ for the name $[[p]]$, the type $[[t]]$, and the |