humza/sml-projects
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

add 'env' parameter to mapper in gap_map.sml

Browse Source
This commit is contained in:
Humza Shahid
2025-02-13 11:56:12 +00:00
parent d23396f5d1
commit 9749abf1d5
1 changed files with 4 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
src/gap_map.sml
View File

@@ -40,7 +40,8 @@ end
signature MAP = signature MAP =
sig sig
structure Pair: GAP_MAP_PAIR structure Pair: GAP_MAP_PAIR
val map: Pair.value -> Pair.value type env
val map: Pair.value * env -> Pair.value
end end
signature MAPPER = signature MAPPER =
@@ -963,6 +964,7 @@ structure IntMap =
MakeGapMapMapper MakeGapMapMapper
(struct (struct
structure Pair = Pair structure Pair = Pair
fun map x = x * 5 type env = ()
fun map x () = x * 5
end) end)
*) *)