summaryrefslogtreecommitdiff
path: root/src/compiler.sig
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-08-08 17:55:51 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-08-08 17:55:51 -0400
commitb9b67597324deb6e6dfc8ef33c60c110abc2af7b (patch)
tree2ff5f7417692c2590916a6eeb55aa38bbb47516f /src/compiler.sig
parente2a9136ed7123cb8e5cac4a20cbce5467643ecd6 (diff)
Specialization of single-parameter datatypes
Diffstat (limited to 'src/compiler.sig')
-rw-r--r--src/compiler.sig2
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