arvo: +mure is taken

This commit is contained in:
Philip Monk 2020-06-15 12:17:37 -07:00
parent 4e466214e3
commit 9410b4f66d
No known key found for this signature in database
GPG Key ID: B66E1F02604E44EC
2 changed files with 5 additions and 5 deletions

View File

@ -1213,7 +1213,7 @@
::
=/ raw
~& [%hoon-compile `@p`(mug hun)]
(mure |.((ride %noun hun)))
(road |.((ride %noun hun)))
:: activate the new compiler gate, producing +ride
::
=/ cop .*(0 +.raw)
@ -1230,7 +1230,7 @@
?: =(nex hoon-version)
[raw cop]
~& [%hoon-compile-upgrade nex]
%- mure |.
%- road |.
=/ hot (slum cop [%noun hun])
[hot .*(0 +.hot)]
:: extract the hoon core from the outer gate (+ride)
@ -1243,7 +1243,7 @@
::
=/ rav
~& [%arvo-compile `@p`(mug hyp) `@p`(mug van)]
(mure |.((slum cop [hyp van])))
(road |.((slum cop [hyp van])))
:: activate arvo, and extract the arvo core from the outer gate
::
=/ voc .*(hoc [%7 +.rav %0 7])

View File

@ -12035,13 +12035,13 @@
?~ a !!
~_(i.a $(a t.a))
::
++ mure
++ road
|* =(trap *)
^+ $:trap
=/ res (mule trap)
?- -.res
%& p.res
%| (mean leaf+"mure: road" p.res)
%| (mean leaf+"road: new" p.res)
==
::
++ slew :: get axis in vase