Mercurial > urweb

diff src/elab_env.sml @ 14:f1c36df29ed7

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Primitive type constants
author Adam Chlipala <adamc@hcoop.net>
date Sun, 08 Jun 2008 12:27:08 -0400
parents 6049e2193bf2
children bc7b76ca57e0
line wrap: on
line diff
--- a/src/elab_env.sml	Sun Jun 08 11:32:48 2008 -0400
+++ b/src/elab_env.sml	Sun Jun 08 12:27:08 2008 -0400
@@ -193,4 +193,13 @@
         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