mirror of
https://github.com/unisonweb/unison.git
synced 2024-09-17 13:27:30 +03:00
f0b63e782e
- Add 24 and 40 bit primitive reads. These are directly supported by Chez, and are convenient for base32hex coding. - Add size operations on builtin arrays. - Fix order of operations in implementations multi-byte array reads. They were shifting before promoting to a larger word size, which would just zero the values out.
1.6 KiB
1.6 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 #6avukg1d7b .old` to make an old namespace
accessible again,
`reset-root #6avukg1d7b` to reset the root namespace and
its history to that of the
specified namespace.
1. #k5sfmp4o7j : add
2. #6avukg1d7b : add
3. #r2v7tldu09 : builtins.merge
4. #sg60bvjo91 : (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