Hi, when using spelll on, admittedly, very big maps, I seem to get stack overflows when trying to retrieve some elements. Here is the relevant part of the backtrace:
Stack overflow
Raised by primitive operation at file "src/Spelll.ml", line 253, characters 22-40
Called from file "set.ml", line 348, characters 18-35
Called from file "map.ml", line 123, characters 18-33
Called from file "map.ml", line 130, characters 21-33
Called from file "map.ml", line 130, characters 21-33
Called from file "map.ml", line 130, characters 21-33
Called from file "map.ml", line 130, characters 21-33
Called from file "src/Spelll.ml", line 375, characters 18-47
Called from file "src/Spelll.ml", line 390, characters 24-49
Called from file "list.ml", line 110, characters 12-15
Called from file "src/Spelll.ml", line 353, characters 6-305
Called from file "list.ml", line 110, characters 12-15
Called from file "src/Spelll.ml", line 353, characters 6-305
Called from file "list.ml", line 110, characters 12-15
Called from file "src/Spelll.ml", line 353, characters 6-305
Called from file "list.ml", line 110, characters 12-15
Called from file "src/Spelll.ml", line 353, characters 6-305
Called from file "list.ml", line 110, characters 12-15
Called from file "src/Spelll.ml", line 353, characters 6-305
Called from file "list.ml", line 110, characters 12-15
Called from file "src/Spelll.ml", line 353, characters 6-305
Called from file "list.ml", line 110, characters 12-15
Called from file "src/Spelll.ml", line 353, characters 6-305
Called from file "list.ml", line 110, characters 12-15
Called from file "src/Spelll.ml", line 353, characters 6-305
Called from file "list.ml", line 110, characters 12-15
Called from file "src/Spelll.ml", line 353, characters 6-305
Called from file "src/Spelll.ml", line 408, characters 6-33
Called from file "src/Spelll.ml" (inlined), line 442, characters 14-28
Called from file "src/Spelll.ml", line 543, characters 16-34