From 32115a531d5ed6cafa25dc7d3b88c2679e5142a5 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 8 Jun 2008 12:27:08 -0400
Subject: Primitive type constants

---
 src/elab_env.sml | 9 +++++++++
 1 file changed, 9 insertions(+)

(limited to 'src/elab_env.sml')

diff --git a/src/elab_env.sml b/src/elab_env.sml
index 417eab74..2308fbb6 100644
--- a/src/elab_env.sml
+++ b/src/elab_env.sml
@@ -193,4 +193,13 @@ fun declBinds env (d, _) =
         DCon (x, n, k, c) => pushCNamedAs env x n k (SOME c)
       | DVal (x, n, t, _) => pushENamedAs env x n t
 
+val ktype = (KType, ErrorMsg.dummySpan)
+
+fun bbind env x = #1 (pushCNamed env x ktype NONE)
+
+val basis = empty
+val basis = bbind basis "int"
+val basis = bbind basis "float"
+val basis = bbind basis "string"
+
 end
-- 
cgit v1.2.3