urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2025-01-07 13:37:36 +03:00
Code Issues Packages Projects Releases Wiki Activity

checkpoint of marked gall scry

Browse Source
This commit is contained in:
Philip C Monk 2016-04-28 19:37:02 -04:00
parent f75d1e7ad6
commit 383b21c951
3 changed files with 39 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
arvo/eyre.hoon
View File

@ -750,7 +750,7 @@
=+ cuf=`cuft`+>.sih =+ cuf=`cuft`+>.sih
?- -.cuf ?- -.cuf
?($coup $reap) ?($coup $reap)
~? ?=($lens r.q.tee) hen=hen^hcuf=-.cuf :: ~? ?=($lens r.q.tee) hen=hen^hcuf=-.cuf
(get-ack:(ire-ix p.tee) q.tee ?~(p.cuf ~ `[-.cuf u.p.cuf])) (get-ack:(ire-ix p.tee) q.tee ?~(p.cuf ~ `[-.cuf u.p.cuf]))
:: ::
$doff !! $doff !!
@ -1469,11 +1469,11 @@
him her him her
aut (~(put in aut) her) aut (~(put in aut) her)
..ya ..ya
~& logon+[our her ses] :: ~& logon+[our her ses]
?. =(our her) ?. =(our her)
..ya ..ya
=+ sap=(~(get by sop) ses) =+ sap=(~(get by sop) ses)
~& sap :: ~& sap+sap
?. ?=({$~ @ $|} sap) ?. ?=({$~ @ $|} sap)
..ya ..ya
(ames-gram -.u.sap aut+~ ses) (ames-gram -.u.sap aut+~ ses)

27
arvo/ford.hoon
View File

@ -14,12 +14,18 @@
$% $: $c :: to %clay $% $: $c :: to %clay
$% {$warp p/sock q/riff} :: $% {$warp p/sock q/riff} ::
== == :: == == ::
$: $g :: to %clay $: $f :: to %ford
$% {$exec p/@p q/(unit bilk)} ::
== == ::
$: $g :: to %gall
$% {$deal p/sock q/cush} :: $% {$deal p/sock q/cush} ::
== == == :: == == == ::
++ sign :: in result $<- ++ sign :: in result $<-
$% $: $c :: by %clay $% $: $c :: by %clay
$% {$writ p/riot} :: $% {$writ p/riot} ::
== == ::
$: $f :: by %ford
$% {$made p/@uvH q/gage} ::
== == :: == == ::
$: $g :: by %gall $: $g :: by %gall
$% {$unto p/cuft} :: $% {$unto p/cuft} ::
@ -205,6 +211,7 @@
+>.$ +>.$
?- -.+.sih ?- -.+.sih
$writ (~(resp zo [num u.tus]) [van ren bem] p.+.sih) $writ (~(resp zo [num u.tus]) [van ren bem] p.+.sih)
$made (~(resm zo [num u.tus]) [van ren bem] [p q]:+.sih)
$unto $unto
?+ -.p.+.sih ~|(ford-strange-unto+-.p.+.sih !!) ?+ -.p.+.sih ~|(ford-strange-unto+-.p.+.sih !!)
$diff (~(resd zo [num u.tus]) [van ren bem] p.p.+.sih) $diff (~(resd zo [num u.tus]) [van ren bem] p.p.+.sih)
@ -1773,14 +1780,28 @@
=+ (cat 3 van ren) =+ (cat 3 van ren)
exec(keg (~(put by keg) [- bem] r.u.rot)) exec(keg (~(put by keg) [- bem] r.u.rot))
:: ::
++ resd ++ resd :: take %diff
|= {{van/vane ren/care bem/beam} cag/cage} |= {{van/vane ren/care bem/beam} cag/cage}
^+ ..zo ^+ ..zo
?> ?=($g van) ?> ?=($g van)
=. mow
:_ mow
:^ hen %pass (camp-wire van ren bem)
[%f %exec our ~ bek %cast ((hard mark) -.s.bem) %$ cag]
..zo
::
++ resm :: take %made
|= {{van/vane ren/care bem/beam} dep/@uvH gag/gage} :: XX depends?
^+ ..zo
?> ?=($g van)
=. kig (~(del in kig) +<-.$) =. kig (~(del in kig) +<-.$)
=. mow :_(mow [hen (cancel van ren bem)]) =. mow :_(mow [hen (cancel van ren bem)])
?: ?=($| -.gag)
amok:(expo [%made dep %| leaf+"ford-scry-made-fail" p.gag])
?: ?=($tabl -.gag)
amok:(expo [%made dep %| leaf+"ford-scry-made-strange" ~])
=+ (cat 3 van ren) =+ (cat 3 van ren)
exec(keg (~(put by keg) [- bem] cag)) exec(keg (~(put by keg) [- bem] p.gag))
:: ::
++ syve ++ syve
^- sley ^- sley

