Fill in stubs and make jael actually act on calls.

This commit is contained in:
Fang 2018-05-10 01:42:37 +02:00
parent a21a8b1224
commit b97b5b4180
2 changed files with 14 additions and 13 deletions

View File

@ -605,11 +605,12 @@
?~(les ~ `[nut les]) ?~(les ~ `[nut les])
:: :: ++table:dif:ry :: :: ++table:dif:ry
++ table :: diff map ++ table :: diff map
|* {nut/@tas new/(map) old/(map)} !! |* {nut/@tas new/(map) old/(map)}
:: ^- (pair (unit rite) (unit rite)) ::TODO (~(dep by old) new)
:: =/ ped (~(dep by old) new) =/ mor (~(dif by new) old)
:: :- ?~(p.ped ~ `[nut p.ped]) =/ les (~(dif by old) new)
:: ?~(q.ped ~ `[nut q.ped]) :- ?~(mor ~ `[nut mor])
?~(les ~ `[nut les])
-- ::dif -- ::dif
:: :: ++sub:ry :: :: ++sub:ry
++ sub :: l - r ++ sub :: l - r
@ -663,11 +664,11 @@
(~(uni in old) new) (~(uni in old) new)
:: :: ++table:uni:ry :: :: ++table:uni:ry
++ table :: union map ++ table :: union map
|* {new/(map) old/(map)} !! |* {new/(map) old/(map)}
:: ^+ new ^+ new
:: %- (~(uno by old) new) %- (~(uno by old) new)
:: |= (trel _p.-<.new _q.->.new _q.->.new) |= (trel _p.-<.new _q.->.new _q.->.new)
:: ?>(=(q r) r) ?>(=(q r) r)
-- ::uni -- ::uni
-- ::ry -- ::ry
:: :: ++up :: :: ++up
@ -782,7 +783,7 @@
[%apple (~(run by p.rys) |=(@ (mug +<)))] [%apple (~(run by p.rys) |=(@ (mug +<)))]
:: ::
$final $final
[%final (mug p.rys)] [%final (~(run by p.rys) |=(@ (mug +<)))]
:: ::
$login $login
[%login ~] [%login ~]
@ -1929,7 +1930,7 @@
== ==
=> .(q.hic ?.(?=($soft -.q.hic) q.hic ((hard task) p.q.hic))) => .(q.hic ?.(?=($soft -.q.hic) q.hic ((hard task) p.q.hic)))
^- {p/(list move) q/_..^$} ^- {p/(list move) q/_..^$}
=^ did lex abet:~(call of [now eny] lex) =^ did lex abet:(~(call of [now eny] lex) hen q.hic)
[did ..^$] [did ..^$]
:: :: ++doze :: :: ++doze
++ doze :: await ++ doze :: await

View File

@ -1126,7 +1126,7 @@
$% {$apple p/(map site @)} :: web api key $% {$apple p/(map site @)} :: web api key
{$block $~} :: banned {$block $~} :: banned
{$email p/(set @t)} :: email addresses {$email p/(set @t)} :: email addresses
{$final p/@pG} :: recognize by ticket {$final p/(map ship @pG)} :: ticketed ships
{$fungi p/(map term @ud)} :: fungibles {$fungi p/(map term @ud)} :: fungibles
{$guest $~} :: refugee visa {$guest $~} :: refugee visa
{$hotel p/(map dorm pile)} :: reserved block {$hotel p/(map dorm pile)} :: reserved block