Mercurial > urweb
comparison src/termination.sml @ 825:7f871c03e3a1
Destructing local let, to the point where demo compiles
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 28 May 2009 12:07:05 -0400 |
parents | 588b9d16b00a |
children |
comparison
equal
deleted
inserted
replaced
824:be0988e46336 | 825:7f871c03e3a1 |
---|---|
304 | 304 |
305 | EError => (Rabble, calls) | 305 | EError => (Rabble, calls) |
306 | EUnif (ref (SOME e)) => exp parent (penv, calls) e | 306 | EUnif (ref (SOME e)) => exp parent (penv, calls) e |
307 | EUnif (ref NONE) => (Rabble, calls) | 307 | EUnif (ref NONE) => (Rabble, calls) |
308 | 308 |
309 | ELet (eds, e) => | 309 | ELet (eds, e, _) => |
310 let | 310 let |
311 fun extPenv ((ed, _), penv) = | 311 fun extPenv ((ed, _), penv) = |
312 case ed of | 312 case ed of |
313 EDVal _ => Rabble :: penv | 313 EDVal _ => Rabble :: penv |
314 | EDValRec vis => foldl (fn (_, penv) => Rabble :: penv) penv vis | 314 | EDValRec vis => foldl (fn (_, penv) => Rabble :: penv) penv vis |