v0.5.5

v0.5.5 (2023-12-01)

Full Changelog

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)