Mercurial > urweb

comparison src/expl_env.sml @ 64:d609820c5834

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Proper hiding of shadowed bindings in principal signatures
author Adam Chlipala <adamc@hcoop.net>
date Thu, 26 Jun 2008 08:54:49 -0400
parents d3cc191cb25f
children f0f59e918cac
comparison
equal deleted inserted replaced
63:c5a503ad0d8c 64:d609820c5834
247 fun sgiBinds env (sgi, _) = 247 fun sgiBinds env (sgi, _) =
248 case sgi of 248 case sgi of
249 SgiConAbs (x, n, k) => pushCNamed env x n k NONE 249 SgiConAbs (x, n, k) => pushCNamed env x n k NONE
250 | SgiCon (x, n, k, c) => pushCNamed env x n k (SOME c) 250 | SgiCon (x, n, k, c) => pushCNamed env x n k (SOME c)
251 | SgiVal (x, n, t) => pushENamed env x n t 251 | SgiVal (x, n, t) => pushENamed env x n t
252 | SgiSgn (x, n, sgn) => pushSgnNamed env x n sgn
252 | SgiStr (x, n, sgn) => pushStrNamed env x n sgn 253 | SgiStr (x, n, sgn) => pushStrNamed env x n sgn
253 254
254 end 255 end