Merge pull request #755 from urbit/rmariani-patch-1

removes dead +mz:nl, updates +bif syntax
This commit is contained in:
Joe Bryan 2018-08-28 14:01:24 -07:00 committed by GitHub
commit ad4e7dd7d1
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1272,7 +1272,7 @@
~/ %bif ~/ %bif
|* b/* |* b/*
^+ [l=a r=a] ^+ [l=a r=a]
=< [+< +>] =< +
|- ^+ a |- ^+ a
?~ a ?~ a
[b ~ ~] [b ~ ~]
@ -1475,7 +1475,7 @@
~/ %bif ~/ %bif
|* {b/* c/*} |* {b/* c/*}
^+ [l=a r=a] ^+ [l=a r=a]
=< [+< +>] =< +
|- ^+ a |- ^+ a
?~ a ?~ a
[[b c] ~ ~] [[b c] ~ ~]
@ -1921,12 +1921,7 @@
++ my :: construct map ++ my :: construct map
|* a/(list (pair)) |* a/(list (pair))
=> .(a ^+((le a) a)) => .(a ^+((le a) a))
(~(gas by `(map _p.i.-.a _q.i.-.a)`~) a) (~(gas by `(map _p.i.-.a _q.i.-.a)`~) a)
:: ::
++ mz :: construct map
|* a/(list (pair))
=> .(a ^+((le a) a))
(~(gas by ~) a)
:: :: :: ::
++ si :: construct set ++ si :: construct set
|* a/(list) |* a/(list)