From d68d1e959091b186ebb5cbecf53992307b852f0d Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Sun, 25 Sep 2016 09:25:32 +0900
Subject: Catch formal type system up to reality, in progress

---
 language/l2.ott | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'language/l2.ott')

diff --git a/language/l2.ott b/language/l2.ott
index 80bb5e26..84e92d7d 100644
--- a/language/l2.ott
+++ b/language/l2.ott
@@ -126,6 +126,7 @@ id :: '' ::=
   | reg                          :: M :: reg {{ ichlo (Id "reg") }}
   | to_num			 :: M :: tonum {{ com Built in function identifiers }} {{ ichlo (Id "to_num") }}
   | to_vec			 :: M :: tovec {{ ichlo (Id "to_vec") }}
+  | msb                          :: M :: msb {{ ichlo (Id "msb") }}
 % Note: we have just a single namespace. We don't want the same
 % identifier to be reused as a type name or variable, expression
 % variable, and field name.  We don't enforce any lexical convention
@@ -986,6 +987,8 @@ terminals :: '' ::=
     {{ tex \ensuremath{\vdash_e} }}
   | |-o					:: :: vdashO
     {{ tex \ensuremath{\vdash_o} }}
+  | |-c                                 :: :: vdashC
+    {{ tex \ensuremath{\vdash_c} }}
   | '                                   :: :: quote
     {{ tex \mbox{'} }}
   | |->                                 :: :: mapsto
-- 
cgit v1.2.3