Renamed sre and sourcee back to src and source.

This commit is contained in:
Fang 2017-06-15 18:53:47 -07:00
parent 532de2520b
commit 90c0ccdad0
4 changed files with 26 additions and 26 deletions

View File

@ -274,7 +274,7 @@
$circle $circle
%. gaz.piz %. gaz.piz
%= ta-lesson %= ta-lesson
sources sre.loc.cos.piz sources src.loc.cos.piz
mirrors (~(put by rem.cos.piz) incir loc.cos.piz) mirrors (~(put by rem.cos.piz) incir loc.cos.piz)
remotes (~(put by rem.pes.piz) inpan loc.pes.piz) remotes (~(put by rem.pes.piz) inpan loc.pes.piz)
== ==
@ -315,7 +315,7 @@
$config $config
%= +> %= +>
sources sources
?. ?& ?=($sourcee -.dif.dif) ?. ?& ?=($source -.dif.dif)
=(cir.dif incir) =(cir.dif incir)
== ==
sources sources
@ -1506,7 +1506,7 @@
=. +>.$ =. +>.$
%+ sh-show-sources %+ sh-show-sources
(weld (trip inbox) ": ") (weld (trip inbox) ": ")
(sh-set-diff sre.laz sre.loc) (sh-set-diff src.laz src.loc)
?: !=(sec.con.loc sec.con.laz) ?: !=(sec.con.loc sec.con.laz)
=. +>.$ (sh-note :(weld pre "but " (sh-cure sec.con.loc))) =. +>.$ (sh-note :(weld pre "but " (sh-cure sec.con.loc)))
%^ sh-show-permits %^ sh-show-permits

View File

@ -693,12 +693,12 @@
%+ weld %+ weld
^- (list diff-story) ^- (list diff-story)
?~ old ~ ?~ old ~
::TODO? what to do about sre? ::TODO? what to do about src?
:~ ::[%follow | sre.u.old] :~ ::[%follow | src.u.old]
[%config so-cir %permit | ses.con.u.old] [%config so-cir %permit | ses.con.u.old]
== ==
^- (list diff-story) ^- (list diff-story)
:~ ::[%follow & sre.cof] ::TODO double-check da-$follow checks existing sre :~ ::[%follow & src.cof] ::TODO double-check da-$follow checks existing src
[%config so-cir %caption cap.cof] [%config so-cir %caption cap.cof]
[%config so-cir %filter fit.cof] [%config so-cir %filter fit.cof]
[%config so-cir %secure sec.con.cof] [%config so-cir %secure sec.con.cof]
@ -743,7 +743,7 @@
::TODO? these checks are still important, because ::TODO? these checks are still important, because
:: when things are slow we may get diffs from :: when things are slow we may get diffs from
:: things we already unsubscribed from, right? :: things we already unsubscribed from, right?
~? ?! ?| (~(has in sre.shape) [%& src]) ~? ?! ?| (~(has in src.shape) [%& src])
=(src so-cir) =(src so-cir)
== ==
[%unexpected-rumor-source nom -.dif src] [%unexpected-rumor-source nom -.dif src]
@ -832,7 +832,7 @@
|= {add/? pas/(set partner)} |= {add/? pas/(set partner)}
^+ +> ^+ +>
=/ sus/(set partner) =/ sus/(set partner)
%. sre.shape %. src.shape
?:(add ~(dif in pas) ~(int in pas)) ?:(add ~(dif in pas) ~(int in pas))
?~ sus +>.$ ?~ sus +>.$
(so-delta-our %follow & sus) (so-delta-our %follow & sus)
@ -886,16 +886,16 @@
:: ::
|= pan/partner |= pan/partner
^+ +> ^+ +>
?: (~(has in sre.shape) pan) +> ?: (~(has in src.shape) pan) +>
(so-delta-our %config so-cir %sourcee & [pan ~ ~]) (so-delta-our %config so-cir %source & [pan ~ ~])
:: ::
++ so-leave ::< subscription ended ++ so-leave ::< subscription ended
::> delete {pan} from our sources. ::> delete {pan} from our sources.
:: ::
|= pan/partner |= pan/partner
^+ +> ^+ +>
?. (~(has in sre.shape) pan) +> ?. (~(has in src.shape) pan) +>
(so-delta-our %config so-cir %sourcee | [pan ~ ~]) (so-delta-our %config so-cir %source | [pan ~ ~])
:: ::
++ so-start ::< subscribe follower ++ so-start ::< subscribe follower
::> called upon subscribe. deduces the range of ::> called upon subscribe. deduces the range of
@ -1344,7 +1344,7 @@
++ sa-delete ::< deletion of story ++ sa-delete ::< deletion of story
::> ::>
:: ::
(sa-abjure (~(tap in sre.shape))) (sa-abjure (~(tap in src.shape)))
:: ::
++ sa-change ::< apply circle delta ++ sa-change ::< apply circle delta
::> ::>
@ -1400,16 +1400,16 @@
:: ::
$follow $follow
:: we have to do the effects first, because it :: we have to do the effects first, because it
:: checks for new sub targets using sre.shape. :: checks for new sub targets using src.shape.
~& [%sa-change-follow nom sub.dif pas.dif] ~& [%sa-change-follow nom sub.dif pas.dif]
=. +> =. +>
(sa-emil (sa-follow-effects sub.dif pas.dif)) (sa-emil (sa-follow-effects sub.dif pas.dif))
%_ +> ::TODO delete, only done once success %_ +> ::TODO delete, only done once success
sre.shape ::TODO =? src.shape ::TODO =?
%. pas.dif %. pas.dif
?: sub.dif ?: sub.dif
~(uni in sre.shape) ~(uni in src.shape)
~(dif in sre.shape) ~(dif in src.shape)
== ==
== ==
:: ::
@ -1478,7 +1478,7 @@
|= {sub/? pas/(set partner)} |= {sub/? pas/(set partner)}
^- (list move) ^- (list move)
=/ sus/(set partner) =/ sus/(set partner)
%. sre.shape %. src.shape
?:(sub ~(dif in pas) ~(int in pas)) ?:(sub ~(dif in pas) ~(int in pas))
%. (~(tap in sus)) %. (~(tap in sus))
?:(sub sa-acquire sa-abjure) ?:(sub sa-acquire sa-abjure)
@ -1669,7 +1669,7 @@
:- %friend :- %friend
%- ~(gas in *(set circle)) %- ~(gas in *(set circle))
%+ murn %+ murn
=- (~(tap in sre.shape.-)) =- (~(tap in src.shape.-))
(~(got by stories) (main our.bol)) (~(got by stories) (main our.bol))
|= p/partner |= p/partner
^- (unit circle) ^- (unit circle)

