Mercurial > urweb
comparison src/mono_reduce.sml @ 168:25b169416ea8
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 |