Mercurial > urweb

comparison src/mono_env.sml @ 273:09c66a30ef32

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Table declarations pushed to Cjr
author Adam Chlipala <adamc@hcoop.net>
date Tue, 02 Sep 2008 13:09:54 -0400
parents 42dfb0d61cf0
children 4260ad920c36
comparison
equal deleted inserted replaced
272:4d80d6122df1 273:09c66a30ef32
105 env xncs 105 env xncs
106 end 106 end
107 | DVal (x, n, t, e, s) => pushENamed env x n t (SOME e) s 107 | DVal (x, n, t, e, s) => pushENamed env x n t (SOME e) s
108 | DValRec vis => foldl (fn ((x, n, t, e, s), env) => pushENamed env x n t NONE s) env vis 108 | DValRec vis => foldl (fn ((x, n, t, e, s), env) => pushENamed env x n t NONE s) env vis
109 | DExport _ => env 109 | DExport _ => env
110 | DTable _ => env
110 | DDatabase _ => env 111 | DDatabase _ => env
111 112
112 fun patBinds env (p, loc) = 113 fun patBinds env (p, loc) =
113 case p of 114 case p of
114 PWild => env 115 PWild => env