Mercurial > urweb

comparison src/core_env.sml @ 247:5c50b17f5e4a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Corify tables
author Adam Chlipala <adamc@hcoop.net>
date Sun, 31 Aug 2008 09:00:28 -0400
parents 8a70e2919e86
children 42dfb0d61cf0
comparison
equal deleted inserted replaced
246:3aa010e97db9 247:5c50b17f5e4a
185 env xncs 185 env xncs
186 end 186 end
187 | DVal (x, n, t, e, s) => pushENamed env x n t (SOME e) s 187 | DVal (x, n, t, e, s) => pushENamed env x n t (SOME e) s
188 | DValRec vis => foldl (fn ((x, n, t, e, s), env) => pushENamed env x n t NONE s) env vis 188 | DValRec vis => foldl (fn ((x, n, t, e, s), env) => pushENamed env x n t NONE s) env vis
189 | DExport _ => env 189 | DExport _ => env
190 | DTable (x, n, c, s) =>
191 let
192 val t = (CApp ((CFfi ("Basis", "table"), loc), c), loc)
193 in
194 pushENamed env x n t NONE s
195 end
190 196
191 fun patBinds env (p, loc) = 197 fun patBinds env (p, loc) =
192 case p of 198 case p of
193 PWild => env 199 PWild => env
194 | PVar (x, t) => pushERel env x t 200 | PVar (x, t) => pushERel env x t