diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-08-08 17:55:51 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-08-08 17:55:51 -0400 |
| commit | b9b67597324deb6e6dfc8ef33c60c110abc2af7b (patch) | |
| tree | 2ff5f7417692c2590916a6eeb55aa38bbb47516f /src/compiler.sig | |
| parent | e2a9136ed7123cb8e5cac4a20cbce5467643ecd6 (diff) | |
Specialization of single-parameter datatypes
Diffstat (limited to 'src/compiler.sig')
| -rw-r--r-- | src/compiler.sig | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/compiler.sig b/src/compiler.sig index 9f856158..43224a49 100644 --- a/src/compiler.sig +++ b/src/compiler.sig @@ -46,6 +46,7 @@ signature COMPILER = sig 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 @@ signature COMPILER = sig 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 |