Merge pull request #5983 from urbit/jb/wthx-stuff

hoon: further explore ?#, fix bugs
This commit is contained in:
Joe Bryan 2023-05-24 11:49:44 -04:00 committed by GitHub
commit f5ee42c7b0
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -8987,9 +8987,9 @@
ref ref
[%atom %$ ~] [%atom %$ ~]
[%atom *] ref [%atom *] ref
[%cell *] =+ ^$(skin skin.skin, ref p.ref) [%cell *] =/ lef ^$(skin skin.skin, ref p.ref)
?: =(%void -) %void =/ rig ^$(skin ^skin.skin, ref q.ref)
(cell - ^$(skin ^skin.skin, ref q.ref)) (fork (cell lef rig) (cell lef q.ref) (cell p.ref rig) ~)
[%core *] =+ ^$(skin skin.skin, ref p.ref) [%core *] =+ ^$(skin skin.skin, ref p.ref)
?: =(%void -) %void ?: =(%void -) %void
?. =(%noun ^skin.skin) ?. =(%noun ^skin.skin)