mirror of
https://github.com/ilyakooo0/urbit.git
synced 2025-01-05 13:55:54 +03:00
Initial commit of new subtree.
This commit is contained in:
C. Guy Yarvin
parent
cb1d650580
commit
98e4822ceb
@ -75,7 +75,7 @@
|
||||
++ main-moves
|
||||
^- (list ovum)
|
||||
:~ [[%$ ~] [%what boot-files]]
|
||||
[[%$ ~] [%whom ~zod]]
|
||||
:: [[%$ ~] [%whom ~zod]]
|
||||
==
|
||||
++ boot-files
|
||||
^- (list (pair path (pair term noun)))
|
||||
@ -90,8 +90,9 @@
|
||||
:: /ren %ford renderers
|
||||
:: /web %eyre web content
|
||||
:: /sys system files
|
||||
:: /neo new system files
|
||||
::
|
||||
(user-files /sys ~)
|
||||
(user-files /neo ~)
|
||||
::
|
||||
++ user-files :: userspace loading
|
||||
|= :: sal: all spurs to load from
|
||||
@ -121,7 +122,7 @@
|
||||
:: install only hoon files for now
|
||||
::
|
||||
?. ?=({$hoon *} tyl) hav
|
||||
:_(hav [(flop `path`tyl) [%hoon .^(@t %cx pax)]])
|
||||
:_(hav [(flop `path`t.tyl) [%hoon .^(@t %cx pax)]])
|
||||
::
|
||||
=/ all (~(tap by dir.lon) ~)
|
||||
|- ^+ hav
|
||||
|
||||
10847
neo/hoon.hoon
Normal file
10847
neo/hoon.hoon
Normal file
File diff suppressed because it is too large
Load Diff
2229
neo/van/ames.hoon
Normal file
2229
neo/van/ames.hoon
Normal file
File diff suppressed because it is too large
Load Diff
225
neo/van/behn.hoon
Normal file
225
neo/van/behn.hoon
Normal file
@ -0,0 +1,225 @@
|
||||
!: :: %behn, just a timer
|
||||
!? 164
|
||||
::::
|
||||
=, behn
|
||||
|= pit/vase
|
||||
=> =~
|
||||
|%
|
||||
++ sqeu |* {a/_* b/_*} :: binary skew queno
|
||||
$: r/@u :: rank+depth
|
||||
k/a :: priority
|
||||
n/b :: value
|
||||
c/(broq a b) :: children
|
||||
== ::
|
||||
++ broq |* {a/_* b/_*} :: brodal skew qeu
|
||||
(list (sqeu a b)) ::
|
||||
++ move {p/duct q/(wind note gift:able)} :: local move
|
||||
++ note $~ :: out request $->
|
||||
++ sign $~ :: in result $<-
|
||||
++ clok (broq @da duct) :: stored timers
|
||||
--
|
||||
::
|
||||
|%
|
||||
++ raze
|
||||
|= tym/{p/clok q/clok}
|
||||
^+ tym
|
||||
?~ p.tym tym
|
||||
?~ q.tym tym
|
||||
?: (gth p:~(get up p.tym) p:~(get up q.tym)) :: killed nonexisting
|
||||
~& [%snooze-lost del=p:~(get up q.tym) top=p:~(get up p.tym)]
|
||||
$(q.tym ~(pop up q.tym))
|
||||
?: =(~(get up p.tym) ~(get up q.tym))
|
||||
$(tym [~(pop up p.tym) ~(pop up q.tym)])
|
||||
tym
|
||||
::
|
||||
++ up :: priority queue
|
||||
=+ [key=@da val=duct]
|
||||
=+ cmp=lte :: lte=min, gte=max
|
||||
=> |%
|
||||
++ link
|
||||
|= {p/(sqeu key val) q/(sqeu key val)} :: link eq rank
|
||||
^- (sqeu key val)
|
||||
?> =(r.p r.q)
|
||||
?: (cmp k.p k.q)
|
||||
[r=+(r.p) k=k.p n=n.p c=[i=q t=c.p]]
|
||||
[r=+(r.q) k=k.q n=n.q c=[i=p t=c.q]]
|
||||
::
|
||||
++ sink :: skew link
|
||||
|= {p/(sqeu key val) q/(sqeu key val) r/(sqeu key val)}
|
||||
^- (sqeu key val)
|
||||
?: &((cmp k.q k.p) (cmp k.q k.r))
|
||||
[r=+(r.q) k=k.q n=n.q c=[i=p t=[i=r t=c.q]]]
|
||||
?: &((cmp k.r k.p) (cmp k.r k.q))
|
||||
[r=+(r.r) k=k.r n=n.r c=[i=p t=[i=q t=c.r]]]
|
||||
[r=+(r.q) k=k.p n=n.p c=[i=q t=[i=r t=~]]]
|
||||
::
|
||||
++ sert :: internal ins op
|
||||
|= {p/(sqeu key val) q/(broq key val)}
|
||||
^- (broq key val)
|
||||
?~ q [p ~]
|
||||
?> (lte r.p r.i.q)
|
||||
?: (lth r.p r.i.q)
|
||||
[i=p t=q]
|
||||
$(p (link p i.q), q t.q)
|
||||
::
|
||||
++ uniq :: remove init dup
|
||||
|= q/(broq key val)
|
||||
?~ q ~
|
||||
(sert i.q t.q)
|
||||
::
|
||||
++ meek :: unique meld
|
||||
|= {p/(broq key val) q/(broq key val)}
|
||||
^- (broq key val)
|
||||
?~ p q
|
||||
?~ q p
|
||||
?: (lth r.i.p r.i.q)
|
||||
[i.p $(p t.p)]
|
||||
?: (lth r.i.q r.i.p)
|
||||
[i.q $(q t.q)]
|
||||
(sert (link i.p i.q) $(p t.p, q t.q))
|
||||
::
|
||||
++ mini :: getmin
|
||||
|= q/(broq key val)
|
||||
^- p/{(sqeu key val) (broq key val)}
|
||||
?~ q ~|(%fatal-mini-empty !!)
|
||||
?~ t.q [i=i.q t=~]
|
||||
=+ [l r]=$(q t.q)
|
||||
?: (cmp k.i.q k.l)
|
||||
[i.q t.q]
|
||||
[l [i.q r]]
|
||||
::
|
||||
++ spit :: split
|
||||
|= {p/(broq key val) q/(list {k/key n/val}) r/(broq key val)}
|
||||
^- {t/(broq key val) x/(list {k/key n/val})}
|
||||
?~ r
|
||||
[t=p x=q]
|
||||
?: =(0 r.i.r)
|
||||
$(q [[k=k.i.r n=n.i.r] q], r t.r)
|
||||
$(p [i.r p], r t.r)
|
||||
--
|
||||
|_ a/(broq key val) :: public interface
|
||||
++ put :: insert element
|
||||
|= {k/key n/val}
|
||||
^+ a
|
||||
?~ a [i=[r=0 k=k n=n c=~] t=~]
|
||||
?~ t.a [i=[r=0 k=k n=n c=~] t=a]
|
||||
?: =(r.i.a r.i.t.a)
|
||||
[i=(sink [r=0 k=k n=n c=~] i.a i.t.a) t=t.t.a]
|
||||
[i=[r=0 k=k n=n c=~] t=a]
|
||||
::
|
||||
++ pop :: remove top
|
||||
^+ a
|
||||
=+ ?~ a ~|(%empty-broq-pop !!)
|
||||
[l r]=(mini a)
|
||||
=+ [t x]=(spit ~ ~ c.l)
|
||||
=. a r
|
||||
=. a (uni t)
|
||||
(gas x)
|
||||
::
|
||||
++ gas
|
||||
|= b/(list {k/key n/val})
|
||||
^+ a
|
||||
(roll b |=({{k/key n/val} q/_a} (put(a q) k n)))
|
||||
::
|
||||
++ tap
|
||||
^- (list {k/key n/val})
|
||||
?~ a ~
|
||||
[get tap(a pop)]
|
||||
::
|
||||
++ get :: retrieve top
|
||||
^- {p/key q/val}
|
||||
?~ a ~|(%empty-broq-peek !!)
|
||||
?~ t.a [k n]:i.a
|
||||
=+ m=get(a t.a)
|
||||
?.((cmp k.i.a p.m) m [k n]:i.a)
|
||||
::
|
||||
++ uni :: merge
|
||||
|= q/(broq key val)
|
||||
^+ a
|
||||
(meek (uniq a) (uniq q))
|
||||
--
|
||||
--
|
||||
. ==
|
||||
=| $: $0 ::
|
||||
tym/{p/clok q/clok} :: positive+negative
|
||||
== ::
|
||||
|= {now/@da eny/@ ski/sley} :: current invocation
|
||||
^?
|
||||
|% :: poke+peek pattern
|
||||
++ call :: handle request
|
||||
|= $: hen/duct
|
||||
hic/(hypo (hobo task:able))
|
||||
==
|
||||
^- {p/(list move) q/_..^$}
|
||||
=> %= . :: XX temporary
|
||||
q.hic
|
||||
^- task:able
|
||||
?: ?=($soft -.q.hic)
|
||||
:: ~& [%behn-call-soft (,@tas `*`-.p.q.hic)]
|
||||
((hard task:able) p.q.hic)
|
||||
?: (~(nest ut -:!>(*task:able)) | p.hic) q.hic
|
||||
~& [%behn-call-flub (@tas `*`-.q.hic)]
|
||||
((hard task:able) q.hic)
|
||||
==
|
||||
=^ mof tym
|
||||
?- -.q.hic
|
||||
$rest
|
||||
=. q.tym (~(put up q.tym) p.q.hic hen)
|
||||
=. tym (raze tym)
|
||||
[~ tym]
|
||||
::
|
||||
$wait
|
||||
=. p.tym (~(put up p.tym) p.q.hic hen)
|
||||
=. tym (raze tym)
|
||||
[~ tym]
|
||||
::
|
||||
$wake
|
||||
|- ^+ [*(list move) tym]
|
||||
=. tym (raze tym)
|
||||
?: =([~ ~] tym) [~ tym] :: XX TMI
|
||||
?: =(~ p.tym)
|
||||
~& %weird-wake [~ tym]
|
||||
=+ nex=~(get up p.tym)
|
||||
?: (lte now p.nex) [~ tym]
|
||||
=^ mof tym $(p.tym ~(pop up p.tym))
|
||||
[[`move`[q.nex %give %wake ~] mof] tym]
|
||||
::
|
||||
$wegh
|
||||
:_ tym :_ ~
|
||||
:^ hen %give %mass
|
||||
:- %behn
|
||||
:- %|
|
||||
:~ tym+[%& tym]
|
||||
==
|
||||
==
|
||||
[mof ..^$]
|
||||
::
|
||||
++ doze
|
||||
|= {now/@da hen/duct}
|
||||
^- (unit @da)
|
||||
?~ p.tym ~
|
||||
(some p:[~(get up p.tym)])
|
||||
::
|
||||
++ load
|
||||
|= old/{$0 tym/{clok clok}}
|
||||
^+ ..^$
|
||||
..^$(tym tym.old)
|
||||
::
|
||||
++ scry
|
||||
|= {fur/(unit (set monk)) ren/@tas why/shop syd/desk lot/coin tyl/path}
|
||||
^- (unit (unit cage))
|
||||
?. ?=($& -.why) ~
|
||||
=* who p.why
|
||||
=+ ^= liz
|
||||
|- ^- (list {@da duct})
|
||||
=. tym (raze tym)
|
||||
?~ p.tym ~
|
||||
[~(get up p.tym) $(p.tym ~(pop up p.tym))]
|
||||
[~ ~ %tank !>(>liz<)]
|
||||
::
|
||||
++ stay [%0 tym]
|
||||
++ take :: process move
|
||||
|= {tea/wire hen/duct hin/(hypo sign)}
|
||||
^+ [p=*(list move) q=..^$]
|
||||
!!
|
||||
--
|
||||
3726
neo/van/clay.hoon
Normal file
3726
neo/van/clay.hoon
Normal file
File diff suppressed because it is too large
Load Diff
537
neo/van/dill.hoon
Normal file
537
neo/van/dill.hoon
Normal file
@ -0,0 +1,537 @@
|
||||
!:
|
||||
:: dill (4d), terminal handling
|
||||
::
|
||||
|= pit/vase
|
||||
=, dill
|
||||
=> |% :: interface tiles
|
||||
++ gill (pair ship term) :: general contact
|
||||
-- ::
|
||||
=> |% :: console protocol
|
||||
++ all-axle ?(old-axle axle) ::
|
||||
++ old-axle :: all dill state
|
||||
$: $2 ::
|
||||
ore/(unit ship) :: identity once set
|
||||
hey/(unit duct) :: default duct
|
||||
dug/(map duct axon) :: conversations
|
||||
== ::
|
||||
++ axle ::
|
||||
$: $3 ::
|
||||
ore/(unit ship) :: identity once set
|
||||
hey/(unit duct) :: default duct
|
||||
dug/(map duct axon) :: conversations
|
||||
$= hef :: other weights
|
||||
$: a/(unit mass) ::
|
||||
b/(unit mass) ::
|
||||
c/(unit mass) ::
|
||||
e/(unit mass) ::
|
||||
f/(unit mass) ::
|
||||
g/(unit mass) ::
|
||||
== ::
|
||||
== ::
|
||||
++ axon :: dill per duct
|
||||
$: ram/term :: console program
|
||||
tem/(unit (list dill-belt)) :: pending, reverse
|
||||
wid/_80 :: terminal width
|
||||
pos/@ud :: cursor position
|
||||
see/(list @c) :: current line
|
||||
== ::
|
||||
-- => ::
|
||||
|% :: protocol outward
|
||||
++ mess ::
|
||||
$% {$dill-belt p/(hypo dill-belt)} ::
|
||||
== ::
|
||||
++ move {p/duct q/(wind note gift:able)} :: local move
|
||||
++ note-ames :: weird ames move
|
||||
$% {$make p/(unit @t) q/@ud r/@ s/?} ::
|
||||
{$sith p/@p q/@uw r/?} ::
|
||||
== ::
|
||||
++ note-clay ::
|
||||
$% {$merg p/@p q/@tas r/@p s/@tas t/case u/germ:clay}:: merge desks
|
||||
{$warp p/sock q/riff:clay} :: wait for clay hack
|
||||
== ::
|
||||
++ note-dill :: note to self, odd
|
||||
$% {$crud p/@tas q/(list tank)} ::
|
||||
{$heft $~} ::
|
||||
{$init p/ship} ::
|
||||
{$text p/tape} ::
|
||||
{$veer p/@ta q/path r/@t} :: install vane
|
||||
{$vega p/path} :: reboot by path
|
||||
{$velo p/@t q/@t} :: reboot by path
|
||||
{$verb $~} :: verbose mode
|
||||
== ::
|
||||
++ note-gall ::
|
||||
$% {$conf dock $load ship desk} ::
|
||||
{$deal p/sock q/cush:gall} ::
|
||||
== ::
|
||||
++ note :: out request $->
|
||||
$? {?($a $b $c $e $f $g) $wegh $~} ::
|
||||
$% {$a note-ames} ::
|
||||
{$c note-clay} ::
|
||||
{$d note-dill} ::
|
||||
{$g note-gall} ::
|
||||
== == ::
|
||||
++ sign-ames ::
|
||||
$% {$nice $~} ::
|
||||
{$init p/ship} ::
|
||||
== ::
|
||||
++ sign-clay ::
|
||||
$% {$mere p/(each (set path) (pair term tang))} ::
|
||||
{$note p/@tD q/tank} ::
|
||||
{$writ p/riot:clay} ::
|
||||
== ::
|
||||
++ sign-dill ::
|
||||
$% {$blit p/(list blit)} ::
|
||||
== ::
|
||||
++ sign-gall ::
|
||||
$% {$onto p/(each suss:gall tang)} ::
|
||||
{$unto p/cuft:gall} ::
|
||||
== ::
|
||||
++ sign :: in result $<-
|
||||
$? {?($a $b $c $e $f $g) $mass p/mass} ::
|
||||
$% {$a sign-ames} ::
|
||||
{$c sign-clay} ::
|
||||
{$d sign-dill} ::
|
||||
{$g sign-gall} ::
|
||||
== == ::
|
||||
:::::::: :: dill tiles
|
||||
--
|
||||
=| all/axle
|
||||
|= {now/@da eny/@ ski/sley} :: current invocation
|
||||
=> |%
|
||||
++ as :: per cause
|
||||
|_ $: {moz/(list move) hen/duct our/ship}
|
||||
axon
|
||||
==
|
||||
++ abet :: resolve
|
||||
^- {(list move) axle}
|
||||
[(flop moz) all(dug (~(put by dug.all) hen +<+))]
|
||||
::
|
||||
++ call :: receive input
|
||||
|= kyz/task:able
|
||||
^+ +>
|
||||
?+ -.kyz ~& [%strange-kiss -.kyz] +>
|
||||
$flow +>
|
||||
$harm +>
|
||||
$hail (send %hey ~)
|
||||
$belt (send `dill-belt`p.kyz)
|
||||
$text (from %out (tuba p.kyz))
|
||||
$crud :: (send `dill-belt`[%cru p.kyz q.kyz])
|
||||
(crud p.kyz q.kyz)
|
||||
$blew (send %rez p.p.kyz q.p.kyz)
|
||||
$heft heft
|
||||
$tick =+ ^= ges ^- gens:ames
|
||||
:- %en
|
||||
=+ can=(clan:title p.kyz)
|
||||
?- can
|
||||
$czar [%czar ~]
|
||||
$duke [%duke %anon ~]
|
||||
$earl [%earl (scot %p p.kyz)]
|
||||
$king [%king (scot %p p.kyz)]
|
||||
$pawn [%pawn ~]
|
||||
==
|
||||
=+ yen=(scot %p (shax :(mix %ticket eny now)))
|
||||
=+ ^= beg ^- {his/@p tic/@p yen/@t ges/gens:ames}
|
||||
[p.kyz q.kyz yen ges]
|
||||
=+ cmd=[%hood %poke `cage`[%helm-begin !>(beg)]]
|
||||
%= +>.$
|
||||
moz
|
||||
:_(moz [hen %pass ~ %g %deal [our our] cmd])
|
||||
==
|
||||
$veer (dump kyz)
|
||||
$vega (dump kyz)
|
||||
$velo (dump kyz)
|
||||
$verb (dump kyz)
|
||||
==
|
||||
::
|
||||
++ crud
|
||||
|= {err/@tas tac/(list tank)}
|
||||
=+ ^= wol ^- wall
|
||||
:- (trip err)
|
||||
(zing (turn (flop tac) |=(a/tank (~(win re a) [0 wid]))))
|
||||
|- ^+ +>.^$
|
||||
?~ wol +>.^$
|
||||
$(wol t.wol, +>.^$ (from %out (tuba i.wol)))
|
||||
::
|
||||
++ dump :: pass down to hey
|
||||
|= git/gift:able
|
||||
?> ?=(^ hey.all)
|
||||
+>(moz [[u.hey.all %give git] moz])
|
||||
::
|
||||
++ done :: return gift
|
||||
|= git/gift:able
|
||||
+>(moz :_(moz [hen %give git]))
|
||||
::
|
||||
++ from :: receive belt
|
||||
|= bit/dill-blit
|
||||
^+ +>
|
||||
?: ?=($mor -.bit)
|
||||
|- ^+ +>.^$
|
||||
?~ p.bit +>.^$
|
||||
$(p.bit t.p.bit, +>.^$ ^$(bit i.p.bit))
|
||||
?: ?=($out -.bit)
|
||||
%+ done %blit
|
||||
:~ [%lin p.bit]
|
||||
[%mor ~]
|
||||
[%lin see]
|
||||
[%hop pos]
|
||||
==
|
||||
?: ?=($klr -.bit)
|
||||
%+ done %blit
|
||||
:~ [%lin (cvrt:ansi p.bit)]
|
||||
[%mor ~]
|
||||
[%lin see]
|
||||
[%hop pos]
|
||||
==
|
||||
?: ?=($pro -.bit)
|
||||
(done(see p.bit) %blit [[%lin p.bit] [%hop pos] ~])
|
||||
?: ?=($pom -.bit)
|
||||
=. see (cvrt:ansi p.bit)
|
||||
(done %blit [[%lin see] [%hop pos] ~])
|
||||
?: ?=($hop -.bit)
|
||||
(done(pos p.bit) %blit [bit ~])
|
||||
?: ?=($qit -.bit)
|
||||
(dump %logo ~)
|
||||
(done %blit [bit ~])
|
||||
::
|
||||
++ ansi
|
||||
|%
|
||||
++ cvrt :: stub to (list @c)
|
||||
|= a/stub :: with ANSI codes
|
||||
^- (list @c)
|
||||
%- zing %+ turn a
|
||||
|= a/(pair stye (list @c))
|
||||
^- (list @c)
|
||||
;: weld
|
||||
?: =(0 ~(wyt in p.p.a)) ~
|
||||
`(list @c)`(zing (turn (~(tap in p.p.a)) ef))
|
||||
(bg p.q.p.a)
|
||||
(fg q.q.p.a)
|
||||
q.a
|
||||
?~(p.p.a ~ (ef ~))
|
||||
(bg ~)
|
||||
(fg ~)
|
||||
==
|
||||
::
|
||||
++ ef |=(a/^deco (scap (deco a))) :: ANSI effect
|
||||
::
|
||||
++ fg |=(a/^tint (scap (tint a))) :: ANSI foreground
|
||||
::
|
||||
++ bg :: ANSI background
|
||||
|= a/^tint
|
||||
%- scap
|
||||
=>((tint a) [+(p) q]) :: (add 10 fg)
|
||||
::
|
||||
++ scap :: ANSI escape seq
|
||||
|= a/$^((pair @ @) @)
|
||||
%- (list @c)
|
||||
:+ 27 '[' :: "\033[{a}m"
|
||||
?@(a :~(a 'm') :~(p.a q.a 'm'))
|
||||
::
|
||||
++ deco :: ANSI effects
|
||||
|= a/^deco ^- @
|
||||
?- a
|
||||
$~ '0'
|
||||
$br '1'
|
||||
$un '4'
|
||||
$bl '5'
|
||||
==
|
||||
::
|
||||
++ tint :: ANSI colors (fg)
|
||||
|= a/^tint
|
||||
^- (pair @ @)
|
||||
:- '3'
|
||||
?- a
|
||||
$k '0'
|
||||
$r '1'
|
||||
$g '2'
|
||||
$y '3'
|
||||
$b '4'
|
||||
$m '5'
|
||||
$c '6'
|
||||
$w '7'
|
||||
$~ '9'
|
||||
==
|
||||
--
|
||||
::
|
||||
++ heft
|
||||
%_ .
|
||||
moz
|
||||
:* [hen %pass /heft/ames %a %wegh ~]
|
||||
[hen %pass /heft/behn %b %wegh ~]
|
||||
[hen %pass /heft/clay %c %wegh ~]
|
||||
[hen %pass /heft/eyre %e %wegh ~]
|
||||
[hen %pass /heft/ford %f %wegh ~]
|
||||
[hen %pass /heft/gall %g %wegh ~]
|
||||
moz
|
||||
==
|
||||
==
|
||||
::
|
||||
++ init :: initialize
|
||||
~& [%dill-init our ram]
|
||||
=+ myt=(flop (need tem))
|
||||
=+ can=(clan:title our)
|
||||
=. tem ~
|
||||
=. moz :_(moz [hen %pass / %c %merg our %home our %base da+now %init])
|
||||
=. moz :_(moz [hen %pass ~ %g %conf [[our ram] %load our %home]])
|
||||
=. +> ?: ?=(?($czar $pawn) can) +>
|
||||
(sync %base (sein:title our) %kids)
|
||||
=. +> ?: ?=(?($czar $pawn) can)
|
||||
(sync %home our %base)
|
||||
(init-sync %home our %base)
|
||||
=. +> ?. ?=(?($duke $king $czar) can) +>
|
||||
(sync %kids our %base)
|
||||
=. +> autoload
|
||||
=. +> peer
|
||||
|- ^+ +>+
|
||||
?~ myt +>+
|
||||
$(myt t.myt, +>+ (send i.myt))
|
||||
::
|
||||
++ into :: preinitialize
|
||||
|= gyl/(list gill)
|
||||
%_ +>
|
||||
tem `(turn gyl |=(a/gill [%yow a]))
|
||||
moz
|
||||
:_ moz
|
||||
:* hen
|
||||
%pass
|
||||
/
|
||||
%c
|
||||
[%warp [our our] %base `[%sing %y [%ud 1] /]]
|
||||
==
|
||||
==
|
||||
::
|
||||
++ send :: send action
|
||||
|= bet/dill-belt
|
||||
?^ tem
|
||||
+>(tem `[bet u.tem])
|
||||
%_ +>
|
||||
moz
|
||||
:_ moz
|
||||
[hen %pass ~ %g %deal [our our] ram %poke [%dill-belt -:!>(bet) bet]]
|
||||
==
|
||||
++ peer
|
||||
%_ .
|
||||
moz
|
||||
:_(moz [hen %pass ~ %g %deal [our our] ram %peer /drum])
|
||||
==
|
||||
::
|
||||
++ sync
|
||||
|= syn/{desk ship desk}
|
||||
%_ +>.$
|
||||
moz
|
||||
:_ moz
|
||||
:* hen %pass /sync %g %deal [our our]
|
||||
ram %poke %hood-sync -:!>(syn) syn
|
||||
==
|
||||
==
|
||||
::
|
||||
++ init-sync
|
||||
|= syn/{desk ship desk}
|
||||
%_ +>.$
|
||||
moz
|
||||
:_ moz
|
||||
:* hen %pass /init-sync %g %deal [our our]
|
||||
ram %poke %hood-init-sync -:!>(syn) syn
|
||||
==
|
||||
==
|
||||
::
|
||||
++ autoload
|
||||
%_ .
|
||||
moz
|
||||
:_ moz
|
||||
:* hen %pass /autoload %g %deal [our our]
|
||||
ram %poke %kiln-start-autoload [%atom %n `~] ~
|
||||
==
|
||||
==
|
||||
::
|
||||
++ pump :: send diff ack
|
||||
%_ .
|
||||
moz
|
||||
:_(moz [hen %pass ~ %g %deal [our our] ram %pump ~])
|
||||
==
|
||||
::
|
||||
++ take :: receive
|
||||
|= sih/sign
|
||||
^+ +>
|
||||
?- sih
|
||||
{?($a $b $c $e $f $g) $mass *}
|
||||
(wegt -.sih p.sih)
|
||||
::
|
||||
{$a $nice *}
|
||||
:: ~& [%take-nice-ames sih]
|
||||
+>
|
||||
::
|
||||
{$a $init *}
|
||||
+>(moz :_(moz [hen %give +.sih]))
|
||||
::
|
||||
{$c $mere *}
|
||||
?: ?=($& -.p.sih)
|
||||
+>.$
|
||||
(mean >%dill-mere-fail< >p.p.p.sih< q.p.p.sih)
|
||||
::
|
||||
{$g $onto *}
|
||||
:: ~& [%take-gall-onto +>.sih]
|
||||
?- -.+>.sih
|
||||
$| (crud %onto p.p.+>.sih)
|
||||
$& (done %blit [%lin (tuba "{<p.p.sih>}")]~)
|
||||
==
|
||||
::
|
||||
{$g $unto *}
|
||||
:: ~& [%take-gall-unto +>.sih]
|
||||
?- -.+>.sih
|
||||
$coup ?~(p.p.+>.sih +>.$ (crud %coup u.p.p.+>.sih))
|
||||
$quit peer
|
||||
$reap ?~ p.p.+>.sih
|
||||
+>.$
|
||||
(dump:(crud %reap u.p.p.+>.sih) %logo ~)
|
||||
$diff pump:(from ((hard dill-blit) q:`vase`+>+>.sih))
|
||||
$doff !!
|
||||
==
|
||||
::
|
||||
{$c $note *}
|
||||
(from %out (tuba p.sih ' ' ~(ram re q.sih)))
|
||||
::
|
||||
{$c $writ *}
|
||||
init
|
||||
::
|
||||
{$d $blit *}
|
||||
(done +.sih)
|
||||
==
|
||||
::
|
||||
++ wegh
|
||||
^- mass
|
||||
:- %dill
|
||||
:- %|
|
||||
:~ all+[%& [ore hey dug]:all]
|
||||
==
|
||||
::
|
||||
++ wegt
|
||||
|= {lal/?($a $b $c $e $f $g) mas/mass}
|
||||
^+ +>
|
||||
=. hef.all
|
||||
?- lal
|
||||
$a ~?(?=(^ a.hef.all) %double-mass-a hef.all(a `mas))
|
||||
$b ~?(?=(^ b.hef.all) %double-mass-b hef.all(b `mas))
|
||||
$c ~?(?=(^ c.hef.all) %double-mass-c hef.all(c `mas))
|
||||
$e ~?(?=(^ e.hef.all) %double-mass-e hef.all(e `mas))
|
||||
$f ~?(?=(^ f.hef.all) %double-mass-f hef.all(f `mas))
|
||||
$g ~?(?=(^ g.hef.all) %double-mass-g hef.all(g `mas))
|
||||
==
|
||||
?. ?& ?=(^ a.hef.all)
|
||||
?=(^ b.hef.all)
|
||||
?=(^ c.hef.all)
|
||||
?=(^ e.hef.all)
|
||||
?=(^ f.hef.all)
|
||||
?=(^ g.hef.all)
|
||||
==
|
||||
+>.$
|
||||
%+ done(hef.all [~ ~ ~ ~ ~ ~])
|
||||
%mass
|
||||
=> [hef.all d=wegh]
|
||||
[%vanes %| ~[u.a u.c d u.e u.f u.g u.b]]
|
||||
--
|
||||
::
|
||||
++ ax :: make ++as
|
||||
|= {hen/duct kyz/task:able} ::
|
||||
?~ ore.all ~
|
||||
=+ nux=(~(get by dug.all) hen)
|
||||
?^ nux
|
||||
(some ~(. as [~ hen u.ore.all] u.nux))
|
||||
?. ?=($flow -.kyz) ~
|
||||
%- some
|
||||
%. q.kyz
|
||||
%~ into as
|
||||
:- [~ hen u.ore.all]
|
||||
:* p.kyz
|
||||
[~ ~]
|
||||
80
|
||||
0
|
||||
(tuba "<awaiting {(trip p.kyz)}, this may take a few minutes>")
|
||||
== ==
|
||||
--
|
||||
|% :: poke+peek pattern
|
||||
++ call :: handle request
|
||||
|= $: hen/duct
|
||||
hic/(hypo (hobo task:able))
|
||||
==
|
||||
^+ [p=*(list move) q=..^$]
|
||||
=> %= . :: XX temporary
|
||||
q.hic
|
||||
^- task:able
|
||||
?: ?=($soft -.q.hic)
|
||||
:: ~& [%dill-call-soft (@tas `*`-.p.q.hic)]
|
||||
((hard task:able) p.q.hic)
|
||||
?: (~(nest ut -:!>(*task:able)) | p.hic) q.hic
|
||||
~& [%dill-call-flub (@tas `*`-.q.hic)]
|
||||
((hard task:able) q.hic)
|
||||
==
|
||||
?: ?=($boot -.q.hic)
|
||||
:_(..^$ [hen %pass ~ (note %a p.q.hic)]~)
|
||||
?: ?=($flog -.q.hic)
|
||||
:: ~& [%dill-flog +.q.hic]
|
||||
?: ?=({$crud $hax-init {$leaf *} $~} p.q.hic)
|
||||
=+ him=(slav %p (crip p.i.q.p.q.hic))
|
||||
:_(..^$ ?~(hey.all ~ [u.hey.all %give %init him]~))
|
||||
?: ?=({$crud $hax-heft $~} p.q.hic)
|
||||
:_(..^$ ?~(hey.all ~ [u.hey.all %slip %d %heft ~]~))
|
||||
:_(..^$ ?~(hey.all ~ [u.hey.all %slip %d p.q.hic]~))
|
||||
=. hey.all ?^(hey.all hey.all `hen)
|
||||
?: ?=($init -.q.hic)
|
||||
:: ~& [%call-init hen]
|
||||
?: =(ore.all `p.q.hic)
|
||||
[[hen %give q.hic]~ ..^$]
|
||||
=: ore.all `p.q.hic
|
||||
dug.all ~
|
||||
==
|
||||
=^ moz all abet:(need (ax (need hey.all) [%flow %hood ~]))
|
||||
?: |((lth p.q.hic 256) (gte p.q.hic (bex 64))) [moz ..^$] :: XX HORRIBLE
|
||||
[:_(moz [(need hey.all) %give %init p.q.hic]) ..^$]
|
||||
=+ nus=(ax hen q.hic)
|
||||
?~ nus
|
||||
~& [%dill-no-flow q.hic]
|
||||
[~ ..^$]
|
||||
=^ moz all abet:(call:u.nus q.hic)
|
||||
[moz ..^$]
|
||||
::
|
||||
++ doze
|
||||
|= {now/@da hen/duct}
|
||||
^- (unit @da)
|
||||
~
|
||||
::
|
||||
++ load :: trivial
|
||||
|= old/all-axle
|
||||
?: ?=($2 -.old)
|
||||
$(old [%3 ore hey dug ~ ~ ~ ~ ~ ~]:old)
|
||||
..^$(all old)
|
||||
:: |= old=* :: diable
|
||||
:: ..^$(ore.all `~zod)
|
||||
::
|
||||
++ scry
|
||||
|= {fur/(unit (set monk)) ren/@tas why/shop syd/desk lot/coin tyl/path}
|
||||
^- (unit (unit cage))
|
||||
?. ?=($& -.why) ~
|
||||
=* his p.why
|
||||
[~ ~]
|
||||
::
|
||||
++ stay all
|
||||
::
|
||||
++ take :: process move
|
||||
|= {tea/wire hen/duct hin/(hypo sign)}
|
||||
^+ [p=*(list move) q=..^$]
|
||||
?: =(~ ore.all)
|
||||
?: ?=({$a $init *} q.hin)
|
||||
:: ~& [%take-init hen]
|
||||
=. hey.all ?^(hey.all hey.all `hen)
|
||||
[[[hen %give +.q.hin] ~] ..^$]
|
||||
:: [~ ..^$]
|
||||
~& [%take-back q.hin]
|
||||
[~ ..^$]
|
||||
?. (~(has by dug.all) hen)
|
||||
~& [%take-weird-sign q.hin]
|
||||
~& [%take-weird-hen hen]
|
||||
[~ ..^$]
|
||||
=+ our=?>(?=(^ ore.all) u.ore.all)
|
||||
=^ moz all
|
||||
abet:(~(take as [~ hen our] (~(got by dug.all) hen)) q.hin)
|
||||
[moz ..^$]
|
||||
--
|
||||
2187
neo/van/eyre.hoon
Normal file
2187
neo/van/eyre.hoon
Normal file
File diff suppressed because it is too large
Load Diff
1988
neo/van/ford.hoon
Normal file
1988
neo/van/ford.hoon
Normal file
File diff suppressed because it is too large
Load Diff
1323
neo/van/gall.hoon
Normal file
1323
neo/van/gall.hoon
Normal file
File diff suppressed because it is too large
Load Diff
2154
neo/van/jael.hoon
Normal file
2154
neo/van/jael.hoon
Normal file
File diff suppressed because it is too large
Load Diff
1246
neo/van/xmas.hoon
Normal file
1246
neo/van/xmas.hoon
Normal file
File diff suppressed because it is too large
Load Diff
1095
neo/york.hoon
Normal file
1095
neo/york.hoon
Normal file
File diff suppressed because it is too large
Load Diff
3510
neo/zuse.hoon
Normal file
3510
neo/zuse.hoon
Normal file
File diff suppressed because it is too large
Load Diff
@ -716,11 +716,11 @@
|
||||
=/ dev
|
||||
=| $= dev
|
||||
$: :: use: non-system files
|
||||
:: new: system installs
|
||||
:: new: new set
|
||||
:: del: installs + replacements
|
||||
::
|
||||
use/(map path plum)
|
||||
new/(map path plum)
|
||||
new/(set path)
|
||||
del/(map path plum)
|
||||
==
|
||||
|- ^+ dev
|
||||
@ -742,11 +742,11 @@
|
||||
::
|
||||
:: classify as user, system install or replacement
|
||||
::
|
||||
?. ?=({$sys *} pax)
|
||||
?. ?=({$neo *} pax)
|
||||
$(use.dev (~(put by use.dev) pax pet))
|
||||
=? =(~ old)
|
||||
new.dev
|
||||
(~(put by new.dev) pax pet)
|
||||
(~(put in new.dev) pax)
|
||||
$(del.dev (~(put by del.dev) pax pet))
|
||||
::
|
||||
:: print new entries
|
||||
@ -754,7 +754,7 @@
|
||||
~? !=(~ use.dev)
|
||||
[%what-use (turn (~(tap by use.dev) ~) |=({path *} +<-))]
|
||||
~? !=(~ new.dev)
|
||||
[%what-new (turn (~(tap by new.dev) ~) |=({path *} +<-))]
|
||||
[%what-new (~(tap in new.dev) ~)]
|
||||
~? !=(~ use.dev)
|
||||
[%what-del (turn (~(tap by del.dev) ~) |=({path *} +<-))]
|
||||
::
|
||||
@ -766,10 +766,14 @@
|
||||
::
|
||||
=/ but
|
||||
^- (unit seed)
|
||||
=/ hun ?: (~(has by new.dev) /sys/hoon) ~
|
||||
(~(get by del.dev) /sys/hoon)
|
||||
=/ arv ?: (~(has by new.dev) /sys/arvo) ~
|
||||
(~(get by del.dev) /sys/hoon)
|
||||
::
|
||||
:: when we get new hoon and arvo system files,
|
||||
:: we assume they match what's running now
|
||||
::
|
||||
=/ hun ?: (~(has in new.dev) /neo/hoon) ~
|
||||
(~(get by del.dev) /neo/hoon)
|
||||
=/ arv ?: (~(has in new.dev) /neo/arvo) ~
|
||||
(~(get by del.dev) /neo/hoon)
|
||||
?~ hun
|
||||
?~ arv ~
|
||||
::
|
||||
@ -781,30 +785,29 @@
|
||||
:: heavy reboot, hoon and arvo
|
||||
::
|
||||
~& %heavy-reboot
|
||||
`[`(wilt u.hun) (wilt ?^(arv u.arv (~(got by fat.rep) /sys/arvo)))]
|
||||
`[`(wilt u.hun) (wilt ?^(arv u.arv (~(got by fat.rep) /neo/arvo)))]
|
||||
?^ but
|
||||
:: stop working and set up reboot
|
||||
::
|
||||
~& %reboot
|
||||
%= +>.$
|
||||
:: set boot hook for termination
|
||||
::
|
||||
but.gut ?>(=(~ but.gut) but)
|
||||
::
|
||||
:: execute write after reboot
|
||||
:: finish write *after* reboot, not now, so that new code
|
||||
:: can use the new kernel
|
||||
::
|
||||
run.gut :: syt: all systems changes
|
||||
::
|
||||
=* syt (~(tap by (~(uni by rez.dev) new.dev)))
|
||||
:_ run.gut
|
||||
`move:live`[hen %give %& !>([%what syt])]
|
||||
run.gut :_ run.gut
|
||||
`move:live`[hen %give %& !>([%what (~(tap by del.dev))])]
|
||||
::
|
||||
:: delete reboot source files from deep
|
||||
:: storage, so install causes vane upgrade,
|
||||
:: delete kernel source file from deep
|
||||
:: storage, so that install causes vane upgrade,
|
||||
:: and *does not* cause repeat kernel upgrade.
|
||||
::
|
||||
fat.rep ?~ p.u.but
|
||||
fat.rep
|
||||
(~(del by fat.rep) /sys/hoon)
|
||||
(~(del by fat.rep) /neo/hoon)
|
||||
==
|
||||
:: keep working after vane upgrades
|
||||
::
|
||||
@ -818,53 +821,56 @@
|
||||
vat/(list (pair term hoof))
|
||||
==
|
||||
=< [yor zus (~(tap by van))]
|
||||
:: yor: reload shared structures
|
||||
:: zus: reload shared library
|
||||
:: vat: replacement map
|
||||
::
|
||||
=/ yor (bind (~(get by rez.dev) /sys/york) wilt)
|
||||
=/ zus (bind (~(get by rez.dev) /sys/zuse) wilt)
|
||||
:: yor: shared structures
|
||||
:: zus: shared library
|
||||
::
|
||||
:: %york is the subject of %zuse
|
||||
=/ yor (bind (~(get by del.dev) /neo/york) wilt)
|
||||
=/ zus (bind (~(get by del.dev) /neo/zuse) wilt)
|
||||
::
|
||||
=. zus ?^(zus zus ?~(yor ~ `(wilt (~(got by fat.rep) /sys/zuse))))
|
||||
:: %york is the subject of %zuse; if we have a new %york,
|
||||
:: but no new %zuse, get the running %
|
||||
::
|
||||
:: vat: all vane upgrades, as [initial name source]
|
||||
=. zus ?^(zus zus ?~(yor ~ `(wilt (~(got by fat.rep) /neo/zuse))))
|
||||
::
|
||||
:: van: all vane upgrades, as [initial name source]
|
||||
::
|
||||
=/ van
|
||||
:: zyr: all system file replacements
|
||||
:: van: accumulated upgrades
|
||||
::
|
||||
=/ zyr (~(tap by rez.dev))
|
||||
=/ zyr (~(tap by del.dev))
|
||||
=| van/(map @tas hoof)
|
||||
|- ^+ van
|
||||
?^ zyr
|
||||
:: mor: process rest of `zyr`
|
||||
::
|
||||
=/ mor $(zyr t.zyr)
|
||||
?. ?=({$sys $van @tas $~} p.i.zyr)
|
||||
?. ?=({$neo $van @tas $~} p.i.zyr)
|
||||
::
|
||||
:: ignore anything that isn't a vane
|
||||
::
|
||||
mor
|
||||
::
|
||||
:: replaced vane in `/sys/vane/*/[nam]`
|
||||
:: replaced vane in `/neo/vane/*/[nam]`
|
||||
::
|
||||
=* nam `term`i.t.t.p.i.zyr
|
||||
~& [%vane nam p.i.zyr `@p`(mug q.i.zyr)]
|
||||
(~(put in mor) nam (wilt q.i.zyr))
|
||||
::
|
||||
:: reload current vanes if needed
|
||||
:: if this is a new install after a heavy reboot,
|
||||
:: or if we've adjusted %zuse or %york, reboot all
|
||||
:: running vanes
|
||||
::
|
||||
?. |((~(has by new.dev) /sys/hoon) ?=(^ zus))
|
||||
::
|
||||
:: we didn't replace compiler, %york or %zuse
|
||||
van
|
||||
?. |((~(has in new.dev) /neo/hoon) ?=(^ zus)) van
|
||||
::
|
||||
:: also reboot any vanes not already rebooted
|
||||
:: all running vanes
|
||||
::
|
||||
%- ~(gas by van)
|
||||
%+ skip
|
||||
^- (list (pair term hoof))
|
||||
%+ turn (~(tap by van.mal))
|
||||
|= {way/term vax/vase}
|
||||
[way (wilt (~(got by fat.rep) [%sys %van way ~]))]
|
||||
[way (wilt (~(got by fat.rep) [%neo %van way ~]))]
|
||||
|= {way/term src/hoof}
|
||||
(~(has in van) way)
|
||||
.
|
||||
|
||||
Loading…
Reference in New Issue
Block a user