v0.5.5 (2023-12-01)
Implemented enhancements:
- Add new case for positivity checker: type cannot occur as arg of bound var #2542 (jonaprieto)
- Add dependent defaults for the new typechecker #2541 (janmasrovira)
- Extract builtin definitions for loading a Package into bundled package-base package #2535 (paulcadman)
- Update the Juvix lock file when the Package file changes #2522 (paulcadman)
- Add non-dependent default values to the new typechecking algorithm #2516 (janmasrovira)
Merged pull requests:
- Update to the latest juvix-stdlib #2546 (paulcadman)
- Remove old typechecker #2545 (janmasrovira)
- Fix codeblocks indentation in Markdown output #2539 (jonaprieto)
- runtime Makefile: Do not resolve variables when writing a dependency file #2538 (paulcadman)
- Fix location for aliases #2536 (jonaprieto)
- Add Makefile to hyperfine benchmarks #2533 (jonaprieto)
- Negative tests for
--new-typechecker#2532 (janmasrovira) - Fix the global 'package' package so that modules within it can be type-checked independently #2526 (paulcadman)
- Improve inference for
--new-typechecker#2524 (janmasrovira)