[commit: ghc] master: Update Core formalize for Levity -> RuntimeRep (bc376d3)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/bc376d329ae2d727e9b88f2fcbc1a9315300a4fc/ghc

>---------------------------------------------------------------

commit bc376d329ae2d727e9b88f2fcbc1a9315300a4fc
Author: Ben Gamari <bgamari.foss at gmail.com>
Date:   Tue Feb 7 21:34:26 2017 -0500

    Update Core formalize for Levity -> RuntimeRep
    
    Reviewers: austin
    
    Subscribers: thomie
    
    Differential Revision: https://phabricator.haskell.org/D3094


>---------------------------------------------------------------

bc376d329ae2d727e9b88f2fcbc1a9315300a4fc
 docs/core-spec/CoreSyn.ott | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/docs/core-spec/CoreSyn.ott b/docs/core-spec/CoreSyn.ott
index f966661..578d200 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} }}