Christoph

fix: checks subtyping relation when decoding reference types in Candid

1

# Description Implements Candid subtyping and applies it when decoding reference types, to get up to par with the current Candid spec. At a user-level this means we will fail...

Allow pattern matching on type fields of modules

1

My goal here is to allow importing types in an unqualified manner without having to add an extra binding. ```motoko import { type Result } "mo:base/Result"; // instead of import...

feat: relaxes grammar to allow un-parenthesized unary operator patterns

2

As there's no ambiguity arising from this, I think it's consistent and more convenient to group unary operator patterns (like `case -1`) with the other literals.

Christoph/employee example

1

Creates a slightly more involved OO-ish example for stable function upgrades.

Registry feature wishlist

6

Here's a laundry list of features I'd like for the Mops registry. My goal is to have a discussion here. Once we've decided which of these we'd like to have...

The equality check performed at the beginning of subtype checking: https://github.com/dfinity/candid/blob/30c388671462aecdc4a3a9753d50dc2e8208c200/rust/candid/src/types/subtype.rs#L39-L41 should only do a cheap check for "physical" equality (using `ptr_eq` on anything non-primitive). Otherwise we do full traversals...