diff options
| -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} }} |