summaryrefslogtreecommitdiff
path: root/src/compiler.sml
diff options
context:
space:
mode:
Diffstat (limited to 'src/compiler.sml')
-rw-r--r--src/compiler.sml7
1 files changed, 7 insertions, 0 deletions
diff --git a/src/compiler.sml b/src/compiler.sml
index 868dd628..4ef9ba19 100644
--- a/src/compiler.sml
+++ b/src/compiler.sml
@@ -1429,6 +1429,13 @@ val mono_opt = {
print = MonoPrint.p_file MonoEnv.empty
}
+val endpoints = {
+ func = Endpoints.summarize,
+ print = Endpoints.p_report
+}
+
+val toEndpoints = transform endpoints "endpoints" o toMonoize
+
val toMono_opt1 = transform mono_opt "mono_opt1" o toMonoize
val untangle = {