From 30b2d09f92f57f78d47edae54bf3f75bc34a7238 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Fri, 23 Aug 2013 11:54:37 +0100
Subject: Add built-in type bit

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

(limited to 'src')

diff --git a/src/type_internal.ml b/src/type_internal.ml
index 1ad4d40c..78d8ab20 100644
--- a/src/type_internal.ml
+++ b/src/type_internal.ml
@@ -69,6 +69,7 @@ let initial_kind_env =
     ("bool", {k = K_Typ});
     ("nat", {k = K_Typ});
     ("unit", {k = K_Typ});
+    ("bit", {k = K_Typ});
     ("list", {k = K_Lam( [{k = K_Typ}], {k = K_Typ})});
     ("enum", {k = K_Lam( [ {k = K_Nat}; {k= K_Nat}; {k=K_Ord} ], {k = K_Typ}) });
     ("vector", {k = K_Lam( [ {k = K_Nat}; {k = K_Nat}; {k= K_Ord} ; {k=K_Typ}], {k=K_Typ}) } )
-- 
cgit v1.2.3