diff options
| author | Ben Gamari <bgamari.foss@gmail.com> | 2017-02-07 21:34:26 -0500 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2017-02-07 22:38:34 -0500 |
| commit | bc376d329ae2d727e9b88f2fcbc1a9315300a4fc (patch) | |
| tree | 91375fe2d2e341fe30f1d12fe30fa211a6b37e35 | |
| parent | 8c25be80a41f436225f4d18ec4f624a17562a490 (diff) | |
| download | haskell-bc376d329ae2d727e9b88f2fcbc1a9315300a4fc.tar.gz | |
Update Core formalize for Levity -> RuntimeRep
Reviewers: austin
Subscribers: thomie
Differential Revision: https://phabricator.haskell.org/D3094
| -rw-r--r-- | docs/core-spec/CoreSyn.ott | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/docs/core-spec/CoreSyn.ott b/docs/core-spec/CoreSyn.ott index f96666185e..578d200b6b 100644 --- a/docs/core-spec/CoreSyn.ott +++ b/docs/core-spec/CoreSyn.ott @@ -342,9 +342,9 @@ terminals :: 'terminals_' ::= | isNewTyCon :: :: isNewTyCon {{ tex \textsf{isNewTyCon} }} | Constraint :: :: Constraint {{ tex \textsf{Constraint} }} | TYPE :: :: TYPE {{ tex \textsf{TYPE} }} - | Levity :: :: Levity {{ tex \textsf{Levity} }} - | Lifted :: :: Lifted {{ tex \textsf{Lifted} }} - | Unlifted :: :: Unlifted {{ tex \textsf{Unlifted} }} + | RuntimeRep :: :: RuntimeRep {{ tex \textsf{RuntimeRep} }} + | LiftedRep :: :: LiftedRep {{ tex \textsf{LiftedRep} }} + | UnliftedRep :: :: UnliftedRep {{ tex \textsf{UnliftedRep} }} | no_conflict :: :: no_conflict {{ tex \textsf{no\_conflict} }} | apart :: :: apart {{ tex \textsf{apart} }} | kind :: :: kind {{ tex \textsf{kind} }} |