Mercurial > urweb
comparison src/mono_env.sml @ 56:d3cc191cb25f
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 |