Version: Next

changelog

LIGO Changelog

Unreleased

Run this release with Docker: docker run ligolang/ligo:Unreleased

  • changed: Use virtual ES6FUN token for ReasonLIGO to allow for more accurate error messages. (!876 by Sander Spies)

0.5.0

Run this release with Docker: docker run ligolang/ligo:0.5.0

  • List.head_opt
  • List.tail_opt

which returns none if the list is empty and respectively hd and tl if the list is CONS (hd,tl) (!887 by Pierre-Emmanuel Wulfman)

0.4.0

Run this release with Docker: docker run ligolang/ligo:0.4.0

0.3.0

Run this release with Docker: docker run ligolang/ligo:0.3.0

  • internal: Create polymorphic function and use them in asts and passes to factorize code and simplify maintenance (!770 by Pierre-Emmanuel Wulfman)
  • fixed: Fix broken Nix build on MacOS (!852 by Alexander Bantyev)
  • fixed: Documentation of Pascaligo: change deprecated bytes_unpack to Bytes.unpack. (!820 by Sander Spies)
  • performance: Optimization: push DROP into failing conditionals (!820 by Tom)
  • internal: Refactoring of front-end (making libraries, removing exceptions from interfaces, factoring and removing code etc.) (!751 by Christian Rinderknecht)
  • fixed: Fixed 2 bugs in changelog generator (a shell variable wasn't exported but was used in a subprocess; the evaluation time of some nix expressions seem to have changed so we're invoking a shell command instead of having the nix expression evaluated before its inputs are ready) (!853 by Suzanne Soy)
  • internal: Move the preprocessor away from the parser (!851 by Pierre-Emmanuel Wulfman)
  • added: --protocol preloads types corresponding to a given protocol. use "ligo compile-contract path entrypoint --protocol=X --disable-michelson-typecheking" in combination with michelson_insertion (!837 by Rémi Lesénéchal)
  • changed: Type constant are now loaded into the type environment, they become variables until the typed AST (!849 by Rémi Lesénéchal)
  • changed: In the typer which is not currently in use, added a boolean flag on constraints indicating whether they might be necessary for correctness (!814 by Suzanne Soy)
  • fixed: Fix broken build after removal of generated code (!807 by Suzanne Soy)
  • : (! by )
  • changed: In the typer which is not currently in use, constraint removal is now handled by normalizers (!801 by Suzanne Soy)
  • changed: In the typer which is not currently in use, heuristics can now request the justified removal of some of the constraints (!801 by Suzanne Soy)

0.2.1

Run this release with Docker: docker run ligolang/ligo:0.2.1

0.2.0

Run this release with Docker: docker run ligolang/ligo:0.2.0

0.1.0

Run this release with Docker: docker run ligolang/ligo:0.1.0

0.0.1

Run this release with Docker: docker run ligolang/ligo:0.0.1

0.0.0

Run this release with Docker: docker run ligolang/ligo:0.0.0

No changes for this version