Changelog

Juvix Mascot

v0.2.6 (2022-10-26)

Full Changelog

Implemented enhancements:

Fixed bugs:

Merged pull requests:

v0.2.5 (2022-09-14)

Full Changelog

Fixed bugs:

  • Properly type check patterns that need normalization #1472 (janmasrovira)
  • Detect nested patterns as smaller in the termination checker #1524
  • Fix developBeta in Core/Extra.hs #1487 (lukaszcz)
  • Core/Extra/Recursors/Collector bugfix #1510 (lukaszcz)

Merged pull requests:

v0.2.4 (2022-08-19)

Full Changelog

(Special version for Heliax's retreat in Italy)

Implemented enhancements:

Fixed bugs:

Merged pull requests:

v0.2.3 (2022-08-15)

Full Changelog

Implemented enhancements:

Fixed bugs:

Merged pull requests:

v0.2.2 (2022-07-25)

Full Changelog

Implemented enhancements:

Fixed bugs:

Merged pull requests:

v0.2.1 (2022-07-12)

Full Changelog

Implemented enhancements:

Fixed bugs:

Merged pull requests:

v0.2.0

(2022-06-28)

Full Changelog

Implemented enhancements:

Fixed bugs:

  • Fix: Ignore implicit patterns and arguments in termination checking #172 (janmasrovira)
  • Fix: pretty printing for terminating keyword #145 (jonaprieto)

Merged pull requests:

v0.1.4

(2022-05-30)

Full Changelog

Merged pull requests:

Implemented enhancements:

Fixed bugs:

  • Missing error messages when using throw/error #117
  • Fix highlight of comments #104
  • Fix juvix-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 Juvix website #51

v0.1.3

(2022-05-05)

Full Changelog

Closed issues:

  • Monomorphisation naming inconsistency #84
  • Remove BackendAgda #83
  • Change terminating keyword behavior #81
  • MonoJuvix ExpressionTyped is never used #79
  • Bump stackage nightly and delete allow-newer: true from stack.yaml #75
  • Generate automatically CHANGELOG and Github Release Notes #73
  • Make flag –show-name-ids global #61
  • Add C code generation backend #60
  • Add polymorphism #59
  • Add the compile keyword to the frontend syntax (support up to Scoping) #58
  • Error with undefined or underscores #54
  • Add support for other GHC and Stack stable version #52
  • Autodetect output ANSI support when prettyprinting #38
  • Terminating for type signatures #11

Merged pull requests:

v0.1.2

(2022-04-11)

Full Changelog

Closed issues:

  • Add en emacs mode with support for scoped highlighting #25
  • Add support for project root detection through a juvix.yaml file #24
  • Add CLI cmd to generate juvix autocompletion files for fish and zsh #23
  • Add pretty and typecheck subcommands to the microjuvix CLI #21
  • Translate identifiers from MicroJuvix to MiniHaskell (valid Haskell) #19
  • Implement the MiniHaskell to Haskell translation (prettyprinter) #18
  • Implementation of a typechecker for MicroJuvix #16
  • Add references to the Abstract AST to update compilation to MiniHaskell #12
  • Order in the house #10

Merged pull requests:

v0.1.1

(2022-03-25)

Full Changelog

  • Add support in the parser/scoper for Axiom backends
  • Add support for foreign keyword
  • Add flag --no-colors for the scope command
  • Upgrade to GHC 9.2.2
  • Improve resolution of local symbols in the scoper
  • Several new tests related to ambiguous symbols
  • Add --version flag
  • Add InfoTableBuilder effect for the scoper

Closed issues:

  • Add diff output to the test suite #9
  • Improve scoper ambiguity error messages #8