Revert some old bad changes that crept in.

This commit is contained in:
C. Guy Yarvin 2017-05-19 11:40:18 -07:00
parent eff8b8fe7b
commit 2e3d281cb1
2 changed files with 18 additions and 59 deletions

View File

@ -13,6 +13,7 @@
== :: == ::
++ rook :: forward ames msg ++ rook :: forward ames msg
$% {$m p/mark q/*} :: message $% {$m p/mark q/*} :: message
{$l p/mark q/path} :: "peel" subscribe
{$s p/path} :: subscribe {$s p/path} :: subscribe
{$u $~} :: cancel+unsubscribe {$u $~} :: cancel+unsubscribe
== :: == ::
@ -58,7 +59,7 @@
qel/(map bone @ud) :: queue meter qel/(map bone @ud) :: queue meter
== :: == ::
++ mast :: ship state ++ mast :: ship state
$: mak/(unit duct) :: ames awaiting crash $: mak/* :: (deprecated)
sys/duct :: system duct sys/duct :: system duct
sap/(map ship scad) :: foreign contacts sap/(map ship scad) :: foreign contacts
bum/(map dude seat) :: running agents bum/(map dude seat) :: running agents
@ -251,11 +252,11 @@
=^ num +>.$ (mo-bale him) =^ num +>.$ (mo-bale him)
=+ ^= roc ^- rook =+ ^= roc ^- rook
?- -.q.caz ?- -.q.caz
$peel !!
$poke [%m p.p.q.caz q.q.p.q.caz] $poke [%m p.p.q.caz q.q.p.q.caz]
$pull [%u ~] $pull [%u ~]
$puff !! $puff !!
$punk !! $punk !!
$peel [%l p.q.caz q.q.caz]
$peer [%s p.q.caz] $peer [%s p.q.caz]
== ==
%+ mo-pass %+ mo-pass
@ -274,11 +275,12 @@
`[[%leaf (trip p.u.ars)] q.u.ars] `[[%leaf (trip p.u.ars)] q.u.ars]
:: ::
++ mo-awed :: foreign response ++ mo-awed :: foreign response
|= {him/ship why/?($peer $poke $pull) art/(unit ares)} |= {him/ship why/?($peer $peel $poke $pull) art/(unit ares)}
^+ +> ^+ +>
:: ~& [%mo-awed him why art] :: ~& [%mo-awed him why art]
=+ tug=(mo-baba (mo-baal art)) =+ tug=(mo-baba (mo-baal art))
?- why ?- why
$peel (mo-give %unto %reap tug)
$peer (mo-give %unto %reap tug) $peer (mo-give %unto %reap tug)
$poke (mo-give %unto %coup tug) $poke (mo-give %unto %coup tug)
$pull +>.$ $pull +>.$
@ -406,7 +408,6 @@
$coup (mo-give %mack p.cuf) $coup (mo-give %mack p.cuf)
$diff %+ mo-pass [%sys %red t.pax] $diff %+ mo-pass [%sys %red t.pax]
[%a %wont [our him] [%g %gh dap ~] [num %d p.p.cuf q.q.p.cuf]] [%a %wont [our him] [%g %gh dap ~] [num %d p.p.cuf q.q.p.cuf]]
$doff !!
$quit %+ mo-pass [%sys pax] $quit %+ mo-pass [%sys pax]
[%a %wont [our him] [%g %gh dap ~] [num %x ~]] [%a %wont [our him] [%g %gh dap ~] [num %x ~]]
$reap (mo-give %mack p.cuf) $reap (mo-give %mack p.cuf)
@ -428,14 +429,14 @@
?> ?=({@ $~} t.pax) ?> ?=({@ $~} t.pax)
%- mo-awed %- mo-awed
:* p.+>.sih :* p.+>.sih
(?($peer $poke $pull) i.t.pax) ;;(?($peer $peel $poke $pull) i.t.pax)
~ ~
== ==
?> ?=({$a $woot *} sih) ?> ?=({$a $woot *} sih)
?> ?=({@ $~} t.pax) ?> ?=({@ $~} t.pax)
%- mo-awed %- mo-awed
:* p.+>.sih :* p.+>.sih
(?($peer $poke $pull) i.t.pax) ;;(?($peer $peel $poke $pull) i.t.pax)
+>+.sih +>+.sih
== ==
== ==
@ -458,42 +459,10 @@
+>.$ +>.$
ap-abet:(ap-purr:pap +<.q.hin t.t.t.pax +>.q.hin) ap-abet:(ap-purr:pap +<.q.hin t.t.t.pax +>.q.hin)
:: ::
$out ?: ?=({$f $made *} q.hin) $out ?. ?=({$g $unto *} q.hin)
?- -.q.+>.q.hin
$tabl ~|(%made-tabl !!)
$& =. ap.pap (mo-resume-mack:pap ~)
ap-abet:(ap-pout:pap t.t.t.pax %diff +.q.+>.q.hin)
$|
=+ why=p.q.+>.q.hin
=. ..ap ap-abet:(ap-misvale:pap t.pax)
=. why (turn why |=(a/tank rose+[~ "! " ~]^[a]~))
~> %slog.`rose+[" " "[" "]"]^[>%mo-cook-fail< (flop why)]
~& [him=q.q.pry our=our pax=pax]
::
:: here we should crash because the right thing
:: for the client to do is to upgrade so that it
:: understands the server's mark, thus allowing
:: the message to proceed. but ames is not quite
:: ready for promiscuous crashes, so instead we
:: send a pull outward and a quit downward.
:: or not... outgoing dap (XXX) is not in the path.
:: =. +>.$ ap-abet:(ap-pout:pap t.t.t.pax %quit ~)
:: %+ mo-pass
:: [%use pax]
:: [%g %deal [q.q.pry our] XXX %pull ~]
(mo-resume-mack ~ >%mo-cook-fail< p.q.+>.q.hin)
==
?. ?=({$g $unto *} q.hin)
~& [%mo-cook-weird q.hin] ~& [%mo-cook-weird q.hin]
~& [%mo-cook-weird-path pax] ~& [%mo-cook-weird-path pax]
+>.$ +>.$
?: ?=($doff +>-.q.hin)
%+ mo-pass
[%use pax]
[%f %exec our ~ byk.pap %vale +.p.q.hin]
?: ?=($quit +>-.q.hin)
=. ap.pap (mo-resume-mack:pap ~)
ap-abet:(ap-pout:pap t.t.t.pax +>.q.hin)
ap-abet:(ap-pout:pap t.t.t.pax +>.q.hin) ap-abet:(ap-pout:pap t.t.t.pax +>.q.hin)
== ==
:: ::
@ -554,31 +523,23 @@
?- -.rok ?- -.rok
:: %m [%f %exec our ~ (mo-beak dap) %vale p.rok q.rok] :: %m [%f %exec our ~ (mo-beak dap) %vale p.rok q.rok]
$m [%g %deal [him our] dap %puff p.rok q.rok] $m [%g %deal [him our] dap %puff p.rok q.rok]
$l [%g %deal [him our] dap %peel p.rok q.rok]
$s [%g %deal [him our] dap %peer p.rok] $s [%g %deal [him our] dap %peer p.rok]
$u [%g %deal [him our] dap %pull ~] $u [%g %deal [him our] dap %pull ~]
== ==
:: ::
++ mo-gawd :: ames backward ++ mo-gawd :: ames backward
|= {him/@p dap/dude num/@ud ron/roon} |= {him/@p dap/dude num/@ud ron/roon}
=. mak (mo-defer-mack hen) ?- -.ron
=. hen (mo-ball him num) $d
?- -.ron %+ mo-pass
$d (mo-give %unto %doff p.ron q.ron) [%sys %rep (scot %p him) dap (scot %ud num) ~]
$x (mo-give %unto %quit ~) [%f %exec our ~ (mo-beak dap) %vale p.ron q.ron]
::
$x =. +> (mo-give %mack ~) :: XX should crash
(mo-give(hen (mo-ball him num)) %unto %quit ~)
== ==
:: ::
++ mo-defer-mack :: future %mack
|= hon/duct ^+ mak
?~ mak `hon
~|(double-mak+[u.mak hon] !!)
::
++ mo-resume-mack :: route %mack
|= a/(unit tang) ^+ +>.$
?^ mak
+>.$(mak ~, moz :_(moz [u.mak %give %mack a]))
?~ a +>.$
(mean >%gall-mack< u.a) :: XX unnecessary?
::
++ ap :: agent engine ++ ap :: agent engine
~% %gall-ap +> ~ ~% %gall-ap +> ~
|_ $: $: dap/dude |_ $: $: dap/dude
@ -633,7 +594,7 @@
?~ ded +>.^$ ?~ ded +>.^$
=> %*(. $(ded t.ded) ost i.ded) => %*(. $(ded t.ded) ost i.ded)
=+ tib=(~(get by sup.ged) ost) =+ tib=(~(get by sup.ged) ost)
?~ tib ..ap-kill ?~ tib ~&([%ap-abut-bad-bone dap ost] ..ap-kill)
ap-kill(q.q.pry p.u.tib) ap-kill(q.q.pry p.u.tib)
:: ::
++ ap-aver :: cove to move ++ ap-aver :: cove to move
@ -1119,7 +1080,6 @@
?- -.cuf ?- -.cuf
$coup (ap-take q.q.pry %coup +.pax `!>(p.cuf)) $coup (ap-take q.q.pry %coup +.pax `!>(p.cuf))
$diff (ap-diff q.q.pry pax p.cuf) $diff (ap-diff q.q.pry pax p.cuf)
$doff !!
$quit (ap-take q.q.pry %quit +.pax ~) $quit (ap-take q.q.pry %quit +.pax ~)
$reap (ap-take q.q.pry %reap +.pax `!>(p.cuf)) $reap (ap-take q.q.pry %reap +.pax `!>(p.cuf))
== ==

View File

@ -2960,7 +2960,6 @@
++ cuft :: internal gift ++ cuft :: internal gift
$% {$coup p/(unit tang)} :: poke result $% {$coup p/(unit tang)} :: poke result
{$diff p/cage} :: subscription output {$diff p/cage} :: subscription output
{$doff p/mark q/noun} :: untyped diff
{$quit $~} :: close subscription {$quit $~} :: close subscription
{$reap p/(unit tang)} :: peer result {$reap p/(unit tang)} :: peer result
== :: == ::