Mercurial > urweb
diff src/compiler.sig @ 193:8a70e2919e86
Specialization of single-parameter datatypes
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Fri, 08 Aug 2008 17:55:51 -0400 |
| parents | c0ea24dcb86f |
| children | f2cac0dba9bf |
line wrap: on
line diff
--- a/src/compiler.sig Fri Aug 08 10:59:06 2008 -0400 +++ b/src/compiler.sig Fri Aug 08 17:55:51 2008 -0400 @@ -46,6 +46,7 @@ val shake' : job -> Core.file option val tag : job -> Core.file option val reduce : job -> Core.file option + val specialize : job -> Core.file option val shake : job -> Core.file option val monoize : job -> Mono.file option val mono_opt' : job -> Mono.file option @@ -62,6 +63,7 @@ val testShake' : job -> unit val testTag : job -> unit val testReduce : job -> unit + val testSpecialize : job -> unit val testShake : job -> unit val testMonoize : job -> unit val testMono_opt' : job -> unit