From c23b41a65e7a72cb99e880d72fb19ab87ee10f6b Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Tue, 17 Feb 2015 15:48:40 +0000
Subject: actually support string types

---
 src/lexer.mll        | 2 +-
 src/type_internal.ml | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/lexer.mll b/src/lexer.mll
index 27142d1b..2f6acf4d 100644
--- a/src/lexer.mll
+++ b/src/lexer.mll
@@ -123,7 +123,7 @@ let kw_table =
 ]
 
 let default_type_names = ["bool";"unit";"vector";"range";"list";"bit";"nat"; "int";
-			  "uint8";"uint16";"uint32";"uint64";"atom";"implicit"]
+			  "uint8";"uint16";"uint32";"uint64";"atom";"implicit";"string"]
 let custom_type_names : string list ref = ref []
 
 }
diff --git a/src/type_internal.ml b/src/type_internal.ml
index be509674..1ec081a8 100644
--- a/src/type_internal.ml
+++ b/src/type_internal.ml
@@ -825,6 +825,7 @@ let initial_kind_env =
     ("uint64", {k=K_Typ});
     ("unit", {k = K_Typ});
     ("bit", {k = K_Typ});
+    ("string", {k = K_Typ});
     ("list", {k = K_Lam( [{k = K_Typ}], {k = K_Typ})});
     ("reg", {k = K_Lam( [{k = K_Typ}], {k= K_Typ})});
     ("register", {k = K_Lam( [{k = K_Typ}], {k= K_Typ})});
-- 
cgit v1.2.3