Mercurial > urweb
comparison src/termination.sml @ 448:85819353a84f
First Unnest tests working
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sat, 01 Nov 2008 15:58:55 -0400 |
parents | dfc8c991abd0 |
children | 787d4931fb07 |
comparison
equal
deleted
inserted
replaced
447:b77863cd0be2 | 448:85819353a84f |
---|---|
290 end | 290 end |
291 | 291 |
292 | EError => (Rabble, calls) | 292 | EError => (Rabble, calls) |
293 | EUnif (ref (SOME e)) => exp parent (penv, calls) e | 293 | EUnif (ref (SOME e)) => exp parent (penv, calls) e |
294 | EUnif (ref NONE) => (Rabble, calls) | 294 | EUnif (ref NONE) => (Rabble, calls) |
295 | |
296 | ELet (_, e) => exp parent (penv, calls) e | |
295 end | 297 end |
296 | 298 |
297 fun doVali (i, (_, f, _, e), calls) = | 299 fun doVali (i, (_, f, _, e), calls) = |
298 let | 300 let |
299 fun unravel (e, j, penv) = | 301 fun unravel (e, j, penv) = |