0.7.1

• motoko (moc)

  • Halve (default ir-checking) compilation times by optimizing type comparison and hashing (#3463)

  • Add support for type components in object type syntax (#3457, also fixes #3449)

    type Record = { type T = Nat; x : Nat};

  is now legal.
  Note the definition of T is neither recursive, nor bound in x : Nat,
  but can refer to an existing recursive type declared in an outer scope.

• motoko-base

  • Optimized and extended Buffer library (caffeinelabs/motoko-base#417).