Mercurial > urweb

comparison 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
comparison
equal deleted inserted replaced
13:6049e2193bf2 14:f1c36df29ed7
191 fun declBinds env (d, _) = 191 fun declBinds env (d, _) =
192 case d of 192 case d of
193 DCon (x, n, k, c) => pushCNamedAs env x n k (SOME c) 193 DCon (x, n, k, c) => pushCNamedAs env x n k (SOME c)
194 | DVal (x, n, t, _) => pushENamedAs env x n t 194 | DVal (x, n, t, _) => pushENamedAs env x n t
195 195
196 val ktype = (KType, ErrorMsg.dummySpan)
197
198 fun bbind env x = #1 (pushCNamed env x ktype NONE)
199
200 val basis = empty
201 val basis = bbind basis "int"
202 val basis = bbind basis "float"
203 val basis = bbind basis "string"
204
196 end 205 end