From 9c32e53160a7299ac2e9dca640431d8cbd688708 Mon Sep 17 00:00:00 2001 From: Humza Shahid Date: Thu, 13 Feb 2025 12:01:40 +0000 Subject: [PATCH] add 'env' parameter to gap_map.sml's mapper --- src/gap_map.sml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/gap_map.sml b/src/gap_map.sml index c1efdce..5130431 100644 --- a/src/gap_map.sml +++ b/src/gap_map.sml @@ -71,7 +71,7 @@ struct fun mapList (hd :: tl, acc, env) = let val hd = Vector.map (fn el => Map.map (el, env)) hd - in mapList (tl, hd :: acc) + in mapList (tl, hd :: acc, env) end | mapList ([], acc, env) = List.rev acc