unison/unison-src/transcripts/alias-term.output.md

45 lines
636 B
Markdown
Raw Permalink Normal View History

2024-06-21 22:37:56 +03:00
`alias.term` makes a new name for a term.
``` ucm
2024-06-21 22:37:56 +03:00
project/main> alias.term lib.builtins.bug foo
Done.
project/main> ls
1. foo (a -> b)
2. lib/ (643 terms, 92 types)
```
It won't create a conflicted name, though.
``` ucm
2024-06-21 22:37:56 +03:00
project/main> alias.term lib.builtins.todo foo
⚠️
A term by that name already exists.
```
``` ucm
2024-06-21 22:37:56 +03:00
project/main> ls
1. foo (a -> b)
2. lib/ (643 terms, 92 types)
```
You can use `debug.alias.term.force` for that.
2024-06-21 22:37:56 +03:00
``` ucm
project/main> debug.alias.term.force lib.builtins.todo foo
2024-06-21 22:37:56 +03:00
Done.
project/main> ls
1. foo (a -> b)
2. foo (a -> b)
3. lib/ (643 terms, 92 types)
```