urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2024-12-26 05:23:35 +03:00
Code Issues Packages Projects Releases Wiki Activity

clay,lull: compiles with static marks

Browse Source
This commit is contained in:
Ted Blackman 2021-01-13 15:20:58 -05:00
parent ece8bbf0a2
commit f469dbf8bc
3 changed files with 14 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
bin/solid.pill
View File

@ -1,3 +1,3 @@
version https://git-lfs.github.com/spec/v1 version https://git-lfs.github.com/spec/v1
oid sha256:c512d0c3da3ce7f0ac25babcbbceba04a9e62975e9d92aec56ab00e1c2fc6224 oid sha256:b38b016c4bcb23818328073e2b81fd09522699c9800e0744adbdbc15bb092795
size 8618963 size 8749007

3
pkg/arvo/sys/lull.hoon
View File

@ -942,10 +942,11 @@
+$ taut [face=(unit term) pax=term] +$ taut [face=(unit term) pax=term]
:: $mars: mark conversion request :: $mars: mark conversion request
:: $tube: mark conversion gate :: $tube: mark conversion gate
:: $nave: typed mark core
:: ::
+$ mars [a=mark b=mark] +$ mars [a=mark b=mark]
+$ tube $-(vase vase) +$ tube $-(vase vase)
+$ nave ++ nave
|$ [typ dif] |$ [typ dif]
$_ $_
|% |%

20
pkg/arvo/sys/vane/clay.hoon
View File

@ -459,7 +459,7 @@
[+<- +<+>-] :: cache.state [+<- +<+>-] :: cache.state
:: ::
++ ford ++ ford
!. ::!. :: TODO: reinstate
=> |% => |%
+$ build +$ build
$% [%file =path] $% [%file =path]
@ -527,7 +527,7 @@
:: ::
++ get-nave ++ get-nave
|= mak=mark |= mak=mark
^- [nave state] ^- [vase state]
~| %error-building-mark^mak ~| %error-building-mark^mak
?^ got=(~(get by naves.cache.nub) mak) ?^ got=(~(get by naves.cache.nub) mak)
=? stack.nub ?=(^ stack.nub) =? stack.nub ?=(^ stack.nub)
@ -681,7 +681,7 @@
:_ nub :_ nub
%+ slap (with-faces cor+old ~) %+ slap (with-faces cor+old ~)
^- hoon ^- hoon
:+ %brts !,(*hoon $=(v bunt:cor)) :+ %brts bcts/[%v like/[bunt/~ ~[cor/~]]]
:+ %tsgl limb/b :+ %tsgl limb/b
!,(*hoon ~(grow cor v)) !,(*hoon ~(grow cor v))
:: try direct +grab :: try direct +grab
@ -705,8 +705,8 @@
=^ uno=vase nub (get-cast x y) =^ uno=vase nub (get-cast x y)
=^ dos=vase nub (get-cast y z) =^ dos=vase nub (get-cast y z)
:_ nub :_ nub
%+ slam %+ slap
(with-faces uno+uno dos+dos cork+cork ~) (with-faces uno+uno dos+dos cork+!>(cork) ~)
!,(*hoon (cork uno dos)) !,(*hoon (cork uno dos))
:: +get-tube: produce a $tube mark conversion gate from .a to .b :: +get-tube: produce a $tube mark conversion gate from .a to .b
:: ::
@ -727,7 +727,7 @@
=. tubes.cache.nub (~(put by tubes.cache.nub) [a b] [tube.res top]) =. tubes.cache.nub (~(put by tubes.cache.nub) [a b] [tube.res top])
[tube.res nub] [tube.res nub]
=^ gat=vase nub (get-cast a b) =^ gat=vase nub (get-cast a b)
:_(nub |=(v=vase (slap gat v))) :_(nub |=(v=vase (slam gat v)))
:: ::
++ lobe-to-page ++ lobe-to-page
|= =lobe |= =lobe
@ -751,7 +751,7 @@
?: =(mak p.page) ?: =(mak p.page)
(page-to-cage page) (page-to-cage page)
=^ [mark vax=vase] nub (page-to-cage page) =^ [mark vax=vase] nub (page-to-cage page)
=^ =tube nub (get-cast p.page mak) =^ =tube nub (get-tube p.page mak)
:_(nub [mak (tube vax)]) :_(nub [mak (tube vax)])
:: ::
++ page-to-cage ++ page-to-cage
@ -772,7 +772,7 @@
=^ cag=cage nub (get-value path) =^ cag=cage nub (get-value path)
?: =(mok mak) ?: =(mok mak)
[cag nub] [cag nub]
=^ =tube nub (get-cast mok mak) =^ =tube nub (get-tube mok mak)
~| error-running-cast+[path mok mak] ~| error-running-cast+[path mok mak]
:_(nub [mak (tube q.cag)]) :_(nub [mak (tube q.cag)])
:: ::
@ -3498,12 +3498,12 @@
[~ fod.dom] [~ fod.dom]
?. ?=([@ @ ~] path) ?. ?=([@ @ ~] path)
[[~ ~] fod.dom] [[~ ~] fod.dom]
=/ cached=(unit [=tube *]) (~(get by casts.fod.dom) [i i.t]:path) =/ cached=(unit [=tube *]) (~(get by tubes.fod.dom) [i i.t]:path)
?^ cached ?^ cached
:_(fod.dom [~ ~ %& %tube !>(tube.u.cached)]) :_(fod.dom [~ ~ %& %tube !>(tube.u.cached)])
=^ =tube fod.dom =^ =tube fod.dom
%- wrap:fusion %- wrap:fusion
(get-cast:(ford:fusion static-ford-args) [i i.t]:path) (get-tube:(ford:fusion static-ford-args) [i i.t]:path)
:_(fod.dom [~ ~ %& %tube !>(tube)]) :_(fod.dom [~ ~ %& %tube !>(tube)])
:: ::
:: Gets the permissions that apply to a particular node. :: Gets the permissions that apply to a particular node.