urbit/ares
1
1
Fork 0
mirror of https://github.com/urbit/ares.git synced 2025-01-07 14:09:55 +03:00
Code Issues Packages Projects Releases Wiki Activity

wip: normalize in +con:qui, not in +put:qui

Browse Source
This commit is contained in:
Joe Bryan 2024-06-07 23:09:27 -04:00
parent f918091ec8
commit 026f27d253
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
hoon/codegen/lib/skan.hoon
View File

@ -741,6 +741,7 @@
++ put ++ put
|= [axe=@ poor=prot] |= [axe=@ poor=prot]
?< =(0 axe) ?< =(0 axe)
?: &(?=(~ prog) ?=(~ poor)) ~
=| tack=(list [c=?(%2 %3) p=prot]) =| tack=(list [c=?(%2 %3) p=prot])
|- ^- prot |- ^- prot
?. =(1 axe) ?. =(1 axe)
@ -751,8 +752,8 @@
|- ^- prot |- ^- prot
?~ tack poor ?~ tack poor
?- c.i.tack ?- c.i.tack
%2 $(poor (con(prog poor) p.i.tack), tack t.tack) %2 $(poor [~ poor p.i.tack], tack t.tack)
%3 $(poor (con(prog p.i.tack) poor), tack t.tack) %3 $(poor [~ p.i.tack poor], tack t.tack)
== ==
++ cut ++ cut
|= [sire=(set @hail) =cape] |= [sire=(set @hail) =cape]
@ -787,6 +788,7 @@
++ con ++ con
|= poor=prot |= poor=prot
^- prot ^- prot
?: &(?=(~ prog) ?=(~ poor)) ~
[~ prog poor] [~ prog poor]
:: ::
:: provenance tree of intersection :: provenance tree of intersection