mirror of
https://github.com/unisonweb/unison.git
synced 2024-09-19 22:37:12 +03:00
1.7 KiB
1.7 KiB
First we make two changes to the codebase, so that there's more than one line
for the reflog
command to display:
x = 1
I found and typechecked these definitions in scratch.u. If you
do an `add` or `update`, here's how your codebase would
change:
⍟ These new definitions are ok to `add`:
x : builtin.Nat
Now evaluating any watch expressions (lines starting with
`>`)... Ctrl+C cancels.
.> add
⍟ I've added these definitions:
x : builtin.Nat
y = 2
I found and typechecked these definitions in scratch.u. If you
do an `add` or `update`, here's how your codebase would
change:
⍟ These new definitions are ok to `add`:
y : builtin.Nat
Now evaluating any watch expressions (lines starting with
`>`)... Ctrl+C cancels.
.> add
⍟ I've added these definitions:
y : builtin.Nat
.> view y
y : builtin.Nat
y = 2
.> reflog
Here is a log of the root namespace hashes, starting with the
most recent, along with the command that got us there. Try:
`fork 2 .old`
`fork #kih4ch6383 .old` to make an old namespace
accessible again,
`reset-root #kih4ch6383` to reset the root namespace and
its history to that of the
specified namespace.
1. #n23evntj7s : add
2. #kih4ch6383 : add
3. #itm5ganb1o : (initial reflogged namespace)
If we reset-root
to its previous value, y
disappears.
.> reset-root 2
Done.
.> view y
⚠️
The following names were not found in the codebase. Check your spelling.
y