v7.1.0

[7.1.0]

Added

• Options to enable/disable certain optimizations.
• The ability to call a different instance of the current contract

  contract Main =
    entrypoint spend(x : int) : int = x
    entrypoint f(c : Main) : int = c.spend(10)
  

• Return a mapping from variables to FATE registers in the compilation output.
• Hole expression.

Changed

• Type definitions serialised to ACI as typedefs field instead of type_defs to increase compatibility.
• Check contracts and entrypoints modifiers when implementing interfaces.
• Contracts can no longer be used as namespaces.
• Do not show unused stateful warning for functions that call other contracts with a non-zero value argument.

Fixed

• Typechecker crashes if Chain.create or Chain.clone are used without arguments.