View File

@ -99,14 +99,14 @@
$filter cof(fit fit.dif) $filter cof(fit fit.dif)
$remove cof $remove cof
:: ::
$sourcee $source
%= cof %= cof
sre src
%. `(set partner)`pas.dif ::TODO? why do we *need* to cast? %. `(set partner)`pas.dif ::TODO? why do we *need* to cast?
~& [%doing-sourcee add.dif pas.dif] ~& [%doing-source add.dif pas.dif]
?: add.dif ?: add.dif
~(uni in sre.cof) ~(uni in src.cof)
~(dif in sre.cof) ~(dif in src.cof)
== ==
:: ::
$permit $permit

View File

@ -76,7 +76,7 @@
++ diff-config ::> config change ++ diff-config ::> config change
$% {$full cof/config} ::< set w/o side-effects $% {$full cof/config} ::< set w/o side-effects
::TODO maybe just single partner, since we prob always do that ::TODO maybe just single partner, since we prob always do that
{$sourcee add/? pas/(set partner)} ::< add/rem sources {$source add/? pas/(set partner)} ::< add/rem sources
{$caption cap/cord} ::< changed description {$caption cap/cord} ::< changed description
{$filter fit/filter} ::< changed filter {$filter fit/filter} ::< changed filter
{$secure sec/security} ::< changed security {$secure sec/security} ::< changed security
@ -150,7 +150,7 @@
:: circle configurations. :: :: circle configurations. ::
++ lobby {loc/config rem/(map circle config)} ::< our & srcs configs ++ lobby {loc/config rem/(map circle config)} ::< our & srcs configs
++ config ::> circle config ++ config ::> circle config
$: sre/(set partner) ::< active sources $: src/(set partner) ::< active sources
cap/cord ::< description cap/cord ::< description
fit/filter ::< message rules fit/filter ::< message rules
con/control ::< restrictions con/control ::< restrictions