From e6c93e5b8ed862d096d2120aa0be2a125b332776 Mon Sep 17 00:00:00 2001
From: Artyom Shalkhakov <artyom.shalkhakov@gmail.com>
Date: Mon, 7 Jan 2019 15:54:06 +0200
Subject: -endpoints switch to view all endpoints defined in JSON format

---
 src/compiler.sml | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'src/compiler.sml')

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 = {
-- 
cgit v1.2.3