Mercurial > urweb
diff src/specialize.sig @ 315:e21d0dddda09
Unpoly non-recursive function
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 11 Sep 2008 09:36:47 -0400 |
parents | 8a70e2919e86 |
children |
line wrap: on
line diff
--- a/src/specialize.sig Tue Sep 09 12:36:13 2008 -0400 +++ b/src/specialize.sig Thu Sep 11 09:36:47 2008 -0400 @@ -25,7 +25,7 @@ * POSSIBILITY OF SUCH DAMAGE. *) -(* Simplify a Core program by repeating polymorphic definitions *) +(* Simplify a Core program by repeating polymorphic definitions of datatypes *) signature SPECIALIZE = sig