Mercurial > urweb
comparison src/reduce_local.sig @ 642:4a125bbc602d
Conversion of functions to CPS, to facilitate ServerCall
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 08 Mar 2009 20:34:21 -0400 |
parents | 9117a7bf229c |
children | 5b5c0b552f59 |
comparison
equal
deleted
inserted
replaced
641:b98f547a6a45 | 642:4a125bbc602d |
---|---|
28 (* Simplify a Core program algebraically, without unfolding definitions *) | 28 (* Simplify a Core program algebraically, without unfolding definitions *) |
29 | 29 |
30 signature REDUCE_LOCAL = sig | 30 signature REDUCE_LOCAL = sig |
31 | 31 |
32 val reduce : Core.file -> Core.file | 32 val reduce : Core.file -> Core.file |
33 val reduceExp : Core.exp -> Core.exp | |
33 | 34 |
34 end | 35 end |