18
arvo/gall.hoon
View File

@ -1,5 +1,4 @@
!: :: %gall, agent execution !: :: %gall, agent execution
!? 163 !? 163
:::: ::::
|= pit/vase |= pit/vase
@ -490,9 +489,9 @@
byk:(~(got by bum) dap) byk:(~(got by bum) dap)
:: ::
++ mo-peek ++ mo-peek
|= {dap/dude pry/prey ren/@tas tyl/path} |= {dap/dude pry/prey ren/@tas tyl/path mar/mark}
^- (unit (unit cage)) ^- (unit (unit cage))
(ap-peek:(ap-abed:ap dap pry) ren tyl) (ap-peek:(ap-abed:ap dap pry) ren tyl mar)
:: ::
++ mo-clip :: apply club ++ mo-clip :: apply club
|= {dap/dude pry/prey cub/club} |= {dap/dude pry/prey cub/club}
@ -636,11 +635,11 @@
(ap-sake p.zem) (ap-sake p.zem)
:: ::
++ ap-peek ++ ap-peek
|= {ren/@tas tyl/path} |= {ren/@tas tyl/path mar/mark}
^- (unit (unit cage)) ^- (unit (unit cage))
=+ cug=(ap-find %peek ren tyl) =+ cug=(ap-find %peek ren tyl)
?~ cug ?~ cug
((slog leaf+"peek find fail" >tyl< ~) [~ ~]) ((slog leaf+"peek find fail" >tyl< >mar< ~) [~ ~])
=^ arm +>.$ (ap-farm q.u.cug) =^ arm +>.$ (ap-farm q.u.cug)
?: ?=($| -.arm) ((slog leaf+"peek farm fail" p.arm) [~ ~]) ?: ?=($| -.arm) ((slog leaf+"peek farm fail" p.arm) [~ ~])
=^ zem +>.$ (ap-slam q.u.cug p.arm !>([ren (slag p.u.cug tyl)])) =^ zem +>.$ (ap-slam q.u.cug p.arm !>([ren (slag p.u.cug tyl)]))
@ -652,6 +651,8 @@
=+ caz=(spec (slot 7 p.zem)) =+ caz=(spec (slot 7 p.zem))
?. &(?=({p/@ *} q.caz) ((sane %tas) p.q.caz)) ?. &(?=({p/@ *} q.caz) ((sane %tas) p.q.caz))
((slog leaf+"scry: malformed cage" ~) [~ ~]) ((slog leaf+"scry: malformed cage" ~) [~ ~])
?. =(mar p.q.caz)
[~ ~]
``[p.q.caz (slot 3 caz)] ``[p.q.caz (slot 3 caz)]
== ==
:: ::
@ -1306,7 +1307,12 @@
~ ~
?. (~(has by bum:(~(got by pol.all) who)) syd) ?. (~(has by bum:(~(got by pol.all) who)) syd)
[~ ~] [~ ~]
(mo-peek:(mo-abed:mo who *duct) syd high+`who ren tyl) ?. ?=(^ tyl)
~
=+ =+ `path`(flop tyl)
?> ?=(^ -)
[mar=i pax=(flop t)]
(mo-peek:(mo-abed:mo who *duct) syd high+`who ren pax mar)
:: ::
++ stay :: save w+o cache ++ stay :: save w+o cache
`axle`all `axle`all