v0.6.3

Full Changelog

Implemented enhancements:

• Improve performance of formatting a project #2863 (janmasrovira)
• Adapt Anoma builtins to new Anoma Node API #2861 (paulcadman)
• Support Anoma representation of Maybe #2856 (paulcadman)
• Add support for anoma specific functions to the Core evaluator #2851 (paulcadman)
• Inline immediate values #2842 (lukaszcz)
• Dead code elimination in JuvixReg #2835 (lukaszcz)
• Give proper colors to builtins #2834 (janmasrovira)
• Constant propagation in JuvixReg #2833 (lukaszcz)
• Copy propagation in JuvixReg #2828 (lukaszcz)
• Generalize import syntax #2819 (janmasrovira)

Merged pull requests:

• Merge if -> ite renaming from stdlib #2869 (janmasrovira)
• Optimize letFunctionDefs in Juvix.Compiler.Internal.Data.InfoTable #2867 (lukaszcz)
• Refactor pipeline functions for tests #2864 (lukaszcz)
• Make Maybe a builtin inductive type #2860 (paulcadman)
• Peephole optimization of Cairo assembly #2858 (lukaszcz)
• Update juvix-stdlib to remove non-ASCII indentifiers #2857 (paulcadman)
• Add an if instruction to JuvixReg #2855 (lukaszcz)
• Cairo: untagged record representation #2853 (lukaszcz)
• Add lcomposition fixity to support (>>) in the stdlib #2847 (paulcadman)
• Remove copy propagation from the native/WASM and Rust pipelines #2846 (lukaszcz)
• just format uses ghc flags in juvix.cabal #2844 (janmasrovira)
• Fix names in Core #2843 (lukaszcz)
• Fix Rust toolchain caching #2825 (lukaszcz)
• Cairo: Support complex data types in program input #2822 (lukaszcz)
• Add error message for ill-scoped variables #2566 (janmasrovira)