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

Booting without any constant blocks.

Browse Source
This commit is contained in:
C. Guy Yarvin 2018-01-22 17:15:34 -08:00
parent 7d3334d6dd
commit 7404bb0a1e
6 changed files with 58 additions and 56 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

61
app/hood.hoon
View File

@ -44,28 +44,32 @@
++ hood-1 :: unified state ++ hood-1 :: unified state
{$1 lac/(map @tas hood-part)} :: {$1 lac/(map @tas hood-part)} ::
++ hood-good :: extract specific ++ hood-good :: extract specific
|* hed/hood-head :: =+ hed=$:hood-head
|= paw/hood-part :: |% +- $
?- hed :: |: paw=$:hood-part
$drum ?>(?=($drum -.paw) `part:hood-drum`paw) :: ?- hed
$helm ?>(?=($helm -.paw) `part:hood-helm`paw) :: $drum ?>(?=($drum -.paw) `part:hood-drum`paw)
$kiln ?>(?=($kiln -.paw) `part:hood-kiln`paw) :: $helm ?>(?=($helm -.paw) `part:hood-helm`paw)
$womb ?>(?=($womb -.paw) `part:hood-womb`paw) :: $kiln ?>(?=($kiln -.paw) `part:hood-kiln`paw)
$write ?>(?=($write -.paw) `part:hood-write`paw) :: $womb ?>(?=($womb -.paw) `part:hood-womb`paw)
== :: module name $write ?>(?=($write -.paw) `part:hood-write`paw)
++ hood-head _-:*hood-part :: initialize state ==
--
++ hood-head _-:$:hood-part :: initialize state
++ hood-make :: ++ hood-make ::
|* {our/@p hed/hood-head} :: =+ $:{our/@p hed/hood-head} ::
?- hed :: |% +- $
$drum (make:hood-drum our) :: ?- hed
$helm *part:hood-helm :: $drum (make:hood-drum our)
$kiln *part:hood-kiln :: $helm *part:hood-helm
$womb *part:hood-womb :: $kiln *part:hood-kiln
$write *part:hood-write :: $womb *part:hood-womb
== :: $write *part:hood-write
==
--
++ hood-part-old hood-part :: old state for ++prep ++ hood-part-old hood-part :: old state for ++prep
++ hood-port :: state transition ++ hood-port :: state transition
|= paw/hood-part-old ^- hood-part :: |: paw=$:hood-part-old ^- hood-part ::
paw :: paw ::
:: :: :: ::
++ hood-part :: current module state ++ hood-part :: current module state
@ -84,14 +88,18 @@
hood-1 :: module states hood-1 :: module states
== :: == ::
++ able :: find+make part ++ able :: find+make part
|* hed/hood-head =+ hed=$:hood-head
|% +- $
=+ rep=(~(get by lac) hed) =+ rep=(~(get by lac) hed)
=+ par=?^(rep u.rep `hood-part`(hood-make our.hid hed)) =+ par=?^(rep u.rep `hood-part`(hood-make our.hid hed))
((hood-good hed) par) ((hood-good hed) par)
--
:: ::
++ ably :: save part ++ ably :: save part
|* {(list) hood-part} =+ $:{(list) hood-part}
|% +- $
[(flop +<-) %_(+> lac (~(put by lac) +<+< +<+))] [(flop +<-) %_(+> lac (~(put by lac) +<+< +<+))]
--
:: :: :: :: :: ::
:::: :: :: generic handling :::: :: :: generic handling
:: :: :: :: :: ::
@ -109,13 +117,16 @@
:: ::
:: ::
++ from-module :: create wrapper ++ from-module :: create wrapper
|* _[%module ..$ _abet]:(hood-module) =+ [%module ..$ _abet]:(hood-module)
|% +- $
=> .(+< [identity start finish]=+<) => .(+< [identity start finish]=+<)
=- [wrap=- *start] :: usage (wrap handle-arm):from-foo =- [wrap=- $:start] :: usage (wrap handle-arm):from-foo
|* handle/_finish =+ handle=finish
|= _+<.handle |% +- $
|: +<.handle
=. +>.handle (start hid (able identity)) =. +>.handle (start hid (able identity))
(ably (handle +<)) (ably (handle +<))
-- --
:: ::
:: per-module interface wrappers :: per-module interface wrappers
++ from-drum (from-module %drum [..$ _se-abet]:(hood-drum)) ++ from-drum (from-module %drum [..$ _se-abet]:(hood-drum))

