v0.1.4

v0.1.4 (2022-05-30)

(release originally created by @jonaprieto, ported to this repository by @cwgoes)

Full Changelog

Merged pull requests:

• Generic Errors and refactoring #123 (jonaprieto)
• Only generates docs if the pull request merges #121 (jonaprieto)
• Add initial docs generation website #119 (jonaprieto)
• Fix internal link in README #116 (paulcadman)
• Add minic-runtime for linking without libc #113 (paulcadman)
• Add termination checking to the pipeline #111 (jonaprieto)
• Support uncurried higher order functions #110 (paulcadman)
• Improve error generation and handling #108 (janmasrovira)
• Add MiniC tests with clang+wasi-sdk #105 (paulcadman)
• Add usage example and move developer docs #96 (paulcadman)
• Refactor warning related stuff #91 (janmasrovira)
• Remove Agda backend #86 (paulcadman)

Implemented enhancements:

• Add compile subcommand to generate binaries #128
• Add intervals to flycheck errors #124
• Improve error handling in minijuvix-mode #107
• Support multiple modules in compilation #93
• Add compile command to CLI #130 (paulcadman)
• Use Interval in GenericErrors #125 (janmasrovira)
• Remove dev in the CI and other tweaks #118 (jonaprieto)
• Highlight comments correctly #106 (janmasrovira)
• Support multiple modules in compilation #100 (janmasrovira)
• New target syntax and modular VP examples #92 (jonaprieto)

Fixed bugs:

• Missing error messages when using throw/error #117
• Fix highlight of comments #104
• Fix minijuvix-mode coloring for projects with multiple modules #101
• Fix highlight command for modules with import statements #102 (janmasrovira)

Closed issues:

• Deprecate the class JuvixError #115
• Add ToGenericError instance for the infix parsing errors #114
• Compile to WASM without linking libc #112
• Add the termination checker to the pipeline #109
• Use clang + wasi-sdk instead of emcc to compile to WASM #103
• Move developer tooling docs out of README #95
• Add pre-commit checks to CI checks #94
• Support higher order functions in C backend #90
• Remove dev from the list of branches in the CI #89
• Refactor warning related stuff #87
• The MiniJuvix website #51