2022-07-26 19:26:54 +03:00
|
|
|
```ucm:hide
|
2024-06-12 01:22:09 +03:00
|
|
|
scratch/main> builtins.merge
|
2022-07-26 19:26:54 +03:00
|
|
|
```
|
|
|
|
|
|
|
|
|
|
Tests a case where concrete abilities were appearing multiple times in an
|
|
|
|
|
inferred type. This was due to the pre-pass that figures out which abilities
|
|
|
|
|
are being matched on. It was just concatenating the ability for each pattern
|
|
|
|
|
into a list, and not checking whether there were duplicates.
|
|
|
|
|
|
|
|
|
|
```unison
|
|
|
|
|
structural ability T where
|
|
|
|
|
nat : Nat
|
|
|
|
|
int : Int
|
|
|
|
|
flo : Float
|
|
|
|
|
|
|
|
|
|
f = cases
|
|
|
|
|
{nat -> k} -> 5
|
|
|
|
|
{int -> k} -> 5
|
|
|
|
|
{flo -> k} -> 5
|
|
|
|
|
{x} -> 5
|
|
|
|
|
```
|
