Mercurial > urweb

comparison src/mono_reduce.sml @ 168:25b169416ea8

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Storing datatype constructors in type references past monoize
author Adam Chlipala <adamc@hcoop.net>
date Tue, 29 Jul 2008 15:43:17 -0400
parents 55d8cfa4d024
children c0ea24dcb86f
comparison
equal deleted inserted replaced
167:2be573fec9a6 168:25b169416ea8
60 bind = fn ((xn, rep), U.Exp.RelE _) => (xn+1, liftExpInExp 0 rep) 60 bind = fn ((xn, rep), U.Exp.RelE _) => (xn+1, liftExpInExp 0 rep)
61 | (ctx, _) => ctx} 61 | (ctx, _) => ctx}
62 62
63 fun bind (env, b) = 63 fun bind (env, b) =
64 case b of 64 case b of
65 U.Decl.NamedT (x, n, co) => E.pushTNamed env x n co 65 U.Decl.Datatype (x, n, xncs) => E.pushDatatype env x n xncs
66 | U.Decl.RelE (x, t) => E.pushERel env x t 66 | U.Decl.RelE (x, t) => E.pushERel env x t
67 | U.Decl.NamedE (x, n, t, eo, s) => E.pushENamed env x n t eo s 67 | U.Decl.NamedE (x, n, t, eo, s) => E.pushENamed env x n t eo s
68 68
69 fun typ c = c 69 fun typ c = c
70 70