Map type in Core package

[raviqqe]

Depends-on: #715.

Close #654.

[codecov-commenter]

Codecov Report

Merging #676 (5a30fd5) into main (fec5cf9) will increase coverage by 0.11%.
The diff coverage is n/a.

❗ Current head 5a30fd5 differs from pull request most recent head 5c4a3ff. Consider uploading reports for the commit 5c4a3ff to get more accurate results

@@            Coverage Diff             @@
##             main     #676      +/-   ##
==========================================
+ Coverage   85.71%   85.83%   +0.11%     
==========================================
  Files         308      308              
  Lines       28760    28719      -41     
==========================================
- Hits        24651    24650       -1     
+ Misses       4109     4069      -40     

Impacted Files	Coverage Δ
cmd/pen/src/compile_configuration.rs	0.00% <0.00%> (ø)
lib/hir-mir/src/test_function_compiler.rs	0.00% <0.00%> (ø)
lib/hir-mir/src/error_type_configuration.rs	100.00% <0.00%> (ø)
...e_compiler/prelude_type_configuration_qualifier.rs	0.00% <0.00%> (ø)

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update fec5cf9...5c4a3ff. Read the comment docs.

[raviqqe]

There seems to be a kind of a bug in compilation of a Core'Map'hamt'setWithHash function, where a return address after the very last continuation function gets overwritten.

It doesn't seem to be due to a large number of arguments of the function though because bundling those arguments into a record didn't work.

[raviqqe]

@Mergifyio refresh

[mergify]

refresh

✅ Pull request refreshed

[raviqqe]

@Mergifyio refresh

[mergify]

refresh

✅ Pull request refreshed