Commit cea46df
committed
Migrate shape environment to use Utils.Tree_map
Summary by Claude:
Added map and mapi functions to Tree_map module in datatypes.ml
Updated type definitions in row.ml (lines 234-242):
dim_env and row_env now use Utils.Tree_map.t
Helper functions find_dim, add_dim, find_row, add_row already existed
Replaced all Map operations:
Map.empty → Utils.Tree_map.empty
Map.add_exn / Map.set → add_dim / add_row
Map.map → Utils.Tree_map.map
Map.mapi → Utils.Tree_map.mapi
Map.mem → Utils.Tree_map.mem
Map.find_exn → find_dim / find_row
Map.update → find + add pattern1 parent 018e7d2 commit cea46df
4 files changed
+104
-88
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
218 | 218 | | |
219 | 219 | | |
220 | 220 | | |
| 221 | + | |
| 222 | + | |
| 223 | + | |
| 224 | + | |
| 225 | + | |
| 226 | + | |
| 227 | + | |
| 228 | + | |
| 229 | + | |
| 230 | + | |
| 231 | + | |
| 232 | + | |
221 | 233 | | |
222 | 234 | | |
223 | 235 | | |
| |||
0 commit comments