diff options
Diffstat (limited to 'src/compiler.sml')
-rw-r--r-- | src/compiler.sml | 7 |
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 = { |