add 'env' parameter to gap_map.sml's mapper

This commit is contained in:
2025-02-13 12:01:40 +00:00
parent aa127b28fd
commit 9c32e53160

View File

@@ -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