actually support string types

2 files changed, 2 insertions, 1 deletions

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})});