ilyakooo0/urbit
1
0
Fork 0
mirror of https://github.com/ilyakooo0/urbit.git synced 2024-09-21 15:38:59 +03:00
Code Issues Packages Projects Releases Wiki Activity

Fixed trap bug. Still traditional syntax.

Browse Source
This commit is contained in:
C. Guy Yarvin 2015-12-09 17:05:01 -08:00
parent ffe4681804
commit 3f4632039e
1 changed files with 9 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
arvo/hoon.hoon
View File

@ -185,7 +185,7 @@
{$1 p+term q+toga} :: deep toga
{$2 p+toga q+toga} :: cell toga
== ::
++ trap |*(a+_+(* *) __(a)) :: makes perfect sense
++ trap |*(a+__(*) __(|?(*a))) :: makes perfect sense
++ trel |* {a+_+(* *) b+_+(* *) c+_+(* *)} :: just a triple
{p+a q+b r+c} ::
++ tuna :: tagflow
@ -6670,17 +6670,15 @@
|= {sut+type ref+*}
^- {? worm}
?: (~(has in nes) [sut ref]) [& +>+<]
=+ gat=|=({a+type b+type} (~(nest ut a) | b))
=+ gat=|=({a+type b+type} (~(nest ut a) | b))
?. (? .*(gat(+< [sut ref]) -.gat))
~& %nets-failed
=+ tag=`*`skol
=+ foo=(tank .*(tag(+< ref) -.tag))
=+ bar=(skol sut)
~& %nets-need
~> %slog.[0 bar]
~& %nets-have
~> %slog.[0 foo]
~& %nets-done
:: ~& %nets-failed
:: =+ tag=`*`skol
:: =+ foo=(tank .*(tag(+< [%cell sut ref]) -.tag))
:: =+ bar=(skol sut)
:: ~& %nets-need-have
:: ~> %slog.[0 foo]
:: ~& %nets-done
[| +>+<.$]
[& +>+<.$(nes (~(put in nes) [sut ref]))]
::