2023-11-28 21:44:41 +03:00
|
|
|
Some basics:
|
|
|
|
|
|
|
|
|
|
```unison
|
|
|
|
|
unique type Cat.Dog = Mouse Nat
|
|
|
|
|
unique type Rat.Dog = Bird
|
|
|
|
|
|
|
|
|
|
countCat = cases
|
|
|
|
|
Cat.Dog.Mouse x -> Bird
|
|
|
|
|
```
|
|
|
|
|
|
|
|
|
|
```ucm
|
|
|
|
|
.> add
|
|
|
|
|
|
|
|
|
|
⍟ I've added these definitions:
|
|
|
|
|
|
|
|
|
|
unique type Cat.Dog
|
|
|
|
|
unique type Rat.Dog
|
|
|
|
|
countCat : Cat.Dog -> Rat.Dog
|
|
|
|
|
|
|
|
|
|
```
|
|
|
|
|
Now I want to add a constructor.
|
|
|
|
|
|
|
|
|
|
```unison
|
|
|
|
|
unique type Rat.Dog = Bird | Mouse
|
|
|
|
|
```
|
|
|
|
|
|
|
|
|
|
```ucm
|
|
|
|
|
.> update
|
|
|
|
|
|
|
|
|
|
Okay, I'm searching the branch for code that needs to be
|
|
|
|
|
updated...
|
|
|
|
|
|
|
|
|
|
That's done. Now I'm making sure everything typechecks...
|
|
|
|
|
|
2023-11-28 21:41:14 +03:00
|
|
|
Everything typechecks, so I'm saving the results...
|
2023-11-28 21:44:41 +03:00
|
|
|
|
2023-11-28 21:41:14 +03:00
|
|
|
Done.
|
2023-11-28 21:44:41 +03:00
|
|
|
|
|
|
|
|
```
|
