Merge pull request #1661 from urbit/philip/fast-clay

zuse: make of-wain:format use linear space (or "Make commits fast")
This commit is contained in:
Jared Tobin 2019-08-25 21:27:13 -02:30 committed by GitHub
commit c96ee9d7d7
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 3 additions and 11 deletions

View File

@ -1,3 +1,3 @@
version https://git-lfs.github.com/spec/v1
oid sha256:5c41d46da7d12258f46dee61f7350701600b73f08ac5076c6b070378b3fc9ece
size 15526512
oid sha256:6257ddbfaefc14fce97d214350bb28d370dbc2f0c3c38e79fe61bbc3b6bf5107
size 15382912

View File

@ -5415,15 +5415,7 @@
:: :: ++of-wain:format
++ of-wain :: line list to atom
|= tez/(list @t)
=| {our/@ i/@ud}
|- ^- @
?~ tez
our
?: =(%$ i.tez)
$(i +(i), tez t.tez, our (cat 3 our 10))
?: =(0 i)
$(i +(i), tez t.tez, our i.tez)
$(i +(i), tez t.tez, our (cat 3 (cat 3 our 10) i.tez))
(rap 3 (join '\0a' tez))
:: :: ++of-wall:format
++ of-wall :: line list to tape
|= a/wall ^- tape