ilyakooo0/urbit
1
0
Fork 0
mirror of https://github.com/ilyakooo0/urbit.git synced 2024-12-17 03:44:34 +03:00
Code Issues Packages Projects Releases Wiki Activity

Disabled all wing traversal jerts.

Browse Source
This commit is contained in:
C. Guy Yarvin 2015-12-21 16:38:31 -08:00
parent 46f8dcfe94
commit a121ca32d2
1 changed files with 5 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
arvo/hoon.hoon
View File

@ -2235,7 +2235,7 @@
++ head |*(^ +<-) :: get head ++ head |*(^ +<-) :: get head
++ tail |*(^ +<+) :: get head ++ tail |*(^ +<+) :: get head
++ test |=(^ =(+<- +<+)) :: equality ++ test |=(^ =(+<- +<+)) :: equality
++ cork |*({a/_|=(* **) b/gate} (corl b a)) :: compose forward ++ cork |*({a/_|=(* **) b/gate} (corl b a)) :: compose forward
++ corl :: compose backwards ++ corl :: compose backwards
|* {a/gate b/_|=(* **)} |* {a/gate b/_|=(* **)}
=< +:|.((a (b))) :: type check =< +:|.((a (b))) :: type check
@ -7939,7 +7939,7 @@
[[%leaf (mesc (trip paz))] duck ~] [[%leaf (mesc (trip paz))] duck ~]
:: ::
++ find ++ find
~/ %find :: XX disable for devulc :: ~/ %find :: XX disable for devulc
|= {dep/@ud way/?($read $rite $both $free) cug/(unit term)} |= {dep/@ud way/?($read $rite $both $free) cug/(unit term)}
=+ gil=*(set type) =+ gil=*(set type)
|- ^- {p/@ud q/(unit post)} |- ^- {p/@ud q/(unit post)}
@ -8023,7 +8023,7 @@
== ==
:: ::
++ fink ++ fink
~/ %fink :: XX disable for devulc :: ~/ %fink :: XX disable for devulc
|= {dep/@ud way/?($read $rite $both $free) cug/(unit term)} |= {dep/@ud way/?($read $rite $both $free) cug/(unit term)}
^- port ^- port
:: ~_ (dunk 'type') :: ~_ (dunk 'type')
@ -8238,7 +8238,7 @@
?:(=(neg gen) sut $(gen neg)) ?:(=(neg gen) sut $(gen neg))
:: ::
++ heal ++ heal
~/ %heal :: XX disable for devulc :: ~/ %heal :: XX disable for devulc
|= {qug/(unit (unit term)) axe/axis ref/type} |= {qug/(unit (unit term)) axe/axis ref/type}
^- type ^- type
?: =(1 axe) ?: =(1 axe)
@ -8903,7 +8903,7 @@
=+([p=*type q=`type`%void] |.((fork p q))) =+([p=*type q=`type`%void] |.((fork p q)))
:: ::
++ seek ++ seek
~/ %seek :: XX disable for devulc :: ~/ %seek :: XX disable for devulc
|= {way/?($read $rite $both $free) hyp/wing} |= {way/?($read $rite $both $free) hyp/wing}
^- port ^- port
?~ hyp ?~ hyp
@ -8945,7 +8945,6 @@
(turn har |=({a/wing b/twig} [(flop a) b])) (turn har |=({a/wing b/twig} [(flop a) b]))
:: ::
++ tack ++ tack
~/ %tack :: XX disable for devulc
|= {peh/wing mur/type} |= {peh/wing mur/type}
=+ axe=1 =+ axe=1
|- ^- {p/axis q/type} |- ^- {p/axis q/type}
@ -8976,7 +8975,6 @@
== ==
:: ::
++ tock ++ tock
~/ %tock :: XX disable for devulc
|= {peh/wing mur/type men/(list {p/type q/foot})} |= {peh/wing mur/type men/(list {p/type q/foot})}
^- {p/axis q/(list {p/type q/foot})} ^- {p/axis q/(list {p/type q/foot})}
=- [(need p.wib) q.wib] =- [(need p.wib) q.wib]