v0.5.3
Implemented enhancements:
- Arithmetic simplification #2454 (lukaszcz)
- Constant folding #2450 (lukaszcz)
- Proposal: Use a Juvix source file to define a package instead of YAML #2336 (paulcadman)
- Dependent default values #2446 (janmasrovira)
- Instance coercions #2444 (lukaszcz)
- Comparison optimization #2443 (lukaszcz)
- Allow
syntax operatorin the rhs of a record declaration #2442 (janmasrovira) - Add constructor wildcards #2437 (janmasrovira)
- Add default arguments #2408 (janmasrovira)
Merged pull requests:
- Cache .hie directory in CI #2490 (paulcadman)
- Fix #2479 #2486 (jonaprieto)
- Update Lisp File Printer #2484 (agureev)
- Rename Roots type to Root #2480 (paulcadman)
- Version the PackageDescription module #2478 (paulcadman)
- Format long list literals by splitting using pre-comma multiline #2477 (paulcadman)
- Use a versioned documentation link in the doctor output #2475 (paulcadman)
- Add missing juvix.yaml files to test project roots #2474 (paulcadman)
- Use system locale independent readFile and writeFile APIs from with-utf8 #2473 (paulcadman)
- Fix precedence inconsistency bug #2470 (lukaszcz)
- Add FileExt type #2467 (jonaprieto)
- Update clang formatting #2465 (jonaprieto)
- Add dependency on expressions in function default arguments #2462 (paulcadman)
- Use JuvixError instead of Text for errors in Package file loading #2459 (paulcadman)
- Refactor EntryPoint, Package, Pipeline, Root packages #2458 (paulcadman)
- Show import with public keyword in the html doc #2456 (janmasrovira)
- Process $root/Package.juvix using a special PathResolver #2451 (paulcadman)
- Add new flags to the Html backend #2447 (jonaprieto)
- Case value inlining #2441 (lukaszcz)
- Fix instance axiom bug #2439 (lukaszcz)
- Update Geb backend #2436 (agureev)
- Ignore instance arguments in the termination checker #2435 (janmasrovira)
- Use a Juvix source file to define a package #2434 (paulcadman)
- Numeric, ordering and equality traits #2433 (lukaszcz)
- Synchronize stdlib submodule #2428 (paulcadman)
- Improve the specialisation optimisation #2417 (lukaszcz)
- Fix formatting for all Juvix files in tests folder #2404 (jonaprieto)