Mercurial > urweb
comparison src/reduce_local.sml @ 1289:3b22c3c67f35
Reduce: Inline let-bound variables whose types involve functions
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sun, 22 Aug 2010 13:43:46 -0400 |
parents | cd8d2c73ccf4 |
children | b4480a56cab7 |
comparison
equal
deleted
inserted
replaced
1288:fc7ecf8883b1 | 1289:3b22c3c67f35 |
---|---|
134 | 134 |
135 | CRel n => | 135 | CRel n => |
136 let | 136 let |
137 fun find (n', env, nudge, liftC) = | 137 fun find (n', env, nudge, liftC) = |
138 case env of | 138 case env of |
139 [] => raise Fail "Reduce.con: CRel" | 139 [] => raise Fail "ReduceLocal.con: CRel" |
140 | Unknown :: rest => find (n', rest, nudge, liftC) | 140 | Unknown :: rest => find (n', rest, nudge, liftC) |
141 | Known _ :: rest => find (n', rest, nudge, liftC) | 141 | Known _ :: rest => find (n', rest, nudge, liftC) |
142 | Lift (liftC', _) :: rest => find (n', rest, nudge + liftC', | 142 | Lift (liftC', _) :: rest => find (n', rest, nudge + liftC', |
143 liftC + liftC') | 143 liftC + liftC') |
144 | UnknownC :: rest => | 144 | UnknownC :: rest => |