2024-07-10 19:17:15 +03:00
|
|
|
``` ucm
|
2024-06-12 01:22:09 +03:00
|
|
|
scratch/main> delete foo
|
2022-12-07 22:46:32 +03:00
|
|
|
|
|
|
|
⚠️
|
|
|
|
|
2023-02-03 09:50:11 +03:00
|
|
|
The following names were not found in the codebase. Check your spelling.
|
|
|
|
foo
|
2022-12-07 22:46:32 +03:00
|
|
|
|
|
|
|
```
|
2024-07-10 17:46:18 +03:00
|
|
|
``` unison
|
2022-12-07 22:46:32 +03:00
|
|
|
foo = 1
|
|
|
|
structural type Foo = Foo ()
|
|
|
|
```
|
|
|
|
|
2024-07-10 19:17:15 +03:00
|
|
|
``` ucm
|
2024-06-12 01:22:09 +03:00
|
|
|
scratch/main> add
|
2022-12-07 22:46:32 +03:00
|
|
|
|
|
|
|
⍟ I've added these definitions:
|
|
|
|
|
|
|
|
structural type Foo
|
|
|
|
foo : ##Nat
|
|
|
|
|
2024-06-12 01:22:09 +03:00
|
|
|
scratch/main> delete foo
|
2022-12-07 22:46:32 +03:00
|
|
|
|
|
|
|
Done.
|
|
|
|
|
2024-06-12 01:22:09 +03:00
|
|
|
scratch/main> delete.type Foo
|
2022-12-07 22:46:32 +03:00
|
|
|
|
|
|
|
Done.
|
|
|
|
|
2024-06-12 01:22:09 +03:00
|
|
|
scratch/main> delete.term Foo.Foo
|
2022-12-07 22:46:32 +03:00
|
|
|
|
|
|
|
Done.
|
|
|
|
|
|
|
|
```
|