From 206b6cf0ade48a778f4e991cf5d2ab0daf559bf8 Mon Sep 17 00:00:00 2001
From: Blaine Bublitz <blaine.bublitz@gmail.com>
Date: Wed, 11 May 2022 15:07:52 -0700
Subject: [PATCH] feat: Add signature_pruning pass (#155)

---
 src/passes.ml  | 3 +++
 src/passes.mli | 3 +++
 2 files changed, 6 insertions(+)

diff --git a/src/passes.ml b/src/passes.ml
index cef69a1..e3a8657 100644
--- a/src/passes.ml
+++ b/src/passes.ml
@@ -278,6 +278,9 @@ let safe_heap = "safe-heap"
 (** sets specified globals to specified values *)
 let set_globals = "set-globals"
 
+(** remove params from function signature types where possible *)
+let signature_pruning = "signature-pruning"
+
 (** apply more specific subtypes to signature types where possible *)
 let signature_refining = "signature-refining"
 
diff --git a/src/passes.mli b/src/passes.mli
index 7ccbc06..efd8a36 100644
--- a/src/passes.mli
+++ b/src/passes.mli
@@ -276,6 +276,9 @@ val safe_heap : t
 val set_globals : t
 (** sets specified globals to specified values *)
 
+val signature_pruning : t
+(** remove params from function signature types where possible *)
+
 val signature_refining : t
 (** apply more specific subtypes to signature types where possible *)