8
gen/bug.hoon
View File

@ -1,8 +0,0 @@
::
::::
::
:- %say
|= $: {now/@da * bec/beak}
*
==
!!

3
lib/hood/helm.hoon
View File

@ -149,8 +149,7 @@
=+ top=`path`/(scot %p our)/[syd]/(scot %da now) =+ top=`path`/(scot %p our)/[syd]/(scot %da now)
=/ van/(list {term $~}) =/ van/(list {term $~})
:- zus=[%zuse ~] :- zus=[%zuse ~]
=+ arc=.^(arch %cy (welp top /sys/vane)) ~(tap by dir:.^(arch %cy (welp top /sys/vane)))
~(tap by dir:arc)
|= nam/@tas |= nam/@tas
=. nam =. nam
?. =(1 (met 3 nam)) ?. =(1 (met 3 nam))

2
lib/hood/kiln.hoon
View File

@ -247,7 +247,7 @@
:: ::
++ load-vane ++ load-vane
=< %_(. con ..load-vane) =< %_(. con ..load-vane)
|= {syd/@tas con/_.} |: $:{syd/@tas con/_.}
=. +>.$ con =. +>.$ con
=/ new-vane q:(hash-vane syd) =/ new-vane q:(hash-vane syd)
?: =(`new-vane (~(get by cur-vanes) syd)) ?: =(`new-vane (~(get by cur-vanes) syd))

20
sys/hoon.hoon
View File

@ -8281,25 +8281,25 @@
:: ~| mask.bus :: ~| mask.bus
=+ jon=(apex:musk bus q.pro) =+ jon=(apex:musk bus q.pro)
?~ jon ?~ jon
?: fab :: ?: fab
[p.pro [%10 [%live %1 %constant-stop] q.pro]] :: [p.pro [%10 [%live %1 %constant-stop] q.pro]]
[p.pro [%10 [%live %1 %constant-stop-fab] q.pro]] :: [p.pro [%10 [%live %1 %constant-stop-fab] q.pro]]
:: ~_ (dunk '%constant-blocked-type') :: ~_ (dunk '%constant-blocked-type')
:: ~| [%constant-stopped-gene gen] :: ~| [%constant-stopped-gene gen]
:: ~| [%constant-stopped-mask mask.bus] :: ~| [%constant-stopped-mask mask.bus]
:: ~| [%constant-stopped-formula `@p`(mug q.pro) q.pro] :: ~| [%constant-stopped-formula `@p`(mug q.pro) q.pro]
:: ~| %constant-folding-stopped ~| %constant-folding-stopped
:: !! !!
?: ?=($| -.u.jon) ?: ?=($| -.u.jon)
?: fab :: ?: fab
[p.pro [%10 [%live %1 %constant-block] q.pro]] :: [p.pro [%10 [%live %1 %constant-block] q.pro]]
[p.pro [%10 [%live %1 %constant-block-fab] q.pro]] :: [p.pro [%10 [%live %1 %constant-block-fab] q.pro]]
:: ~_ (dunk '%constant-blocked-type') :: ~_ (dunk '%constant-blocked-type')
:: ~| [%constant-blocked-gene gen] :: ~| [%constant-blocked-gene gen]
:: ~| [%constant-blocked-mask mask.bus] :: ~| [%constant-blocked-mask mask.bus]
:: ~| [%constant-blocked-formula `@p`(mug q.pro) q.pro] :: ~| [%constant-blocked-formula `@p`(mug q.pro) q.pro]
:: ~| %constant-folding-blocked ~| %constant-folding-blocked
:: !! !!
:: [p.pro [%10 [%live %1 %constant-nonblocked] %1 p.u.jon]] :: [p.pro [%10 [%live %1 %constant-nonblocked] %1 p.u.jon]]
[p.pro %1 p.u.jon] [p.pro %1 p.u.jon]
:: ::