Version 2.0

NEW FEATURES

• Support for Babylon+
  • Only write entry points' type parameter in signatures [BREAKING CHANGE]
  • Multiple entry points (compiler/client)
  • Lifting of restictions on big maps
  • New instruction Big_map.create
  • Big map constants
  • Use new Michelson instructions DIP n, DROP n
  • Compile DUP n with DIP+DIG instead of DU.UP macro to avoid bubbling expansion to DIP { DUP; SWAP }
  • Deprecate Current.gas
  • Type chain_id and instruction Chain.id : unit -> chain_id
• Remove contract instances, and use contract handles instead [BREAKING CHANGE]
• Allow polymorphic variants (so as to not have to declare type)
• Allow capitalized entry point names with syntax let%entry `Entry = fun param -> fun storage -> body
• New instruction Contract.address returns address without entry point handle [BREAKING CHANGE]
• Previous behaviour can be accessed with Contract.untype
• Addresses can have an entry point handle with syntax KT1LLcCCB9Fr1hrkGzfdiJ9u3ZajbdckBFrF%entry_name

IMPROVEMENTS

• Better simplifications (for sequences) and inlining
• Decompilation of Michelson entry points with arbitrary names
• Modular client in separate executable liquidity-client
• Documenation