urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2025-01-04 18:43:46 +03:00
Code Issues Packages Projects Releases Wiki Activity

Revert "stage parallel noun-orders, map engine, and compiler"

Browse Source 
This reverts commit 52db016fdc.
This commit is contained in:
Joe Bryan 2019-01-08 22:06:46 -05:00
parent e71afba77d
commit 7f1168aa84
1 changed files with 8 additions and 37 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

45
sys/hoon.hoon
View File

@ -1181,9 +1181,8 @@
(lth a b)
::
++ gor :: g-order
~/ %stage-gor
~/ %gor
|= {a/* b/*}
=+ %uniq
^- ?
=+ [c=(mug a) d=(mug b)]
?: =(c d)
@ -1191,9 +1190,8 @@
(lth c d)
::
++ vor :: v-order
~/ %stage-vor
~/ %vor
|= {a/* b/*}
=+ %uniq
^- ?
=+ [c=(mug (mug a)) d=(mug (mug b))]
?: =(c d)
@ -1234,7 +1232,7 @@
:: ::
::
++ in :: set engine
~/ %stage-in
~/ %in
=| a/(tree) :: (set)
|@
++ all :: logical AND
@ -1267,7 +1265,6 @@
~/ %bif
|* b/*
^+ [l=a r=a]
=+ %uniq
=< +
|- ^+ a
?~ a
@ -1285,7 +1282,6 @@
++ del :: b without any a
~/ %del
|* b/*
=+ %uniq
|- ^+ a
?~ a
~
@ -1306,7 +1302,6 @@
|@
++ $
|- ^+ a
=+ %uniq
?~ b
a
=+ c=(bif n.b)
@ -1334,7 +1329,6 @@
++ gas :: concatenate
~/ %gas
|= b/(list _?>(?=(^ a) n.a))
=+ %uniq
|- ^+ a
?~ b
a
@ -1343,7 +1337,6 @@
++ has :: b exists in a check
~/ %has
|* b/*
=+ %uniq
|- ^- ?
?~ a
|
@ -1375,7 +1368,6 @@
++ put :: puts b in a, sorted
~/ %put
|* b/*
=+ %uniq
|- ^+ a
?~ a
[b ~ ~]
@ -1424,7 +1416,6 @@
++ $
?: =(a b) a
|- ^+ a
=+ %uniq
?~ b
a
?~ a
@ -1453,7 +1444,7 @@
:: ::
::
++ by :: map engine
~/ %stage-by
~/ %by
=| a/(tree (pair)) :: (map)
=* node ?>(?=(^ a) n.a)
|@
@ -1477,7 +1468,6 @@
~/ %bif
|* {b/* c/*}
^+ [l=a r=a]
=+ %uniq
=< +
|- ^+ a
?~ a
@ -1497,7 +1487,6 @@
++ del :: delete at key b
~/ %del
|* b/*
=+ %uniq
|- ^+ a
?~ a
~
@ -1517,7 +1506,6 @@
=+ b=a
|@
++ $
=+ %uniq
|- ^+ a
?~ b
a
@ -1535,7 +1523,6 @@
::
++ dig :: axis of b key
|= b/*
=+ %uniq
=+ c=1
|- ^- (unit @)
?~ a ~
@ -1558,7 +1545,6 @@
~/ %gas
|* b/(list {p/* q/*})
=> .(b `(list _?>(?=(^ a) n.a))`b)
=+ %uniq
|- ^+ a
?~ b
a
@ -1569,7 +1555,6 @@
|= b/*
^- {$@(~ {~ u/_?>(?=(^ a) q.n.a)})}
=+ 42
=+ %uniq
?~ a
~
?: =(b p.n.a)
@ -1585,7 +1570,6 @@
++ has :: key existence check
~/ %has
|* b/*
=+ %uniq
!=(~ (get b))
::
++ int :: intersection
@ -1593,7 +1577,6 @@
=+ b=a
|@
++ $
=+ %uniq
|- ^+ a
?~ b
~
@ -1616,7 +1599,6 @@
~/ %jab
|* [key=_?>(?=(^ a) p.n.a) fun=$-(_?>(?=(^ a) q.n.a) _?>(?=(^ a) q.n.a))]
^+ a
=+ %uniq
::
?~ a !!
::
@ -1637,7 +1619,6 @@
++ put :: adds key-value pair
~/ %put
|* {b/* c/*}
=+ %uniq
|- ^+ a
?~ a
[[b c] ~ ~]
@ -1690,7 +1671,6 @@
~/ %tap
=+ b=`(list _?>(?=(^ a) n.a))`~
|. ^+ b
=+ %uniq
?~ a
b
$(a r.a, b [n.a $(a l.a)])
@ -1700,7 +1680,6 @@
=+ b=a
|@
++ $
=+ %uniq
|- ^+ a
?~ b
a
@ -1724,7 +1703,6 @@
|@
++ $
|* meg/$-({* * *} *)
=+ %uniq
|- ^+ a
?~ b
a
@ -7151,9 +7129,8 @@
[%face giz der]
::
++ fork :: make %fork type
~/ %stage-fork
~/ %fork
|= yed/(list type)
=+ %uniq
=| lez/(set type)
|- ^- type
?~ yed
@ -7362,9 +7339,8 @@
==
::
++ look
~/ %stage-look
~/ %look
|= {cog/term dab/(map term hoon)}
=+ %uniq
=+ axe=1
|- ^- (unit {p/axis q/hoon})
?- dab
@ -7396,9 +7372,8 @@
==
::
++ loot
~/ %stage-loot
~/ %loot
|= {cog/term dom/(map term tome)}
=+ %uniq
=+ axe=1
|- ^- (unit {p/axis q/hoon})
?- dom
@ -9056,7 +9031,7 @@
:::: 5c: compiler backend and prettyprinter
::
++ ut
~% %stage-ut
~% %ut
+>+
==
%ar ar
@ -9812,7 +9787,6 @@
++ fond
~/ %fond
|= {way/vial hyp/wing}
=+ %uniq
=> |%
++ pony :: raw match
$@ ~ :: void
@ -10002,7 +9976,6 @@
++ fire
|= hag/(list {p/type q/foot})
^- type
=+ %uniq
?: ?=({{* {$wet ~ $1}} ~} hag)
p.i.hag
%- fork
@ -10261,7 +10234,6 @@
::
|= [mel/vair nym/(unit term) hud/poly dom/(map term tome)]
^- (pair type nock)
=+ %uniq
=- :_ [%1 dez]
(core sut [nym hud mel] sut [[%full ~] dez] dom)
^= dez
@ -10459,7 +10431,6 @@
~/ %mull
|= {gol/type dox/type gen/hoon}
|^ ^- {p/type q/type}
=+ %uniq
?: =(%void sut)
~>(%mean.[%leaf "mull-none"] !!)
?- gen