diff options
author | Artyom Shalkhakov <artyom.shalkhakov@gmail.com> | 2019-01-07 15:54:06 +0200 |
---|---|---|
committer | Artyom Shalkhakov <artyom.shalkhakov@gmail.com> | 2019-01-07 15:54:06 +0200 |
commit | e6c93e5b8ed862d096d2120aa0be2a125b332776 (patch) | |
tree | ad5632a47e57edb07c89d51b0ddab8b1cdd7d152 /src/compiler.sml | |
parent | 4ada57be570bfbe18137c5b37ed5e0d327de82db (diff) |
-endpoints switch to view all endpoints defined in JSON format
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 = { |