0.14.7

• motoko (moc)

  • Preserve and infer named types both to improve displayed types in error messages, and to preserve function signatures when deriving Candid types (#4943).
    The names remain semantically insignificant and are ignored when comparing types for subtyping and equality.

    For example,

    func add(x : Int, y : Int) : (res : Int) = x + y;

    now has inferred type:

    (x : Int, y: Int) -> (res : Int)

    Previously, the type would be inferred as:

    (Int, Int) -> Int

  • Refine the *.most stable signature file format to distinguish stable variables that are strictly required by the migration function rather than propagated from the actor body (#4991).
    This enables the stable compatibility check to verify that a migration function will not fail due to missing required fields.
    Required fields are declared in, not stable, in the actor's pre-signature.

  • Added improved LSP cache for typechecking (thanks to Serokell) (#4931).

  • Reduce enhanced-orthogonal-persistence memory requirements using incremental allocation within partitions (#4979).

• motoko-base

  • Deprecated ExperimentalCycles.add, use a parenthetical (with cycles = <amount>) <send> instead (dfinity/motoko-base#703).