GitLab

Change for usual match: branches don't have to be disjoint. Redundancy and non-exhaustivity warning are active

Adding disjoint pattern matching. No support for default case yet. No warning on non-exhaustivity yet.

TRecord was hitherto used for both constructs. TRecMake is the
construct for a record, like `(re=1, im=2)`, and TRecSet is the
construct for a record where some fields are reset, like `t ← (re = 2)`.

They are different constructs, used in different context, and it was
weird that they were together

In most cases, not printing type arguments is fine, but sometimes it
isn't, because type args cannot be inferred.

In the future, maybe we will store the information in the AST about
whether type arguments were supplied or inferred

(Thanks Adam Khayam)