Mercurial > urweb

comparison src/core_env.sml @ 807:61a1f5c5ae2c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Mutual datatypes through Effectize
author Adam Chlipala <adamc@hcoop.net>
date Sat, 16 May 2009 15:45:12 -0400
parents 8688e01ae469
children b2311dfb3158
comparison
equal deleted inserted replaced
806:0e554bfd6d6a 807:61a1f5c5ae2c
299 | SOME x => x 299 | SOME x => x
300 300
301 fun declBinds env (d, loc) = 301 fun declBinds env (d, loc) =
302 case d of 302 case d of
303 DCon (x, n, k, c) => pushCNamed env x n k (SOME c) 303 DCon (x, n, k, c) => pushCNamed env x n k (SOME c)
304 | DDatatype (x, n, xs, xncs) => 304 | DDatatype dts =>
305 let 305 foldl (fn ((x, n, xs, xncs), env) =>
306 val env = pushDatatype env x n xs xncs 306 let
307 val env = pushCNamed env x n (KType, loc) NONE 307 val env = pushDatatype env x n xs xncs
308 in 308 val env = pushCNamed env x n (KType, loc) NONE
309 foldl (fn ((x', n', NONE), env) => pushENamed env x' n' (CNamed n, loc) NONE "" 309 in
310 | ((x', n', SOME t), env) => pushENamed env x' n' (TFun (t, (CNamed n, loc)), loc) NONE "") 310 foldl (fn ((x', n', NONE), env) => pushENamed env x' n' (CNamed n, loc) NONE ""
311 env xncs 311 | ((x', n', SOME t), env) => pushENamed env x' n' (TFun (t, (CNamed n, loc)), loc) NONE "")
312 end 312 env xncs
313 end) env dts
313 | DVal (x, n, t, e, s) => pushENamed env x n t (SOME e) s 314 | DVal (x, n, t, e, s) => pushENamed env x n t (SOME e) s
314 | DValRec vis => foldl (fn ((x, n, t, e, s), env) => pushENamed env x n t NONE s) env vis 315 | DValRec vis => foldl (fn ((x, n, t, e, s), env) => pushENamed env x n t NONE s) env vis
315 | DExport _ => env 316 | DExport _ => env
316 | DTable (x, n, c, s, _, pc, _, cc) => 317 | DTable (x, n, c, s, _, pc, _, cc) =>
317 let 318 let