Mercurial > urweb

comparison src/mono_env.sml @ 56:d3cc191cb25f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Separate compilation and automatic basis importation
author Adam Chlipala <adamc@hcoop.net>
date Sun, 22 Jun 2008 14:23:05 -0400
parents 0a762c73824d
children f0f59e918cac
comparison
equal deleted inserted replaced
55:5c97b7cd912b 56:d3cc191cb25f
83 83
84 fun declBinds env (d, _) = 84 fun declBinds env (d, _) =
85 case d of 85 case d of
86 DVal (x, n, t, e) => pushENamed env x n t (SOME e) 86 DVal (x, n, t, e) => pushENamed env x n t (SOME e)
87 87
88 fun bbind env x =
89 case ElabEnv.lookupC ElabEnv.basis x of
90 ElabEnv.NotBound => raise Fail "MonoEnv.bbind: Not bound"
91 | ElabEnv.Rel _ => raise Fail "MonoEnv.bbind: Rel"
92 | ElabEnv.Named (n, _) => pushTNamed env x n NONE
93
94 val basis = empty
95 val basis = bbind basis "int"
96 val basis = bbind basis "float"
97 val basis = bbind basis "string"
98
99 end 88 end