diff options
| author | Kathy Gray | 2013-08-23 11:54:37 +0100 |
|---|---|---|
| committer | Kathy Gray | 2013-08-23 11:54:37 +0100 |
| commit | 30b2d09f92f57f78d47edae54bf3f75bc34a7238 (patch) | |
| tree | 456f6a98a474137a0cc4d6b63db3e1da7c66df10 /src | |
| parent | 86b3a50f56dd38999fa8eca7375fbd59d29603cb (diff) | |
Add built-in type bit
Diffstat (limited to 'src')
| -rw-r--r-- | src/type_internal.ml | 1 |
1 files changed, 1 insertions, 0 deletions
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}) } ) |