From 9749abf1d5733983315edbd7d682aa22cd912618 Mon Sep 17 00:00:00 2001
From: Humza Shahid <humzasaur@gmail.com>
Date: Thu, 13 Feb 2025 11:56:12 +0000
Subject: [PATCH] add 'env' parameter to mapper in gap_map.sml

---
 src/gap_map.sml | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/src/gap_map.sml b/src/gap_map.sml
index 83ce4c8..05aa9b1 100644
--- a/src/gap_map.sml
+++ b/src/gap_map.sml
@@ -40,7 +40,8 @@ end
 signature MAP =
 sig
   structure Pair: GAP_MAP_PAIR
-  val map: Pair.value -> Pair.value
+  type env
+  val map: Pair.value * env -> Pair.value
 end
 
 signature MAPPER =
@@ -963,6 +964,7 @@ structure IntMap =
   MakeGapMapMapper
     (struct
        structure Pair = Pair
-       fun map x = x * 5
+       type env = ()
+       fun map x () = x * 5
      end)
 *)