mirror of
https://github.com/unisonweb/unison.git
synced 2024-09-17 13:27:30 +03:00
81290d8eb4
Expose Haskell's implementation like the existing crypto built-ins, and add it to the test transcripts.
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 : Nat
.> add
⍟ I've added these definitions:
x : 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 : Nat
.> add
⍟ I've added these definitions:
y : Nat
.> view y
y : 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 #upgj8h6ju3 .old` to make an old namespace
accessible again,
`reset-root #upgj8h6ju3` to reset the root namespace and
its history to that of the
specified namespace.
When Root Hash Action
1. now #58jmfch7o7 add
2. now #upgj8h6ju3 add
3. now #acegso70di builtins.merge
4. #sg60bvjo91 history starts here
Tip: Use `diff.namespace 1 7` to compare namespaces between
two points in history.
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