From f90594fefd80854a0107cbb630a94cc3ab3f06b7 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Fri, 1 Aug 2014 17:55:16 +0100
Subject: Add some more types for power.sail generation.

---
 src/type_internal.ml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src')

diff --git a/src/type_internal.ml b/src/type_internal.ml
index 27205c2e..cfc8d748 100644
--- a/src/type_internal.ml
+++ b/src/type_internal.ml
@@ -1013,6 +1013,8 @@ let initial_typ_env =
                 {t= Tfn ({t=Ttup([bit_t;mk_range (mk_nv "n") (mk_nv "m")])},
                 mk_vector bit_t Oinc (Nconst zero) (Nadd({nexp=Nvar "n"},{nexp=Nvar "m"})),false,
                 pure_e)}),External (Some "duplicate"),[],pure_e));
+    ("<<",Base((["a",{k=K_Typ}],{t= Tfn ({t=Ttup([{t=Tvar "a"};nat_typ])},{t=Tvar "a"},false,pure_e)}),External (Some "bitwise_leftshift"),[],pure_e));
+    (">>",Base((["a",{k=K_Typ}],{t= Tfn ({t=Ttup([{t=Tvar "a"};nat_typ])},{t=Tvar "a"},false,pure_e)}),External (Some "bitwise_leftshift"),[],pure_e));
     ("<<<",Base((["a",{k=K_Typ}],{t= Tfn ({t=Ttup([{t=Tvar "a"};nat_typ])},{t=Tvar "a"},false,pure_e)}),External (Some "bitwise_leftshift"),[],pure_e));
   ]
 
-- 
cgit v1.2.3