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

Fully abolish %bull.

Browse Source
This commit is contained in:
C. Guy Yarvin 2015-12-27 01:42:53 -05:00
parent 700cd5cf11
commit 0c7a8c644b
2 changed files with 5 additions and 64 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
ape/dojo.hoon
View File

@ -523,7 +523,6 @@
?+ a a ?+ a a
{$?($cube $face) ^} a(q $(a q.a)) {$?($cube $face) ^} a(q $(a q.a))
{$?($cell $fork) ^} a(p $(a p.a), q $(a q.a)) {$?($cell $fork) ^} a(p $(a p.a), q $(a q.a))
{$bull ^} $(a q.a)
{$core ^} `wain`/core {$core ^} `wain`/core
{$hold *} a(p (turn p.a |=({b/span c/twig} [^$(a b) c]))) {$hold *} a(p (turn p.a |=({b/span c/twig} [^$(a b) c])))
== ==

68
arvo/hoon.hoon
View File

@ -76,8 +76,6 @@
++ edge {p/hair q/(unit {p/* q/nail})} :: parsing output ++ edge {p/hair q/(unit {p/* q/nail})} :: parsing output
++ foot $% {$ash p/twig} :: dry arm, geometric ++ foot $% {$ash p/twig} :: dry arm, geometric
{$elm p/twig} :: wet arm, generic {$elm p/twig} :: wet arm, generic
{$oak $~} :: XX not used
{$yew p/(map term foot)} :: XX not used
== :: == ::
++ gate $+(* *) :: general gate ++ gate $+(* *) :: general gate
++ hair {p/@ud q/@ud} :: parsing trace ++ hair {p/@ud q/@ud} :: parsing trace
@ -310,7 +308,7 @@
{$tsgr p/twig q/twig} :: use p as .. of q {$tsgr p/twig q/twig} :: use p as .. of q
{$tskt p/twig q/twig r/twig s/twig} :: state machine wing {$tskt p/twig q/twig r/twig s/twig} :: state machine wing
{$tsls p/twig q/twig} :: push p on .. of q {$tsls p/twig q/twig} :: push p on .. of q
{$tstr p/term q/wing r/twig} :: make a $bull+alias {$tstr p/term q/wing r/twig} :: make an alias
{$tssg p/(list twig)} :: compose twig list {$tssg p/(list twig)} :: compose twig list
:: :::::: conditionals :: :::::: conditionals
{$wtbr p/(list twig)} :: logical OR {$wtbr p/(list twig)} :: logical OR
@ -355,7 +353,6 @@
$void :: no noun $void :: no noun
== :: == ::
$% {$atom p/term} :: number and format $% {$atom p/term} :: number and format
{$bull p/twin q/span} :: alias
{$cell p/span q/span} :: ordered pair {$cell p/span q/span} :: ordered pair
{$core p/span q/coil} :: object {$core p/span q/coil} :: object
{$cube p/* q/span} :: constant {$cube p/* q/span} :: constant
@ -6262,11 +6259,6 @@
:: :::::::::::::::::::::::::::::::::::::::::::::::::::::: :: ::::::::::::::::::::::::::::::::::::::::::::::::::::::
:: section 2fA, miscellaneous funs :: :: section 2fA, miscellaneous funs ::
:: :: :: ::
++ bull :: make %bull span
|= {bid/twin der/span}
^- span
?:(=(%void der) %void [%bull bid der])
::
++ cain |=(vax/vase (sell vax)) :: $+(vase tank) for /> ++ cain |=(vax/vase (sell vax)) :: $+(vase tank) for />
++ cell :: make %cell span ++ cell :: make %cell span
~/ %cell ~/ %cell
@ -6618,7 +6610,6 @@
^- (list term) ^- (list term)
?+ typ ~ ?+ typ ~
{$hold *} $(typ ~(repo ut typ)) {$hold *} $(typ ~(repo ut typ))
{$bull *} $(typ ~(repo ut typ))
{$core *} {$core *}
(turn (~(tap by q.r.q.typ) ~) |=({a/term *} a)) (turn (~(tap by q.r.q.typ) ~) |=({a/term *} a))
== ==
@ -7686,7 +7677,6 @@
$noun [dex sut] $noun [dex sut]
$void [dex sut] $void [dex sut]
{$atom *} [dex [%mato p.sut]] {$atom *} [dex [%mato p.sut]]
{$bull *} $(sut q.sut)
{$cell *} {$cell *}
=+ hin=$(sut p.sut) =+ hin=$(sut p.sut)
=+ yon=$(dex p.hin, sut q.sut) =+ yon=$(dex p.hin, sut q.sut)
@ -7817,7 +7807,6 @@
|- ^- * |- ^- *
?- sut ?- sut
{$atom *} 0 {$atom *} 0
{$bull *} $(sut repo)
{$cell *} [$(sut p.sut) $(sut q.sut)] {$cell *} [$(sut p.sut) $(sut q.sut)]
{$core *} [p.r.q.sut $(sut p.sut)] {$core *} [p.r.q.sut $(sut p.sut)]
{$cube *} p.sut {$cube *} p.sut
@ -7873,7 +7862,6 @@
* sint * sint
== ==
:: ::
{$bull *} (bull p.sut dext(sut q.sut))
{$cell *} {$cell *}
?- ref ?- ref
{$atom *} sut {$atom *} sut
@ -7979,15 +7967,6 @@
$void lose $void lose
$noun stop $noun stop
{$atom *} stop {$atom *} stop
{$bull *}
?~ q.heg [%& [~ `axe lon] %& q.ref]
=^ hit p.heg
?. =(u.q.heg p.p.ref) [%| p.heg]
?: =(0 p.heg) [%& 0] [%| (dec p.heg)]
?. hit
$(ref q.ref, axe 1, lon [~ `axe lon])
^$(sut q.ref, hyp q.p.ref, nol [~ `axe lon])
::
{$cell *} {$cell *}
?~ q.heg here ?~ q.heg here
=+ taf=$(axe (peg axe 2), ref p.ref) =+ taf=$(axe (peg axe 2), ref p.ref)
@ -8100,7 +8079,6 @@
|- ^- ? |- ^- ?
?- sut ?- sut
{$atom *} !.?(dib) {$atom *} !.?(dib)
{$bull *} $(sut q.sut)
{$cell *} &(.?(dib) $(sut p.sut, dib -.dib) $(sut q.sut, dib +.dib)) {$cell *} &(.?(dib) $(sut p.sut, dib -.dib) $(sut q.sut, dib +.dib))
{$core *} {$core *}
?& .?(dib) ?& .?(dib)
@ -8129,7 +8107,6 @@
$void [%1 1] $void [%1 1]
$noun [%1 0] $noun [%1 0]
{$atom *} (flip [%3 %0 axe]) {$atom *} (flip [%3 %0 axe])
{$bull *} $(sut q.sut)
{$cell *} {$cell *}
%+ flan %+ flan
[%3 %0 axe] [%3 %0 axe]
@ -8160,7 +8137,6 @@
{$cell *} %void {$cell *} %void
* $(sut ref, ref sut) * $(sut ref, ref sut)
== ==
{$bull *} (bull p.sut $(sut q.sut))
{$cell *} {$cell *}
?- ref ?- ref
{$cell *} (cell $(sut p.sut, ref p.ref) $(sut q.sut, ref q.ref)) {$cell *} (cell $(sut p.sut, ref p.ref) $(sut q.sut, ref q.ref))
@ -8196,7 +8172,7 @@
?: ?=($~ dab) ?: ?=($~ dab)
~ ~
=+ ^= vad =+ ^= vad
?+ -.q.n.dab !! ?- -.q.n.dab
$ash q:(mint %noun p.q.n.dab) $ash q:(mint %noun p.q.n.dab)
$elm q:(mint(vet |) %noun p.q.n.dab) $elm q:(mint(vet |) %noun p.q.n.dab)
== ==
@ -8364,7 +8340,6 @@
|- ^- ? |- ^- ?
?- sut ?- sut
{$atom *} | {$atom *} |
{$bull *} $(sut q.sut)
{$cell *} |($(sut p.sut) $(sut q.sut)) {$cell *} |($(sut p.sut) $(sut q.sut))
{$core *} $(sut p.sut) {$core *} $(sut p.sut)
{$cube *} | {$cube *} |
@ -8530,7 +8505,7 @@
?: ?=($~ dab) ?: ?=($~ dab)
~ ~
=+ ^= vad =+ ^= vad
?+ -.q.n.dab !! ?- -.q.n.dab
$ash ^$(gol %noun, gen p.q.n.dab) $ash ^$(gol %noun, gen p.q.n.dab)
$elm ~ $elm ~
== ==
@ -8610,11 +8585,6 @@
dext(sut (play p.q.n.dab), ref (play(sut ref) p.q.n.hem)) dext(sut (play p.q.n.dab), ref (play(sut ref) p.q.n.hem))
== ==
$elm =(q.n.dab q.n.hem) $elm =(q.n.dab q.n.hem)
$oak ?=(?($oak $yew) -.q.n.hem)
$yew
?& ?=($yew -.q.n.hem)
$(dab p.q.n.dab, hem p.q.n.hem)
==
== ==
== ==
== ==
@ -8653,7 +8623,6 @@
=(p.sut p.ref) =(p.sut p.ref)
sint sint
:: ::
{$bull *} dext(sut q.sut)
{$face *} dext(sut q.sut) {$face *} dext(sut q.sut)
{$fork *} {$fork *}
?. ?=(?({$atom *} $noun {$cell *} {$cube *} {$core *}) ref) ?. ?=(?({$atom *} $noun {$cell *} {$cube *} {$core *}) ref)
@ -8793,7 +8762,6 @@
++ repo ++ repo
^- span ^- span
?- sut ?- sut
{$bull *} q.sut
{$core *} [%cell %noun p.sut] {$core *} [%cell %noun p.sut]
{$cube *} q.sut {$cube *} q.sut
{$face *} q.sut {$face *} q.sut
@ -8820,31 +8788,14 @@
++ seek ++ seek
|= {way/?($read $rite $both $free) hyp/wing} |= {way/?($read $rite $both $free) hyp/wing}
^- port ^- port
:: =+ ^- old/port (seel way hyp) ~| [%seek hyp]
:: =. old
:: ?- -.q.old
:: $& old
:: $|
:: :^ p.old %| p.q.old
:: (~(tap in (~(gas in *(set (pair span foot))) q.q.old)) ~)
~| [%seek-miss [way hyp] ~]
=+ fid=(find way hyp) =+ fid=(find way hyp)
?. ?=($& -.fid) ?> ?=($& -.fid)
~& [%seek-hyp hyp]
~& [%seek-fid fid]
~& [%seek-fail fid]
!!
:- (tonk p.p.fid) :- (tonk p.p.fid)
?- -.q.p.fid ?- -.q.p.fid
$& q.p.fid $& q.p.fid
$| [%| p.q.p.fid (~(tap in q.q.p.fid) ~)] $| [%| p.q.p.fid (~(tap in q.q.p.fid) ~)]
== ==
::
++ seep
|= {way/?($read $rite $both $free) hyp/wing}
^- {p/axis q/span}
=+ zar=(seek way hyp)
?>(?=($& -.q.zar) [p.zar p.q.zar])
:: ::
++ tech ++ tech
|= {way/?($read $rite $both $free) hyp/wing} |= {way/?($read $rite $both $free) hyp/wing}
@ -8870,7 +8821,6 @@
?~ i.vit ?~ i.vit
|- ^- span |- ^- span
?+ sut !! ?+ sut !!
{$bull *} (bull p.sut ^$(vit t.vit, sut q.sut))
{$cube *} [%cube p.sut ^$(vit t.vit, sut q.sut)] {$cube *} [%cube p.sut ^$(vit t.vit, sut q.sut)]
{$face *} (face p.sut ^$(vit t.vit, sut q.sut)) {$face *} (face p.sut ^$(vit t.vit, sut q.sut))
{$fork *} (fork $(sut p.sut) $(sut q.sut)) {$fork *} (fork $(sut p.sut) $(sut q.sut))
@ -8885,7 +8835,6 @@
$noun $(sut [%cell %noun %noun]) $noun $(sut [%cell %noun %noun])
$void %void $void %void
{$atom *} %void {$atom *} %void
{$bull *} (bull p.sut $(sut q.sut))
{$cell *} ?: =(2 now) {$cell *} ?: =(2 now)
(cell $(sut p.sut, u.i.vit lat) q.sut) (cell $(sut p.sut, u.i.vit lat) q.sut)
(cell p.sut $(sut q.sut, u.i.vit lat)) (cell p.sut $(sut q.sut, u.i.vit lat))
@ -9690,13 +9639,6 @@
;~(pose (cold %$ buc) sym) ;~(pose (cold %$ buc) sym)
loaf loaf
== ==
::
%+ cook
|=({a/$oak b/term} [b a ~])
;~ gunk
(cold %oak (just '|'))
;~(pose (cold %$ buc) sym)
==
== ==
== ==
:: ::