From 5c58eaecfe0a5199d8ffb4c8edbc5b1f8cead1f7 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Wed, 30 Sep 2015 15:06:17 +0100
Subject: Alias support for ocaml mode

---
 language/l2.lem     | 2 ++
 language/l2_typ.ott | 2 ++
 2 files changed, 4 insertions(+)

(limited to 'language')

diff --git a/language/l2.lem b/language/l2.lem
index 1055a8ff..54b31eb5 100644
--- a/language/l2.lem
+++ b/language/l2.lem
@@ -538,6 +538,8 @@ and t_args =  (* Arguments to type constructors *)
 
 type tag =  (* Data indicating where the identifier arises and thus information necessary in compilation *)
  | Tag_empty
+ | Tag_intro (* Denotes an assignment and lexp that introduces a binding *)
+ | Tag_set (* Denotes an expression that mutates a local variable *)
  | Tag_global (* Globally let-bound or enumeration based value/variable *)
  | Tag_ctor (* Data constructor from a type union *)
  | Tag_extern of maybe string (* External function, specied only with a val statement *)
diff --git a/language/l2_typ.ott b/language/l2_typ.ott
index b2ac1d5d..f768c65b 100644
--- a/language/l2_typ.ott
+++ b/language/l2_typ.ott
@@ -70,6 +70,8 @@ optx :: '' ::= {{ phantom }} {{ lem maybe string }} {{ ocaml string option }}
 tag :: 'Tag_' ::=                                 
 {{ com Data indicating where the identifier arises and thus information necessary in compilation }}
    | None                                 :: :: empty
+   | Intro                                :: :: intro {{ com Denotes an assignment and lexp that introduces a binding }}
+   | Set                                  :: :: set {{ com Denotes an expression that mutates a local variable }}
    | Global				  :: :: global {{ com Globally let-bound or enumeration based value/variable }} 
    | Ctor                                 :: :: ctor {{ com Data constructor from a type union }}
    | Extern optx                          :: :: extern {{ com External function, specied only with a val statement }}
-- 
cgit v1.2.3