!: :: clay (4c), revision control :: :: This is split in three top-level sections: structure definitions, main :: logic, and arvo interface. :: :::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::: :: :: Here are the structures. `++raft` is the formal arvo state. It's also :: worth noting that many of the clay-related structures are defined in zuse. :: :::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::: |= pit+vase => |% ++ cane :: change set _: new+(map path lobe) :: new files cal+(map path lobe) :: old diffs can+(map path cage) :: new diffs old+(map path $~) :: deleted files == :: ++ cult (map duct rove) :: subscriptions ++ dojo :: domestic desk state _: qyx+cult :: subscribers dom+dome :: desk data dok+(unit dork) :: outstanding diffs mer+(unit mery) :: outstanding merge == :: ++ gift gift-clay :: out result <-$ ++ kiss kiss-clay :: in request ->$ ++ mery :: merge state _: sor+(pair ship desk) :: merge source hen+duct :: formal source gem+germ :: strategy wat+wait :: waiting on cas+case :: ali's case ali+yaki :: ali's commit bob+yaki :: bob's commit bas+yaki :: mergebase dal+cane :: diff(bas,ali) dob+cane :: diff(bas,bob) bof+(map path (unit cage)) :: conflict diffs bop+(map path cage) :: conflict patches new+yaki :: merge(dal,dob) ank+ankh :: new state erg+(map path ?) :: ergoable changes gon+(each (set path) (pair term (list tank))) :: return value == :: ++ wait _? $null $ali $diff-ali $diff-bob :: what are we $merge $build $checkout $ergo :: waiting for? == :: ++ moot {p+case q+case r+path s+(map path lobe)} :: stored change range ++ move {p+duct q+(mold note gift)} :: local move ++ nako _: gar+(map aeon tako) :: new ids let+aeon :: next id lar+(set yaki) :: new commits bar+(set plop) :: new content == :: ++ note :: out request $-> _% _: $a :: to %ames _% {$wont p+sock q+path r+*} :: == == :: _: $c :: to %clay _% {$info p+@p q+@tas r+nori} :: internal edit {$merg p+@p q+@tas r+@p s+@tas t+case u+germ} :: merge desks {$warp p+sock q+riff} :: == == :: _: $d :: _% {$flog p+{$crud p+@tas q+(list tank)}} :: to %dill == == :: _: $f :: _% {$exec p+@p q+(unit {beak silk})} :: == == :: _: $t :: _% {$wait p+@da} :: {$rest p+@da} :: == == == :: ++ sign :: in result $<- _? _: $a :: by %ames _% {$woot p+ship q+coop} :: == == :: _: $c :: by %clay _% {$note p+@tD q+tank} :: {$mere p+(each (set path) (pair term tang))} {$writ p+riot} :: == == :: _: $f :: _% {$made p+@uvH q+gage} :: == == :: _: $t :: _% {$wake $~} :: timer activate == == :: _: @tas :: by any _% {$crud p+@tas q+(list tank)} :: == == == :: ++ raft :: filesystem _: fat+(map ship room) :: domestic hoy+(map ship rung) :: foreign ran+rang :: hashes mon+(map term beam) :: mount points hez+(unit duct) :: sync duct == :: ++ rede :: universal project _: lim+@da :: complete to ref+(unit rind) :: outgoing requests qyx+cult :: subscribers dom+dome :: revision state dok+(unit dork) :: outstanding diffs mer+(unit mery) :: outstanding merges == :: ++ rind :: request manager _: nix+@ud :: request index bom+(map @ud {p+duct q+rave}) :: outstanding fod+(map duct @ud) :: current requests haw=(map mood (unit cage)) :: simple cache nak=(unit nako) :: pending validation == :: ++ room :: fs per ship _: hun=duct :: terminal duct dos=(map desk dojo) :: native desk == :: ++ rove :: stored request _% {$sing p+mood} :: single request {$next p+mood q+(unit (each cage lobe))} :: next version {$many p+? q+moot} :: change range == :: ++ rung _: rus+(map desk rede) :: neighbor desks == :: ++ tage {{$tabl p+(list (pair marc marc))} q+vase} :: %tabl gage ++ dork :: diff work $: del+(list path) :: deletes ink+(list (pair path cage)) :: hoo{nk} ins+(unit (list (pair path cage))) :: inserts dig+(map path cage) :: store diffs dif+(unit (list (trel path lobe cage))) :: changes muc+(map path cage) :: store mutations muh+(map path lobe) :: store hashes mut+(unit (list (trel path lobe cage))) :: mutations mim+(map path mime) :: mime cache == :: -- => :::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::: :: section 4cA, filesystem logic :: :: This core contains the main logic of clay. Besides `++ze`, this directly :: contains the logic for commiting new revisions (local urbits), managing :: and notifying subscribers (reactivity), and pulling and validating content :: (remote urbits). :: :: The state includes: :: :: -- current time `now` :: -- current duct `hen` :: -- local urbit `our` :: -- target urbit `her` :: -- target desk `syd` :: -- all vane state `++raft` (rarely used, except for the object store) :: :: For local desks, `our` == `her` is one of the urbits on our pier. For :: foreign desks, `her` is the urbit the desk is on and `our` is the local :: urbit that's managing the relationship with the foreign urbit. Don't mix :: up those two, or there will be wailing and gnashing of teeth. :: :: While setting up `++de`, we check if the given `her` is a local urbit. If :: so, we pull the room from `fat` in the raft and get the desk information :: from `dos` in there. Otherwise, we get the rung from `hoy` and get the :: desk information from `rus` in there. In either case, we normalize the :: desk information to a `++rede`, which is all the desk-specific data that :: we utilize in `++de`. Because it's effectively a part of the `++de` :: state, let's look at what we've got: :: :: -- `lim` is the most recent date we're confident we have all the :: information for. For local desks, this is always `now`. For foreign :: desks, this is the last time we got a full update from the foreign :: urbit. :: -- `ref` is a possible request manager. For local desks, this is null. :: For foreign desks, this keeps track of all pending foreign requests :: plus a cache of the responses to previous requests. :: -- `qyx` is the set of subscriptions, keyed by duct. These subscriptions :: exist only until they've been filled. :: -- `dom` is the actual state of the filetree. Since this is used almost :: exclusively in `++ze`, we describe it there. :: -- `dok` is a possible set of outstanding requests to ford to perform :: various tasks on commit. This is null iff we're not in the middle of :: a commit. :: -- `mer` is the state of a possible pending merge. This is null iff :: we're not in the middle of a merge. Since this is used almost :: exclusively in `++me`, we describe it there. :: :::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::: |% ++ de :: per desk |= {now+@da hen+duct raft} |= {{our+@p her+@p} syd+desk} =* ruf +>+<+> =+ ^- [hun=(unit duct) rede] =+ rom=(~(get by fat.ruf) her) ?~ rom :- ~ %+ fall (~(get by rus:(fall (~(get by hoy.ruf) her) *rung)) syd) :* lim=~2000.1.1 ref=[~ *rind] qyx=~ dom=*dome dok=~ mer=~ == :- `hun.u.rom =+ jod=(fall (~(get by dos.u.rom) syd) *dojo) :* lim=now ref=~ qyx=qyx.jod dom=dom.jod dok=dok.jod mer=mer.jod == =* red -> =| mow+(list move) |% ++ abet ^- {(list move) raft} :_ =+ rom=(~(get by fat.ruf) her) ?~ rom =+ rug=(~(put by rus:(fall (~(get by hoy.ruf) her) *rung)) syd red) ruf(hoy (~(put by hoy.ruf) her rug)) =+ dos=(~(put by dos.u.rom) syd [qyx dom dok mer]) ruf(fat (~(put by fat.ruf) her [(need hun) dos])) (flop mow) :: ++ aver :: read |= mun+mood ^- (unit (unit (each cage lobe))) =+ ezy=?~(ref ~ (~(get by haw.u.ref) mun)) ?^ ezy `(bind u.ezy (cury same %&)) =+ nao=(case-to-aeon:ze q.mun) :: ~& [%aver-mun nao [%from syd lim q.mun]] ?~(nao ~ (read-at-aeon:ze u.nao mun)) :: ++ ford-fail |=(tan+tang ~|(%ford-fail (mean tan))) ++ unwrap-tang |* res+(each * tang) ?:(?=($& -.res) p.res (mean p.res)) :: ++ gage-to-cages |= gag+gage ^- (list (pair cage cage)) (unwrap-tang (gage-to-tage gag)) :: ++ gage-to-success-cages |= gag+gage ^- (list (pair cage cage)) ?. ?=($tabl -.gag) (ford-fail ?-(-.gag $| p.gag, $& [>%strange-gage p.p.gag<]~)) %+ murn p.gag |= {key+gage val+gage} ^- (unit {cage cage}) ?. ?=($& -.key) (ford-fail ?-(-.key $| p.key, $tabl [>%strange-gage<]~)) ?- -.val $tabl (ford-fail >%strange-gage< ~) {$&} (some [p.key p.val]) {$|} =. p.val [(sell q.p.key) p.val] ~> %slog.[0 %*(. >%ford-fail syd %her %why< |2.+> p.val)] ~ == :: ++ gage-to-tage |= gag+gage ^- (each (list (pair cage cage)) tang) ?: ?=($| -.gag) (mule |.(`~`(ford-fail p.gag))) ?. ?=($tabl -.gag) (mule |.(`~`(ford-fail >%strange-gage p.p.gag< ~))) =< ?+(. [%& .] [@ *] .) |- ^- ?((list {cage cage}) (each $~ tang)) ?~ p.gag ~ =* hed i.p.gag ?- -.p.hed $tabl (mule |.(`~`(ford-fail >%strange-gage< ~))) {$|} (mule |.(`~`(ford-fail p.p.hed))) {$&} ?- -.q.hed $tabl (mule |.(`~`(ford-fail >%strange-gage< ~))) {$|} (mule |.(`~`(ford-fail p.q.hed))) {$&} =+ $(p.gag t.p.gag) ?+(- [[p.p p.q]:hed -] [@ *] -) == == :: ++ cages-to-map |= tay+(list (pair cage cage)) =| can+(map path cage) |- ^- (each (map path cage) tang) ?~ tay [%& can] =* pax p.i.tay ?. ?=($path p.pax) (mule |.(`~`~|([%expected-path got=p.pax] !!))) $(tay t.tay, can (~(put by can) ((hard path) q.q.pax) q.i.tay)) :: ++ emit |= mof+move %_(+> mow [mof mow]) :: ++ emil |= mof+(list move) %_(+> mow (welp mof mow)) :: ++ balk :: read and send |= {hen+duct cay+(unit (each cage lobe)) mun+mood} ^+ +> ?~ cay (blub hen) (blab hen mun u.cay) :: ++ bait |= {hen+duct tym+@da} (emit hen %pass /tyme %t %wait tym) :: ++ best |= {hen+duct tym+@da} (emit hen %pass /tyme %t %rest tym) :: ++ blab :: ship result |= {hen+duct mun+mood dat+(each cage lobe)} ^+ +> ?: ?=($& -.dat) (emit hen %give %writ ~ [p.mun q.mun syd] r.mun p.dat) %- emit :* hen %pass [%blab p.mun (scot q.mun) syd r.mun] %f %exec our ~ [her syd q.mun] (lobe-to-silk:ze r.mun p.dat) == :: ++ bleb :: ship sequence |= {hen+duct ins+@ud hip+(unit (pair aeon aeon))} ^+ +> %^ blab hen [%w [%ud ins] ~] :- %& ?~ hip [%null [%atom %n] ~] [%nako !>((make-nako:ze u.hip))] :: ++ blub :: ship stop |= hen+duct (emit hen %give %writ ~) :: ++ print-to-dill |= {car+@tD tan+tank} (emit (need hun) %give %note car tan) :: ++ send-over-ames |= {a+duct b+path c+ship d+{p+@ud q+riff}} (emit a %pass b %a %wont [our c] [%c %question p.q.d (scot %ud p.d) ~] q.d) :: ++ duce :: produce request |= rov+rove ^+ +> =. qyx (~(put by qyx) hen rov) ?~ ref (mabe rov (cury bait hen)) |- ^+ +>+.$ =+ rav=(reve rov) =+ ^= vaw ^- rave ?. ?=({$sing $v *} rav) rav [%many %| [%ud let.dom] `case`q.p.rav r.p.rav] =+ inx=nix.u.ref =. +>+.$ =< ?>(?=(^ ref) .) (send-over-ames hen [(scot %ud inx) ~] her inx syd ~ vaw) %= +>+.$ nix.u.ref +(nix.u.ref) bom.u.ref (~(put by bom.u.ref) inx [hen vaw]) fod.u.ref (~(put by fod.u.ref) hen inx) == :: ++ must-ergo |= can+(list path) ^- (map term (pair @ud (set path))) %- mo ^- (list (trel term @ud (set path))) %+ murn (~(tap by mon)) |= {nam+term bem+beam} ^- (unit (trel term @ud (set path))) =- ?~(- ~ `[nam (lent s.bem) (sa -)]) %+ skim can |= pax=path &(=(p.bem her) =(q.bem syd) =((flop s.bem) (scag (lent s.bem) pax))) :: ++ mont |= {pot+term pax+path} ^+ +> =+ can=(turn (~(tap by q:(aeon-to-yaki:ze let.dom))) head) =+ mus=(skim can |=(paf=path =(pax (scag (lent pax) paf)))) ?~ mus +>.$ %- emit :* hen %pass [%ergoing (scot %p her) syd ~] %f %exec our ~ [her syd %da now] %tabl ^- (list (pair silk silk)) %+ turn `(list path)`mus |= a=path ^- (pair silk silk) :- [%$ %path !>(a)] :+ %cast %mime =+ (need (need (read-x:ze let.dom a))) ?: ?=($& -<) [%$ p.-] (lobe-to-silk:ze a p.-) == :: ++ ease :: release request ^+ . ?~ ref =+ rov=(~(get by qyx) hen) ?~ rov + :: XX handle? =. qyx (~(del by qyx) hen) (mabe u.rov (cury best hen)) =. qyx (~(del by qyx) hen) |- ^+ +.$ =+ nux=(~(get by fod.u.ref) hen) ?~ nux +.$ =. +.$ =< ?>(?=(^ ref) .) (send-over-ames hen [(scot %ud u.nux) ~] her u.nux syd ~) %= +.$ fod.u.ref (~(del by fod.u.ref) hen) bom.u.ref (~(del by bom.u.ref) u.nux) == :: ++ eave :: subscribe |= rav+rave ^+ +> ?- -.rav $sing =+ ver=(aver p.rav) ?~ ver (duce rav) ?~ u.ver (blub hen) (blab hen p.rav u.u.ver) :: $next =+ ver=(aver p.rav) ?~ ver (duce [- p ~]:rav) ?~ u.ver (blub hen) =+ yon=+((need (case-to-aeon:ze q.p.rav))) |- ^+ +>.^$ ?: (gth yon let.dom) (duce -.rav p.rav u.ver) =+ var=(aver p.rav(q [%ud yon])) ?~ var ~& [%oh-no rave=rav aeon=yon letdom=let.dom] +>.^$ ?~ u.var (blab hen p.rav %& %null [%atom %n] ~) :: only her %x ?: (equivalent-data:ze u.u.ver u.u.var) $(yon +(yon)) (blab hen p.rav u.u.var) :: $many =+ nab=(case-to-aeon:ze p.q.rav) ?~ nab ?> =(~ (case-to-aeon:ze q.q.rav)) (duce (rive rav)) =+ huy=(case-to-aeon:ze q.q.rav) ?: &(?=(^ huy) |((lth u.huy u.nab) &(=(0 u.huy) =(0 u.nab)))) (blub hen) =+ top=?~(huy let.dom u.huy) =+ sar=(lobes-at-path:ze u.nab r.q.rav) =+ ear=(lobes-at-path:ze top r.q.rav) =. +>.$ (bleb hen u.nab ?:(p.rav ~ `[u.nab top])) ?^ huy (blub hen) =+ ^= ptr ^- case [%ud +(let.dom)] (duce `rove`[%many p.rav ptr q.q.rav r.q.rav ear]) == :: ++ echo :: announce changes |= {wen+@da lem+nuri} ^+ +> =+ pre=`path`~[(scot %p her) syd (scot %ud let.dom)] ?- -.lem {$|} (print-to-dill '=' %leaf :(weld (trip p.lem) " " (spud pre))) {$&} |- ^+ +>.^$ ?~ p.lem +>.^$ =. +>.^$ %+ print-to-dill ?-(-.q.i.p.lem %del '-', %ins '+', %dif ':') :+ %rose ["/" "/" ~] %+ turn (weld pre p.i.p.lem) |= a=cord ?: ((sane %ta) a) [%leaf (trip a)] [%leaf (dash:ut (trip a) '\'')] $(p.lem t.p.lem) == :: :: This is the entry point to the commit flow. It deserves some :: explaining, since it's rather long and convoluted. :: :: We take a `++nori`, which is either a label-add request or a `++soba`, :: which is a list of changes. If it's a label, it's easy and we just pass :: it to `++edit:ze`. :: :: If the given `++nori` is a list of file changes, then we our goal is to :: convert the list of `++miso` changes to `++misu` changes. In other :: words, turn the `++nori` into a `++nuri`. Then, we pass it to :: `++edit:ze`, which applies the changes to our state, and then we :: check out the new revision. XX reword :: :: Anyhow, enough of high-level wishy-washy talk. It's time to get down to :: the nitty-gritty. :: :: When we get a list of `++miso` changes, we split them into four types: :: deletions, insertions, diffs (i.e. change from diff), and mutations :: (i.e. change from new data). We do four different things with them. :: :: For deletions, we just fill in `del` in `++dork` with a list of the :: deleted files. :: :: For insertions, we distinguish bewtween `%hoon` files and all other :: files. For `%hoon` files, we just store them to `ink` in `++dork` so :: that we add diff them directly. `%hoon` files have to be treated :: specially to make the bootstrapping sequence work, since the mark :: definitions are themselves `%hoon` files. :: :: For the other files, we make a `%tabl` compound ford request to convert :: the data for the new file to the the mark indicated by the last span in :: the path. :: :: For diffs, we make a `%tabl` compound ford request to apply the diff to :: the existing content. We also store the diffs in `dig` in `++dork`. :: :: For mutations, we make a `%tabl` compound ford request to convert the :: given new data to the mark of the already-existing file. Later on in :: `++take-castify` we'll create the ford request to actually perform the :: diff. We also store the mutations in `muc` in `++dork`. I'm pretty :: sure that's useless because who cares about the original data. :: XX delete `muc`. :: :: Finally, for performance reasons we cache any of the data that came in :: as a `%mime` cage. We do this because many commits come from unix, :: where they're passed in as `%mime` and need to be turned back into it :: for the ergo. We cache both `%hoon` and non-`%hoon` inserts and :: mutations. :: :: At this point, the flow of control goes through the three ford requests :: back to `++take-inserting`, `++take-diffing`, and `++take-castifying`, :: which itself leads to `++take-mutating`. Once each of those has :: completed, we end up at `++apply-edit`, where our unified story picks up :: again. :: ++ edit :: apply changes |= {wen+@da lem+nori} ^+ +> ?: ?=($| -.lem) =^ hat +>.$ (edit:ze wen lem) ?~ hat +>.$ wake:(echo:(checkout-ankh u.hat) wen lem) ?. =(~ dok) ~& %already-applying-changes +> =+ del=(skim p.lem :(corl (cury test %del) head tail)) =+ ins=(skim p.lem :(corl (cury test %ins) head tail)) =+ dif=(skim p.lem :(corl (cury test %dif) head tail)) =+ mut=(skim p.lem :(corl (cury test %mut) head tail)) =^ ink ins ^- [(list (pair path miso)) (list (pair path miso))] %+ skid `(list (pair path miso))`ins |= [pax=path mis=miso] ?> ?=($ins -.mis) ?& ?=({_?($hoon $hook) *} (flop pax)) ?=($mime p.p.mis) == =. +>.$ %- emil ^- (list move) :~ :* hen %pass [%inserting (scot %p her) syd (scot %da wen) ~] %f %exec our ~ [her syd %da wen] %tabl ^- (list (pair silk silk)) %+ turn ins |= {pax+path mis+miso} ?> ?=($ins -.mis) :- [%$ %path -:!>(*path) pax] =+ =>((flop pax) ?~(. %$ i)) [%cast - [%$ p.mis]] == :* hen %pass [%diffing (scot %p her) syd (scot %da wen) ~] %f %exec our ~ [her syd %da wen] %tabl ^- (list (pair silk silk)) %+ turn dif |= {pax+path mis+miso} ?> ?=($dif -.mis) =+ (need (need (read-x:ze let.dom pax))) ?> ?=($& -<) :- [%$ %path -:!>(*path) pax] [%pact [%$ p.-] [%$ p.mis]] == :* hen %pass [%castifying (scot %p her) syd (scot %da wen) ~] %f %exec our ~ [her syd %da wen] %tabl ^- (list (pair silk silk)) %+ turn mut |= {pax+path mis+miso} ?> ?=($mut -.mis) :- [%$ %path -:!>(*path) pax] =+ (lobe-to-mark:ze (~(got by q:(aeon-to-yaki:ze let.dom)) pax)) [%cast - [%$ p.mis]] == == %_ +>.$ dok :- ~ :* (turn del |=({pax+path mis+miso} ?>(?=($del -.mis) pax))) :: %+ turn ink |= {pax+path mis+miso} ^- (pair path cage) ?> ?=($ins -.mis) =+ =>((flop pax) ?~(. %$ i)) [pax - [%atom %t] ((hard @t) +>.q.q.p.mis)] :: ~ :: (mo (turn dif |=({pax+path mis+miso} ?>(?=($dif -.mis) [pax p.mis])))) :: ~ :: (mo (turn mut |=({pax+path mis+miso} ?>(?=($mut -.mis) [pax p.mis])))) :: ~ :: ~ :: %- mo ^- (list (pair path mime)) ;: welp ^- (list (pair path mime)) %+ murn ins |= [pax=path mis=miso] ^- (unit (pair path mime)) ?> ?=($ins -.mis) ?. ?=($mime p.p.mis) ~ `[pax ((hard mime) q.q.p.mis)] :: ^- (list (pair path mime)) %+ murn ink |= [pax=path mis=miso] ^- (unit (pair path mime)) ?> ?=($ins -.mis) ?> ?=($mime p.p.mis) `[pax ((hard mime) q.q.p.mis)] :: ^- (list (pair path mime)) %+ murn mut |= [pax=path mis=miso] ^- (unit (pair path mime)) ?> ?=($mut -.mis) ?. ?=($mime p.p.mis) ~ `[pax ((hard mime) q.q.p.mis)] == == == :: ++ apply-edit |= wen+@da ^+ +> =+ ^- sim+(list (pair path misu)) ?~ dok ~|(%no-changes !!) ?> ?=(^ ins.u.dok) ?> ?=(^ dif.u.dok) ?> ?=(^ mut.u.dok) ;: welp ^- (list (pair path misu)) (turn del.u.dok |=(pax=path [pax %del ~])) :: ^- (list (pair path misu)) (turn ink.u.dok |=([pax=path cay=cage] [pax %ins cay])) :: ^- (list (pair path misu)) (turn u.ins.u.dok |=([pax=path cay=cage] [pax %ins cay])) :: ^- (list (pair path misu)) (turn u.dif.u.dok |=([pax=path cal=[lobe cage]] [pax %dif cal])) :: ^- (list (pair path misu)) (turn u.mut.u.dok |=([pax=path cal=[lobe cage]] [pax %dif cal])) == =+ hat=(edit:ze wen %& sim) ?~ dok ~& %no-changes !! ?~ -.hat ([echo(dok ~)]:.(+>.$ +.hat) wen %& sim) (checkout-ankh(lat.ran lat.ran.+.hat) u.-.hat) :: ++ take-inserting |= {wen+@da res+gage} ^+ +> ?~ dok ~& %clay-take-inserting-unexpected-made +>.$ ?. =(~ ins.u.dok) ~& %clay-take-inserting-redundant-made +>.$ =- =. ins.u.dok `- ?: ?& ?=(^ dif.u.dok) ?=(^ mut.u.dok) == (apply-edit wen) +>.$ ^- (list (pair path cage)) %+ turn (gage-to-success-cages res) |= [pax=cage cay=cage] ?. ?=($path p.pax) ~|(%clay-take-inserting-strange-path-mark !!) [((hard path) q.q.pax) cay] :: ++ take-diffing |= {wen+@da res+gage} ^+ +> ?~ dok ~& %clay-take-diffing-unexpected-made +>.$ ?. =(~ dif.u.dok) ~& %clay-take-diffing-redundant-made +>.$ =- =. dif.u.dok `- ?: ?& ?=(^ ins.u.dok) ?=(^ mut.u.dok) == (apply-edit wen) +>.$ ^- (list (trel path lobe cage)) %+ turn (gage-to-cages res) |= {pax+cage cay+cage} ^- (pair path (pair lobe cage)) ?. ?=($path p.pax) ~|(%clay-take-diffing-strange-path-mark !!) =+ paf=((hard path) q.q.pax) [paf (page-to-lobe:ze [p q.q]:cay) (~(got by dig.u.dok) paf)] :: ++ take-castify |= {wen+@da res+gage} ^+ +> ?~ dok ~& %clay-take-castifying-unexpected-made +>.$ ?. =(~ muh.u.dok) ~& %clay-take-castifying-redundant-made +>.$ =+ ^- cat+(list (pair path cage)) %+ turn (gage-to-cages res) |= {pax+cage cay+cage} ?. ?=($path p.pax) ~|(%castify-bad-path-mark !!) [((hard path) q.q.pax) cay] =. muh.u.dok %- mo %+ turn cat |= {pax+path cay+cage} [pax (page-to-lobe:ze [p q.q]:cay)] %- emit :* hen %pass [%mutating (scot %p her) syd (scot %da wen) ~] %f %exec our ~ [her syd %da wen] %tabl ^- (list (pair silk silk)) %+ turn cat |= {pax+path cay+cage} :- [%$ %path -:!>(*path) pax] =+ (lobe-to-silk:ze pax (~(got by q:(aeon-to-yaki:ze let.dom)) pax)) [%diff - [%$ cay]] == :: ++ take-mutating |= {wen+@da res+gage} ^+ +> ?~ dok ~& %clay-take-mutating-unexpected-made +>.$ ?. =(~ mut.u.dok) ~& %clay-take-mutating-redundant-made +>.$ =- =. mut.u.dok `- ?: ?& ?=(^ ins.u.dok) ?=(^ dif.u.dok) == (apply-edit wen) +>.$ ^- (list (trel path lobe cage)) %+ murn (gage-to-cages res) |= {pax+cage cay+cage} ^- (unit (pair path (pair lobe cage))) ?. ?=($path p.pax) ~|(%clay-take-mutating-strange-path-mark !!) ?: ?=($null p.cay) ~ =+ paf=((hard path) q.q.pax) `[paf (~(got by muh.u.dok) paf) cay] :: ++ take-patch |= res+gage ^+ +> :: ~& %taking-patch ?: ?=($| -.res) =. dok ~ (print-to-dill '!' %rose [" " "" ""] leaf/"clay patch failed" p.res) :: ~& %editing =+ ^- sim+(list (pair path misu)) ?~ dok ~|(%no-changes !!) ?> ?=(^ ins.u.dok) ?> ?=(^ dif.u.dok) ?> ?=(^ mut.u.dok) ;: welp ^- (list (pair path misu)) (turn del.u.dok |=(pax=path [pax %del ~])) :: ^- (list (pair path misu)) (turn ink.u.dok |=([pax=path cay=cage] [pax %ins cay])) :: ^- (list (pair path misu)) (turn u.ins.u.dok |=([pax=path cay=cage] [pax %ins cay])) :: ^- (list (pair path misu)) (turn u.dif.u.dok |=([pax=path cal=[lobe cage]] [pax %dif cal])) :: ^- (list (pair path misu)) (turn u.mut.u.dok |=([pax=path cal=[lobe cage]] [pax %dif cal])) == =^ hat +>.$ (edit:ze now %& sim) :: XX do same in ++apply-edit ?~ dok ~& %no-dok +>.$ => %= . +>.$ ?< ?=($~ hat) :: XX whut? (echo now %& sim) == ?~ dok ~& %no-dok +>.$ =+ ^- cat=(list (trel path lobe cage)) %+ turn (gage-to-cages res) |= {pax+cage cay+cage} ?. ?=($path-hash p.pax) ~|(%patch-bad-path-mark !!) [-< -> +]:[((hard ,[path lobe]) q.q.pax) cay] :: ~& %canned :: ~& %checking-out =. ank.dom (checkout-ankh:ze (mo cat)) :: ~& %checked-out :: ~& %waking =. +>.$ =>(wake ?>(?=(^ dok) .)) :: ~& %waked ?~ hez +>.$(dok ~) =+ mus=(must-ergo (turn sim head)) ?: =(~ mus) +>.$(dok ~) =+ ^- sum+(set path) =+ (turn (~(tap by mus)) (corl tail tail)) %+ roll - |= {pak+(set path) acc+(set path)} (~(uni in acc) pak) =+ can=(mo sim) :: ~& %forming-ergo :: =- ~& %formed-ergo - %- emit(dok ~) :* hen %pass [%ergoing (scot %p her) syd ~] %f %exec our ~ [her syd %da now] %tabl ^- (list (pair silk silk)) %+ turn (~(tap in sum)) |= a+path ^- (pair silk silk) :- [%$ %path !>(a)] =+ b=(~(got by can) a) ?: ?=($del -.b) [%$ %null !>(~)] =+ (~(get by mim.u.dok) a) ?^ - [%$ %mime !>(u.-)] :+ %cast %mime =+ (need (need (read-x:ze let.dom a))) ?: ?=($& -<) [%$ p.-] (lobe-to-silk:ze a p.-) == :: :: See ++edit for a description of the commit flow. ++ take-ergo |= res+gage ^+ +> ?: ?=($| -.res) (print-to-dill '!' %rose [" " "" ""] leaf/"clay ergo failed" p.res) ?~ hez ~|(%no-sync-duct !!) =+ ^- can+(map path (unit mime)) %- mo ^- mode %+ turn (gage-to-cages res) |= {pax+cage mim+cage} ?. ?=($path p.pax) ~|(%ergo-bad-path-mark !!) :- ((hard path) q.q.pax) ?. ?=($mime p.mim) ~ `((hard mime) q.q.mim) =+ mus=(must-ergo (turn (~(tap by can)) head)) %- emil %+ turn (~(tap by mus)) |= {pot+term len+@ud pak+(set path)} :* u.hez %give %ergo pot %+ turn (~(tap in pak)) |= pax+path [(slag len pax) (~(got by can) pax)] == :: :: See ++edit for a description of the commit flow. ++ checkout-ankh |= hat+(map path lobe) ^+ +> %- emit :* hen %pass [%patching (scot %p her) syd ~] %f %exec our :^ ~ [her syd %da now] %tabl ^- (list (pair silk silk)) %+ turn (~(tap by hat)) |= {a+path b+lobe} ^- (pair silk silk) :- [%$ %path-hash !>([a b])] (lobe-to-silk:ze a b) == :: ++ apply-foreign-update :: apply subscription |= $^ _: lem+(unit @da) :: complete up to gar+(map aeon tako) :: new ids let+aeon :: next id lar+(set yaki) :: new commits bar+(set blob) :: new content == ^+ +> =< wake =+ ^- nut+(map tako yaki) %- mo ^- (list (pair tako yaki)) %+ turn (~(tap in lar)) |= yak+yaki [r.yak yak] =+ ^- nat+(map lobe blob) %- mo ^- (list (pair lobe blob)) %+ turn (~(tap in bar)) |= bol+blob [p.bol bol] ~| :* %bad-foreign-update :* gar=gar let=let nut=(~(run by nut) ,~) nat=(~(run by nat) ,~) == :* hitdom=hit.dom letdom=let.dom hutran=(~(run by hut.ran) ,~) latran=(~(run by lat.ran) ,~) == == =+ hit=(~(uni by hit.dom) gar) =+ let=let =+ hut=(~(uni by hut.ran) nut) =+ lat=(~(uni by lat.ran) nat) =+ ?: =(0 let) ~ =+ yon=`aeon`1 :: sanity check |- ~| yon=yon =+ tak=(~(got by hit) yon) =+ yak=(~(got by hut) tak) =+ %- ~(urn by q.yak) |= {pax+path lob+lobe} ~| [pax=path lob=lobe] (~(got by lat) lob) ?: =(let yon) ~ $(yon +(yon)) %= +>.$ lim (max (fall lem lim) lim) hit.dom hit let.dom (max let let.dom) hut.ran hut lat.ran lat == :: ++ exec :: change and update |= {wen+@da lem+nori} ^+ +> (edit wen lem) :: :: Be careful to call ++wake if/when necessary. Every case :: must call it individually. :: ++ take-foreign-update :: external change |= {inx+@ud rut+(unit rand)} ^+ +> ?> ?=(^ ref) |- ^+ +>+.$ =+ ruv=(~(get by bom.u.ref) inx) ?~ ruv +>+.$ => ?. |(?=($~ rut) ?=($sing -.q.u.ruv)) . %_ . bom.u.ref (~(del by bom.u.ref) inx) fod.u.ref (~(del by fod.u.ref) p.u.ruv) == ?~ rut =+ rav=`rave`q.u.ruv =< ?>(?=(^ ref) .) %_ wake lim ?.(&(?=($many -.rav) ?=($da -.q.q.rav)) lim `@da`p.q.q.rav) :: haw.u.ref ?. ?=($sing -.rav) haw.u.ref (~(put by haw.u.ref) p.rav ~) == ?- p.p.u.rut %u ~| %im-thinkin-its-prolly-a-bad-idea-to-request-rang-over-the-network !! :: %v ~| %weird-we-shouldnt-get-a-dome-request-over-the-network !! :: %x =< ?>(?=(^ ref) .) (validate-x p.p.u.rut q.p.u.rut q.u.rut r.u.rut) :: %w =. haw.u.ref %+ ~(put by haw.u.ref) [p.p.u.rut q.p.u.rut q.u.rut] :+ ~ p.r.u.rut ?+ p.r.u.rut ~| %strange-w-over-nextwork !! %aeon !>(((hard aeon) q.r.u.rut)) %null [[%atom %n] ~] %nako !>(~|([%harding [&1 &2 &3]:q.r.u.rut] ((hard nako) q.r.u.rut))) == ?. ?=($nako p.r.u.rut) [?>(?=(^ ref) .)]:wake =+ rav=`rave`q.u.ruv ?> ?=($many -.rav) |- ^+ +>+.^$ =+ nez=[%w [%ud let.dom] ~] =+ nex=(~(get by haw.u.ref) nez) ?~ nex +>+.^$ ?~ u.nex +>+.^$ :: should never happen =. nak.u.ref `((hard nako) q.q.u.u.nex) =. +>+.^$ ?: =(0 let.dom) =< ?>(?=(^ ref) .) %+ apply-foreign-update ?.(?=($da -.q.q.rav) ~ `p.q.q.rav) (need nak.u.ref) =< ?>(?=(^ ref) .) %^ validate-plops [%ud let.dom] ?.(?=($da -.q.q.rav) ~ `p.q.q.rav) bar:(need nak.u.ref) %= $ haw.u.ref (~(del by haw.u.ref) nez) == :: %y =< ?>(?=(^ ref) .) %_ wake haw.u.ref %+ ~(put by haw.u.ref) [p.p.u.rut q.p.u.rut q.u.rut] `[p.r.u.rut !>(((hard arch) q.r.u.rut))] == :: %z ~| %its-prolly-not-reasonable-to-request-ankh-over-the-network-sorry !! == :: ++ validate-x |= {car+care cas+case pax+path peg+page} ^+ +> %- emit :* hen %pass [%foreign-x (scot %p our) (scot %p her) syd car (scot cas) pax] %f %exec our ~ [her syd cas] [%vale peg] == :: ++ take-foreign-x |= {car+care cas+case pax+path res+gage} ^+ +> ?> ?=(^ ref) ?. ?=($& -.res) ~| "validate foreign x failed" =+ why=?-(-.res %| p.res, %tabl ~[>%bad-marc<]) ~> %mean.|.(%*(. >[%plop-fail %why]< |1.+> why)) !! ?> ?=(@ p.p.res) wake(haw.u.ref (~(put by haw.u.ref) [car cas pax] `p.res)) :: ++ validate-plops |= {cas+case lem+(unit @da) pop+(set plop)} ^+ +> =+ lum=(scot %da (fall lem *@da)) %- emit :* hen %pass [%foreign-plops (scot %p our) (scot %p her) syd lum ~] %f %exec our ~ [her syd cas] %tabl ^- (list (pair silk silk)) %+ turn (~(tap in pop)) |= a=plop ?- -.a %delta [[%$ %blob !>([%delta p.a q.a *page])] [%vale p.r.a q.r.a]] %direct [[%$ %blob !>([%direct p.a *page])] [%vale p.q.a q.q.a]] == == :: ++ take-foreign-plops |= {lem+(unit @da) res+gage} ^+ +> ?> ?=(^ ref) ?> ?=(^ nak.u.ref) =+ ^- lat=(list blob) %+ turn ~|("validate foreign plops failed" (gage-to-cages res)) |= [bob=cage cay=cage] ?. ?=($blob p.bob) ~| %plop-not-blob !! =+ bol=((hard blob) q.q.bob) ?- -.bol %delta [-.bol p.bol q.bol p.cay q.q.cay] %direct [-.bol p.bol p.cay q.q.cay] == %^ apply-foreign-update lem gar.u.nak.u.ref :+ let.u.nak.u.ref lar.u.nak.u.ref (sa lat) :: ++ mabe :: maybe fire function |* {rov+rove fun+_+(@da __(+>.^$))} ^+ +>.$ %- fall :_ +>.$ %- bind :_ fun ^- (unit @da) ?- -.rov $sing ?. ?=($da -.q.p.rov) ~ `p.q.p.rov :: $next ~ $many =* mot q.rov %+ hunt ?. ?=($da -.p.mot) ~ ?.((lth now p.p.mot) ~ [~ p.p.mot]) ?. ?=($da -.q.mot) ~ ?.((lth now p.q.mot) [~ now] [~ p.q.mot]) == :: ++ reve |= rov+rove ^- rave ?- -.rov $sing rov $next [- p]:rov $many [%many p.rov p.q.rov q.q.rov r.q.rov] == :: ++ rive |= rav+{$many p+? q+moat} ^- rove [%many p.rav p.q.rav q.q.rav r.q.rav ~] :: ++ wake :: update subscribers ^+ . =+ xiq=(~(tap by qyx) ~) =| xaq+(list {p+duct q+rove}) |- ^+ ..wake ?~ xiq ..wake(qyx (~(gas by *cult) xaq)) ?- -.q.i.xiq $sing =+ cas=?~(ref ~ (~(get by haw.u.ref) `mood`p.q.i.xiq)) ?^ cas %= $ xiq t.xiq ..wake ?~ u.cas (blub p.i.xiq) (blab p.i.xiq p.q.i.xiq %& u.u.cas) == =+ nao=(case-to-aeon:ze q.p.q.i.xiq) ?~ nao $(xiq t.xiq, xaq [i.xiq xaq]) :: ~& %reading-at-aeon =+ vid=(read-at-aeon:ze u.nao p.q.i.xiq) :: ~& %red-at-aeon ?~ vid :: ?: =(0 u.nao) :: ~& [%oh-poor `path`[syd '0' r.p.q.i.xiq]] :: $(xiq t.xiq) :: ~& [%oh-well desk=syd mood=p.q.i.xiq aeon=u.nao] $(xiq t.xiq, xaq [i.xiq xaq]) $(xiq t.xiq, ..wake (balk p.i.xiq u.vid p.q.i.xiq)) :: %next =* mun p.q.i.xiq =* dat q.q.i.xiq ?~ dat =+ ver=(aver mun) ?~ ver $(xiq t.xiq, xaq [i.xiq xaq]) ?~ u.ver $(xiq t.xiq, ..wake (blub p.i.xiq)) $(xiq t.xiq, xaq [i.xiq(q.q u.ver) xaq]) =+ var=(aver mun(q [%ud let.dom])) ?~ var ~& [%oh-noes mood=mun letdom=let.dom] $(xiq t.xiq) ?~ u.var $(xiq t.xiq, ..wake (blab p.i.xiq mun %& %null [%atom %n] ~)) ?: (equivalent-data:ze u.dat u.u.var) $(xiq t.xiq, xaq [i.xiq xaq]) $(xiq t.xiq, ..wake (blab p.i.xiq mun u.u.var)) :: %many =+ mot=`moot`q.q.i.xiq =+ nab=(case-to-aeon:ze p.mot) ?~ nab $(xiq t.xiq, xaq [i.xiq xaq]) =+ huy=(case-to-aeon:ze q.mot) ?~ huy =+ ptr=[%ud +(let.dom)] %= $ xiq t.xiq xaq [[p.i.xiq [%many p.q.i.xiq ptr q.mot r.mot s.mot]] xaq] ..wake =+ ^= ear (lobes-at-path:ze let.dom r.mot) ?: =(s.mot ear) ..wake (bleb p.i.xiq let.dom ?:(p.q.i.xiq ~ `[u.nab let.dom])) == %= $ xiq t.xiq ..wake =- (blub:- p.i.xiq) =+ ^= ear (lobes-at-path:ze u.huy r.mot) ?: =(s.mot ear) (blub p.i.xiq) (bleb p.i.xiq +(u.nab) ?:(p.q.i.xiq ~ `[u.nab u.huy])) == == ++ drop-me ^+ . ?~ mer . %- emit(mer ~) ^- move :* hen.u.mer %give %mere %| %user-interrupt >sor.u.mer< >our< >cas.u.mer< >gem.u.mer< ~ == :: :::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::: :: :: This core has no additional state, and the distinction exists purely for :: documentation. The overarching theme is that `++de` directly contains :: logic for metadata about the desk, while `++ze` is composed primarily :: of helper functions for manipulating the desk state (`++dome`) itself. :: Functions include: :: :: -- converting between cases, commit hashes, commits, content hashes, :: and content :: -- creating commits and content and adding them to the tree :: -- finding which data needs to be sent over the network to keep the :: -- other urbit up-to-date :: -- reading from the file tree through different `++care` options :: -- the `++me` core for merging. :: :: The dome is composed of the following: :: :: -- `ank` is the ankh, which is the file data itself. An ankh is both :: a possible file and a possible directory. An ankh has both: :: -- `fil`, a possible file, stored as both a cage and its hash :: -- `dir`, a map of @ta to more ankhs. :: -- `let` is the number of the most recent revision. :: -- `hit` is a map of revision numbers to commit hashes. :: -- `lab` is a map of labels to revision numbers. :: :::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::: ++ ze |% ++ aeon-to-tako ~(got by hit.dom) ++ aeon-to-yaki (cork aeon-to-tako tako-to-yaki) ++ lobe-to-blob ~(got by lat.ran) ++ tako-to-yaki ~(got by hut.ran) ++ lobe-to-mark |= a+lobe => (lobe-to-blob a) ?- - $delta p.q $direct p.q == ++ lobe-to-silk :: XX maybe move hoo{n,k} stuff here |= {pax+path lob+lobe} ^- silk =+ ^- hat+(map path lobe) ?: =(let.dom 0) ~ q:(aeon-to-yaki let.dom) =+ lol=`(unit lobe)`?.(=(~ ref) `0vsen.tinel (~(get by hat) pax)) |- ^- silk ?: =([~ lob] lol) =+ (need (need (read-x let.dom pax))) ?> ?=($& -<) [%$ p.-] =+ bol=(~(got by lat.ran) lob) ?- -.bol $direct [%volt q.bol] $delta ~| delta/q.q.bol [%pact $(lob q.q.bol) [%volt r.bol]] == :: ++ page-to-lobe |=(page (shax (jam +<))) ++ equivalent-data |= {one+(each cage lobe) two+(each cage lobe)} ^- ? ?: ?=($& -.one) ?: ?=($& -.two) =([p q.q]:p.one [p q.q]:p.two) =(p.two (page-to-lobe [p q.q]:p.one)) ?: ?=($& -.two) =(p.one (page-to-lobe [p q.q]:p.two)) =(p.one p.two) :: ++ make-direct :: make blob |= p+page ^- blob [%direct (page-to-lobe p) p] :: ++ make-delta :: make blob delta |= {p+lobe q+{p+mark q+lobe} r+page} ^- blob [%delta p q r] :: ++ make-yaki :: make yaki |= {p+(list tako) q+(map path lobe) t+@da} ^- yaki =+ ^= has %^ cat 7 (sham [%yaki (roll p add) q t]) (sham [%tako (roll p add) q t]) [p q has t] :: ++ apply-changes :: apply-changes:ze |= lar+(list {p+path q+misu}) :: store changes ^- (map path blob) =+ ^= hat :: current state ?: =(let.dom 0) :: initial commit ~ :: has nothing =< q %- aeon-to-yaki let.dom =- =+ sar=(sa (turn lar |=({p+path *} p))) :: changed paths %+ roll (~(tap by hat) ~) :: find unchanged =< .(bat bar) |= {{pax+path gar+lobe} bat+(map path blob)} ?: (~(has in sar) pax) :: has update bat %+ ~(put by bat) pax ~| [pax gar (lent (~(tap by lat.ran)))] (lobe-to-blob gar) :: use original ^= bar ^- (map path blob) %+ roll lar |= {{pax+path mys+misu} bar+(map path blob)} ^+ bar ?- -.mys $ins :: insert if not exist ?: (~(has by bar) pax) !! :: ?: (~(has by hat) pax) !! :: %+ ~(put by bar) pax %- make-direct ?: &(?=($mime -.p.mys) =([%hook ~] (slag (dec (lent pax)) pax))) `page`[%hook +.+.q.q.p.mys] ?: &(?=($mime -.p.mys) =([%hoon ~] (slag (dec (lent pax)) pax))) `page`[%hoon +.+.q.q.p.mys] [p q.q]:p.mys :: $del :: delete if exists ?. |((~(has by hat) pax) (~(has by bar) pax)) !! (~(del by bar) pax) :: $dif :: mutate, must exist =+ ber=(~(get by bar) pax) :: XX typed =+ her==>((flop pax) ?~(. %$ i)) ?~ ber =+ har=(~(get by hat) pax) ?~ har !! %+ ~(put by bar) pax (make-delta p.mys [(lobe-to-mark u.har) u.har] [p q.q]:q.mys) :: XX check vase !evil :: XX of course that's a problem, p.u.ber isn't in rang since it :: was just created. We shouldn't be sending multiple :: diffs :: %+ ~(put by bar) pax :: (make-delta p.mys [(lobe-to-mark p.u.ber) p.u.ber] [p q.q]:q.mys) :: :: XX check vase !evil ~|([%two-diffs-for-same-file syd pax] !!) == :: ++ case-to-aeon :: case-to-aeon:ze |= lok+case :: act count through ^- (unit aeon) ?- -.lok $da ?: (gth p.lok lim) ~ |- ^- (unit aeon) ?: =(0 let.dom) [~ 0] :: avoid underflow ?: %+ gte p.lok =< t ~| [%letdom let=let.dom hit=hit.dom hut=(~(run by hut.ran) ,~)] ~| [%getdom (~(get by hit.dom) let.dom)] %- aeon-to-yaki let.dom [~ let.dom] $(let.dom (dec let.dom)) :: $tas (~(get by lab.dom) p.lok) $ud ?:((gth p.lok let.dom) ~ [~ p.lok]) == :: ++ checkout-ankh |= hat+(map path (pair lobe cage)) ^- ankh :: %- cosh %+ roll (~(tap by hat) ~) |= {{pat+path lob+lobe zar+cage} ank+ankh} ^- ankh :: %- cosh ?~ pat ank(fil [~ lob zar]) =+ nak=(~(get by dir.ank) i.pat) %= ank dir %+ ~(put by dir.ank) i.pat $(pat t.pat, ank (fall nak *ankh)) == :: ++ edit :: edit:ze |= {wen+@da lem+nuri} :: edit ^- [(unit (map path lobe)) __(..ze)] ?- -.lem {$&} =^ yak lat.ran :: merge objects %+ forge-yaki wen ?: =(let.dom 0) :: initial import [~ p.lem] [(some r:(aeon-to-yaki let.dom)) p.lem] ?. ?| =(0 let.dom) !=((lent p.yak) 1) !(equiv q.yak q:(aeon-to-yaki let.dom)) == `..ze :: silently ignore =: let.dom +(let.dom) hit.dom (~(put by hit.dom) +(let.dom) r.yak) hut.ran (~(put by hut.ran) r.yak yak) == [`q.yak ..ze] :: +>.$(ank (checkout-ankh q.yak)) {$|} ?< (~(has by lab.dom) p.lem) [~ ..ze(lab.dom (~(put by lab.dom) p.lem let.dom))] == :: ++ equiv :: test paths |= {p+(map path lobe) q+(map path lobe)} ^- ? =- ?. qat %.n %+ levy (~(tap by q) ~) |= {pat+path lob+lobe} (~(has by p) pat) ^= qat %+ levy (~(tap by p) ~) |= {pat+path lob+lobe} =+ zat=(~(get by q) pat) ?~ zat %.n =(u.zat lob) :: =((lobe-to-cage u.zat) (lobe-to-cage lob)) :: ++ forge-yaki :: forge-yaki:ze |= {wen+@da par+(unit tako) lem+suba} :: forge yaki =+ ^= per ?~ par ~ ~[u.par] =+ gar=(update-lat (apply-changes lem) lat.ran) :- (make-yaki per +.gar wen) :: from existing diff -.gar :: fix lat :: ++ lobes-at-path :: lobes-at-path:ze |= {yon+aeon pax+path} :: data at path ^- (map path lobe) ?: =(0 yon) ~ %- mo %+ skim %. ~ %~ tap by =< q %- aeon-to-yaki yon |= {p+path q+lobe} ?| ?=($~ pax) ?& !?=($~ p) =(-.pax -.p) $(p +.p, pax +.pax) == == :: ++ make-nako |= {a+aeon b+aeon} ^- nako :+ ?> (lte b let.dom) |- ?: =(b let.dom) hit.dom $(hit.dom (~(del by hit.dom) let.dom), let.dom (dec let.dom)) b ?: =(0 b) [~ ~] (data-twixt-takos (~(get by hit.dom) a) (aeon-to-tako b)) :: ++ query :: query:ze |= ren+_?($u $v $x $y $z) :: endpoint query ^- (unit cage) ?- ren $u !! :: [~ %null [%atom %n] ~] $v [~ %dome !>(dom)] $x !! :: ?~(q.ank.dom ~ [~ q.u.q.ank.dom]) $y !! :: [~ %arch !>(as-arch)] $z [~ %ankh !>(ank.dom)] == :: ++ new-lobes :: object hash set |= {b+(set lobe) a+(set tako)} :: that aren't in b ^- (set lobe) %+ roll (~(tap in a) ~) |= {tak+tako bar+(set lobe)} ^- (set lobe) =+ yak=(tako-to-yaki tak) %+ roll (~(tap by q.yak) ~) =< .(far bar) |= {{path lob+lobe} far+(set lobe)} ^- (set lobe) ?~ (~(has in b) lob) :: don't need far =+ gar=(lobe-to-blob lob) ?- -.gar $direct (~(put in far) lob) $delta (~(put in $(lob q.q.gar)) lob) == :: ++ data-twixt-takos |= {a+(unit tako) b+tako} ^- [(set yaki) (set plop)] =+ old=?~(a ~ (reachable-takos u.a)) =+ ^- yal=(set tako) %- sa %+ skip (~(tap in (reachable-takos b))) |=(tak=tako (~(has in old) tak)) :- (sa (turn (~(tap in yal)) tako-to-yaki)) (sa (turn (~(tap in (new-lobes (new-lobes ~ old) yal))) lobe-to-blob)) :: ++ reachable-takos :: reachable |= p+tako :: XX slow ^- (set tako) =+ y=(tako-to-yaki p) %+ roll p.y =< .(s (~(put in *(set tako)) p)) |= [q=tako s=(set tako)] ?: (~(has in s) q) :: already done s :: hence skip (~(uni in s) ^$(p q)) :: otherwise traverse :: ++ read :: read:ze |= mun+mood :: read at point ^- (unit cage) ?: ?=($v p.mun) [~ %dome !>(dom)] ?: &(?=($w p.mun) !?=($ud -.q.mun)) ?^(r.mun ~ [~ %aeon !>(let.dom)]) ?: ?=($w p.mun) =+ ^= yak %- aeon-to-yaki let.dom ?^(r.mun ~ !!) :: [~ %w !>([t.yak (forge-nori yak)])]) (query(ank.dom ank:(descend-path:(zu ank.dom) r.mun)) p.mun) :: ++ read-u |= {yon+aeon pax+path} ^- (unit (unit (each {$null (hypo $~)} lobe))) =+ tak=(~(get by hit.dom) yon) ?~ tak ~ ```[%null [%atom %n] ~] :: ++ read-v |= {yon+aeon pax+path} ^- (unit (unit {$dome (hypo dome)})) ?: (lth yon let.dom) ~ ?: (gth yon let.dom) `~ ``[%dome -:!>(*dome) dom] :: ++ read-x |= {yon+aeon pax+path} ^- (unit (unit (each cage lobe))) ?: =(0 yon) [~ ~] =+ tak=(~(get by hit.dom) yon) ?~ tak ~ ?: &(?=($~ ref) =(yon let.dom)) :- ~ %+ bind fil.ank:(descend-path:(zu ank.dom) pax) (corl (cury same %&) tail) =+ yak=(tako-to-yaki u.tak) =+ lob=(~(get by q.yak) pax) ?~ lob [~ ~] =+ mar=(lobe-to-mark u.lob) ?. ?=(?(%hoon %hook) mar) [~ ~ %| u.lob] :^ ~ ~ %& :+ mar [%atom %t] |- ^- @t :: (urge cord) would be faster =+ bol=(lobe-to-blob u.lob) ?: ?=($direct -.bol) ((hard @t) q.q.bol) ?> ?=($delta -.bol) =+ txt=$(u.lob q.q.bol) ?> ?=($txt-diff p.r.bol) =+ dif=((hard (urge cord)) q.r.bol) =+ pac=(role (lurk (lore (cat 3 txt '\0a')) dif)) (end 3 (dec (met 3 pac)) pac) :: ++ read-y |= {yon+aeon pax+path} ^- (unit (unit {$arch (hypo arch)})) ?: =(0 yon) ``[%arch -:!>(*arch) *arch] =+ tak=(~(get by hit.dom) yon) ?~ tak ~ =+ yak=(tako-to-yaki u.tak) =+ len=(lent pax) :^ ~ ~ %arch :: ~& cy/pax :- -:!>(*arch) ^- arch =+ ^- descendants=(list (pair path lobe)) :: ~& %turning :: =- ~& %turned - %+ turn :: ~& %skimming :: =- ~& %skimmed - %+ skim (~(tap by (~(del by q.yak) pax))) |= {paf+path lob+lobe} =(pax (scag len paf)) |= {paf+path lob+lobe} [(slag len paf) lob] =+ us=(~(get by q.yak) pax) :+ ?: &(?=($~ descendants) ?=($~ us)) *@uvI %+ roll ^- (list (pair path lobe)) [[~ ?~(us *lobe u.us)] descendants] |=([[path lobe] @uvI] (shax (jam +<))) us ^- (map span ,~) %- mo ^- (list (pair span ,~)) %+ turn descendants |= {paf+path lob+lobe} [?>(?=(^ paf) i.paf) ~] :: ++ read-at-aeon :: read-at-aeon:ze |= {yon+aeon mun+mood} :: seek and read ^- (unit (unit (each cage lobe))) ?: &(?=($w p.mun) !?=($ud -.q.mun)) :: NB only her speed ?^(r.mun [~ ~] [~ ~ %& %aeon !>(yon)]) ?: ?=($u p.mun) (read-u yon r.mun) ?: ?=($v p.mun) (bind (read-v yon r.mun) (curr bind (cury same %&))) ?: ?=($x p.mun) (read-x yon r.mun) ?: ?=($y p.mun) :: =- ~& :* %dude-someones-getting-curious :: mun=mun :: yon=yon :: our=our :: her=her :: syd=syd :: hep=- :: == :: - (bind (read-y yon r.mun) (curr bind (cury same %&))) %+ bind (rewind yon) |= a+(unit __(+>.$)) ^- (unit (each cage lobe)) ?~ a ~ `(unit (each cage lobe))`(bind (read:u.a mun) (cury same %&)) :: ++ rewind :: rewind:ze |= yon+aeon :: rewind to aeon ^- (unit (unit __(+>))) ?: =(let.dom yon) ``+> ?: (gth yon let.dom) !! :: don't have version =+ hat=q:(aeon-to-yaki yon) ?: (~(any by hat) |=(a=lobe ?=($delta [-:(lobe-to-blob a)]))) ~ ~ ::=+ ^- (map path cage) :: %- ~(run by hat) :: |= a=lobe :: =+ (lobe-to-blob a) :: ?-(-.- %direct q.-, %delta !!) ::`+>.$(ank.dom (checkout-ankh -), let.dom yon) :: ++ update-lat :: update-lat:ze |= {lag+(map path blob) sta+(map lobe blob)} :: fix lat ^- {(map lobe blob) (map path lobe)} %+ roll (~(tap by lag) ~) =< .(lut sta) |= {{pat+path bar+blob} {lut+(map lobe blob) gar+(map path lobe)}} ?~ (~(has by lut) p.bar) [lut (~(put by gar) pat p.bar)] :- (~(put by lut) p.bar bar) (~(put by gar) pat p.bar) :: ++ zu :: filesystem |= ank+ankh :: filesystem state =| ram+path :: reverse path into |% ++ descend :: descend |= lol=@ta ^+ +> =+ you=(~(get by dir.ank) lol) +>.$(ram [lol ram], ank ?~(you [~ ~] u.you)) :: ++ descend-path :: descend recursively |= way=path ^+ +> ?~(way +> $(way t.way, +> (descend i.way))) -- :: :::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::: :: :: This core is specific to any currently running merge. This is :: basically a simple (DAG-shaped) state machine. We always say we're :: merging from 'ali' to 'bob. The basic steps, not all of which are :: always needed, are: :: :: -- fetch ali's desk :: -- diff ali's desk against the mergebase :: -- diff bob's desk against the mergebase :: -- merge the diffs :: -- build the new state :: -- "checkout" (apply to actual `++dome`) the new state :: -- "ergo" (tell unix about) any changes :: :: The state filled in order through each step: :: :: -- `sor` is the urbit and desk of ali. :: -- `hen` is the duct that instigated the merge. :: -- `gem` is the merge strategy. These are described in :: `++fetched-ali`. :: -- `wat` is the current step of the merge process. :: -- `cas` is the case in ali's desk that we're merging from. :: -- `ali` is the commit from ali's desk. :: -- `bob` is the commit from bob's desk. :: -- `bas` is the commit from the mergebase. :: -- `dal` is the set of changes from the mergebase to ali's desk. :: -- `dob` is the set of changes from the mergebase to bob's desk. :: These two merit slightly more explanation. There are four kinds :: of changes: :: -- `new` is the set of files in the new desk and not in the :: mergebase. :: -- `cal` is the set of changes in the new desk from the mergebase :: except for any that are also in the other new desk. :: -- `can` is the set of changes in the new desk from the mergebase :: and that are also in the other new desk (potential conflicts). :: -- `old` is the set of files in the mergebase and not in the new :: desk. :: -- `bof` is the set of changes to the same files in ali and bob. :: Null for a file means a conflict while a cage means the diffs :: have been merged. :: -- `bop` is the result of patching the original files with the above :: merged diffs. :: -- `new` is the newly-created commit. :: -- `ank` is the ankh for the new state. :: -- `erg` is the sets of files that should be told to unix. True :: means to write the file while false means to delete the file. :: -- `gon` is the return value of the merge. On success we produce a :: set of the paths that had conflicting changes. On failure we :: produce an error code and message. :: :::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::: ++ me :: merge ali into bob |= [ali=(pair ship desk) alh=(unit ankh) new=?] :: from =+ bob=`(pair ship desk)`[our syd] :: to =+ ^- dat=(each mery term) ?~ mer ?: new =+ *mery `-(sor ali:+, hen hen:+, wat %null) [%| %not-actually-merging] ?. new ?: =(ali sor.u.mer) `u.mer ~& :* %already-merging-from-somewhere-else ali=ali sor=sor.u.mer gem=gem.u.mer wat=wat.u.mer cas=cas.u.mer hen=hen henmer=hen.u.mer == [%| %already-merging-from-somewhere-else] ~& :* %already-merging-from-somewhere ali=ali sor=sor.u.mer gem=gem.u.mer wat=wat.u.mer cas=cas.u.mer hen=hen henmer=hen.u.mer == [%| %already-merging-from-somewhere] ?: ?=($| -.dat) ~|(p.dat !!) =+ dat=p.dat =| don+? :: keep going |% ++ abet ^+ ..me ?: don ..me(mer `dat) =. mer ~ => (emit hen.dat %give %mere gon.dat) ..me :: ++ emit |= move %_(+> ..ze (^emit +<)) :: ++ emil |= (list move) %_(+> ..ze (^emil +<)) :: ++ route |= {sat+term res+(each riot gage)} ^+ +>.$ ?. =(sat wat.dat) ~| :* %hold-your-horses-merge-out-of-order sat=sat wat=wat.dat ali=ali bob=bob hepres=-.res == !! ?+ +< ~|((crip <[%bad-stage sat ?~(-.res %riot %gage)]>) !!) {$ali $& *} %.(p.res fetched-ali) {$diff-ali $| *} %.(p.res diffed-ali) {$diff-bob $| *} %.(p.res diffed-bob) {$merge $| *} %.(p.res merged) {$build $| *} %.(p.res built) {$checkout $| *} %.(p.res checked-out) {$ergo $| *} %.(p.res ergoed) == :: ++ start |= {cas+case gem+germ} ^+ +> ?: &(=(0 let.dom) !?=(?(%init %that) gem)) (error:he %no-bob-desk ~) =. cas.dat cas =. gem.dat gem ?: =(0 let.dom) fetch-ali(gem.dat %init) =+ (~(get by hit.dom) let.dom) ?~ - (error:he %no-bob--version ~) =+ (~(get by hut.ran) u.-) ?~ - (error:he %no-bob-commit ~) fetch-ali(bob.dat u.-) :: ++ fetch-ali ^+ . %- emit(wat.dat %ali) :* hen %pass [%merge (scot %p p.bob) q.bob (scot %p p.ali) q.ali %ali ~] %c %warp [p.bob p.ali] q.ali `[%sing %v cas.dat /] == :: ++ fetched-ali |= rot+riot ^+ +> ?~ rot (error:he %bad-fetch-ali ~) =+ ^= dum %- (hard {ank+* let+@ud hit+(map @ud tako) lab+(map @tas @ud)}) q.q.r.u.rot ?: =(0 let.dum) (error:he %no-ali-desk ~) =+ (~(get by hit.dum) let.dum) ?~ - (error:he %no-ali-version ~) =+ (~(get by hut.ran) u.-) ?~ - (error:he %no-ali-commit ~) =. ali.dat u.- |- ?- gem.dat $init =. new.dat ali.dat =. hut.ran (~(put by hut.ran) r.new.dat new.dat) =. erg.dat (~(run by q.ali.dat) |=(lobe %&)) checkout :: $this ?: =(r.ali.dat r.bob.dat) done:he ?: (~(has in (reachable-takos r.bob.dat)) r.ali.dat) done:he =. new.dat (make-yaki [r.ali.dat r.bob.dat ~] q.bob.dat now) =. hut.ran (~(put by hut.ran) r.new.dat new.dat) =. erg.dat ~ checkout :: $that ?: =(r.ali.dat r.bob.dat) done:he =. new.dat (make-yaki [r.ali.dat r.bob.dat ~] q.ali.dat now) =. hut.ran (~(put by hut.ran) r.new.dat new.dat) =. erg.dat %- mo ^- (list {path ?}) %+ murn (~(tap by (~(uni by q.bob.dat) q.ali.dat))) |= {pax+path lob+lobe} ^- (unit {path ?}) =+ a=(~(get by q.ali.dat) pax) =+ b=(~(get by q.bob.dat) pax) ?: =(a b) ~ `[pax !=(~ a)] checkout :: $fine ?: =(r.ali.dat r.bob.dat) :: ~& [%fine-trivial ali= bob= r.ali.dat r.bob.dat] done:he ?: (~(has in (reachable-takos r.bob.dat)) r.ali.dat) :: ~& [%fine-mostly-trivial ali= bob=] done:he ?. (~(has in (reachable-takos r.ali.dat)) r.bob.dat) :: ~& [%fine-not-so-trivial ali= bob=] (error:he %bad-fine-merge ~) :: ~& [%fine-lets-go ali= bob=] =. new.dat ali.dat =. erg.dat %- mo ^- (list {path ?}) %+ murn (~(tap by (~(uni by q.bob.dat) q.ali.dat))) |= {pax+path lob+lobe} ^- (unit {path ?}) =+ a=(~(get by q.ali.dat) pax) =+ b=(~(get by q.bob.dat) pax) ?: =(a b) ~ `[pax !=(~ a)] checkout :: ?($meet $mate $meld) ?: =(r.ali.dat r.bob.dat) done:he ?. (~(has by hut.ran) r.bob.dat) (error:he %bad-bob-tako >r.bob.dat< ~) ?: (~(has in (reachable-takos r.bob.dat)) r.ali.dat) done:he ?: (~(has in (reachable-takos r.ali.dat)) r.bob.dat) $(gem.dat %fine) =+ r=(find-merge-points:he ali.dat bob.dat) ?~ r (error:he %merge-no-merge-base ~) ?. ?=({* $~ $~} r) =+ (lent (~(tap in `(set yaki)`r))) (error:he %merge-criss-cross >[-]< ~) =. bas.dat n.r ?: ?=(?($mate $meld) gem.dat) diff-ali =. new.dal.dat %- mo %+ skip (~(tap by q.ali.dat)) |= [pax=path lob=lobe] (~(has by q.bas.dat) pax) =. cal.dal.dat %- mo %+ skip (~(tap by q.ali.dat)) |= {pax+path lob+lobe} =+ (~(get by q.bas.dat) pax) |(=(~ -) =([~ lob] -)) =. can.dal.dat ~ =. old.dal.dat %- mo ^- (list {path $~}) %+ murn (~(tap by q.bas.dat)) |= {pax+path lob+lobe} ^- (unit (pair path $~)) ?. =(~ (~(get by q.ali.dat) pax)) ~ `[pax ~] =. new.dob.dat %- mo %+ skip (~(tap by q.bob.dat)) |= {pax+path lob+lobe} (~(has by q.bas.dat) pax) =. cal.dob.dat %- mo %+ skip (~(tap by q.bob.dat)) |= {pax+path lob+lobe} =+ (~(get by q.bas.dat) pax) |(=(~ -) =([~ lob] -)) =. can.dob.dat ~ =. old.dob.dat %- mo ^- (list {path $~}) %+ murn (~(tap by q.bas.dat)) |= {pax+path lob+lobe} ^- (unit (pair path $~)) ?. =(~ (~(get by q.bob.dat) pax)) ~ `[pax ~] =+ ^= bof %- %~ int by %- ~(uni by `(map path *)`new.dal.dat) %- ~(uni by `(map path *)`cal.dal.dat) %- ~(uni by `(map path *)`can.dal.dat) `(map path ,*)`old.dal.dat %- ~(uni by `(map path *)`new.dob.dat) %- ~(uni by `(map path *)`cal.dob.dat) %- ~(uni by `(map path *)`can.dob.dat) `(map path *)`old.dob.dat ?^ bof (error:he %meet-conflict >(~(run by `(map path ,*)`bof) ,_~)< ~) =+ ^- old=(map path lobe) %+ roll (~(tap by (~(uni by old.dal.dat) old.dob.dat))) =< .(old q.bas.dat) |= {{pax+path $~} old+(map path lobe)} (~(del by old) pax) =+ ^= hat %- ~(uni by old) %- ~(uni by new.dal.dat) %- ~(uni by new.dob.dat) %- ~(uni by cal.dal.dat) cal.dob.dat =+ ^- del+(map path ?) (~(run by (~(uni by old.dal.dat) old.dob.dat)) |=(~ %|)) =. new.dat (make-yaki [r.ali.dat r.bob.dat ~] hat now) =. hut.ran (~(put by hut.ran) r.new.dat new.dat) =. erg.dat %- ~(uni by del) ^- (map path ?) %. |=(lobe %&) ~(run by (~(uni by new.dal.dat) cal.dal.dat)) checkout == :: ++ diff-bas |= {nam+term yak+yaki oth+(trel ship desk case) yuk+yaki} ^+ +> %- emit :* hen %pass =+ (cat 3 %diff- nam) [%merge (scot %p p.bob) q.bob (scot %p p.ali) q.ali - ~] %f %exec p.bob ~ [p.oth q.oth r.oth] %tabl ^- (list (pair silk silk)) %+ murn (~(tap by q.bas.dat)) |= {pax+path lob+lobe} ^- (unit (pair silk silk)) =+ a=(~(get by q.yak) pax) ?~ a ~ ?: =(lob u.a) ~ =+ (~(get by q.yuk) pax) ?~ - ~ ?: =(u.a u.-) ~ :- ~ :- [%$ %path !>(pax)] [%diff (lobe-to-silk pax lob) (lobe-to-silk pax u.a)] == :: ++ diff-ali ^+ . (diff-bas(wat.dat %diff-ali) %ali ali.dat [p.ali q.ali cas.dat] bob.dat) :: ++ diffed-ali |= res+gage ^+ +> =+ tay=(gage-to-tage res) ?: ?=($| -.tay) (error:he %diff-ali-bad-made leaf/"merge diff ali failed" p.tay) =+ can=(cages-to-map p.tay) ?: ?=($| -.can) (error:he %diff-ali p.can) ?: ?=($| -.gon.dat) +>.$ =. new.dal.dat %- mo %+ skip (~(tap by q.ali.dat)) |= {pax+path lob+lobe} (~(has by q.bas.dat) pax) =. cal.dal.dat %- mo ^- (list (pair path lobe)) %+ murn (~(tap by q.bas.dat)) |= {pax+path lob+lobe} ^- (unit (pair path lobe)) =+ a=(~(get by q.ali.dat) pax) =+ b=(~(get by q.bob.dat) pax) ?. ?& ?=(^ a) !=([~ lob] a) =([~ lob] b) == ~ `[pax +.a] =. can.dal.dat p.can =. old.dal.dat %- mo ^- (list ,[path ~]) %+ murn (~(tap by q.bas.dat)) |= {pax+path lob+lobe} ?. =(~ (~(get by q.ali.dat) pax)) ~ (some pax ~) diff-bob :: ++ diff-bob ^+ . (diff-bas(wat.dat %diff-bob) %bob bob.dat [p.bob q.bob da/now] ali.dat) :: ++ diffed-bob |= res+gage ^+ +> =+ tay=(gage-to-tage res) ?: ?=($| -.tay) (error:he %diff-bob-bad-made leaf/"merge diff bob failed" p.tay) =+ can=(cages-to-map p.tay) ?: ?=($| -.can) (error:he %diff-bob p.can) ?: ?=($| -.gon.dat) +>.$ =. new.dob.dat %- mo %+ skip (~(tap by q.bob.dat)) |= {pax+path lob+lobe} (~(has by q.bas.dat) pax) =. cal.dob.dat %- mo ^- (list (pair path lobe)) %+ murn (~(tap by q.bas.dat)) |= {pax+path lob+lobe} ^- (unit (pair path lobe)) =+ a=(~(get by q.ali.dat) pax) =+ b=(~(get by q.bob.dat) pax) ?. ?& ?=(^ b) !=([~ lob] b) =([~ lob] a) == ~ `[pax +.b] =. can.dob.dat p.can =. old.dob.dat %- mo ^- (list {path $~}) %+ murn (~(tap by q.bas.dat)) |= {pax+path lob+lobe} ?. =(~ (~(get by q.bob.dat) pax)) ~ (some pax ~) merge :: ++ merge ^+ . |- ^+ +.$ ?+ gem.dat ~| [%merge-weird-gem gem.dat] !! ?($mate $meld) %- emit(wat.dat %merge) :* hen %pass [%merge (scot %p p.bob) q.bob (scot %p p.ali) q.ali %merge ~] %f %exec p.bob ~ [p.bob q.bob da/now] %tabl ^- (list (pair silk silk)) %+ turn (~(tap by (~(int by can.dal.dat) can.dob.dat))) |= {pax+path *} ^- (pair silk silk) =+ cal=(~(got by can.dal.dat) pax) =+ cob=(~(got by can.dob.dat) pax) =+ ^= her =+ (slag (dec (lent pax)) pax) ?~(- %$ i.-) :- [%$ %path !>(pax)] [%join her [%$ cal] [%$ cob]] == == :: ++ merged |= res+gage =+ tay=(gage-to-tage res) ?: ?=($| -.tay) (error:he %merge-bad-made leaf/"merging failed" p.tay) =+ can=(cages-to-map p.tay) ?: ?=($| -.can) (error:he %merge p.can) =+ bof=(~(run by p.can) (flit |=([a=mark ^] !?=($null a)))) ?: ?=($| -.gon.dat) +>.$ =. bof.dat bof build :: ++ build ^+ . %- emit(wat.dat %build) :* hen %pass [%merge (scot %p p.bob) q.bob (scot %p p.ali) q.ali %build ~] %f %exec p.bob ~ [p.bob q.bob da/now] %tabl ^- (list (pair silk silk)) %+ murn (~(tap by bof.dat)) |= {pax+path cay+(unit cage)} ^- (unit (pair silk silk)) ?~ cay ~ :- ~ :- [%$ %path !>(pax)] =+ (~(get by q.bas.dat) pax) ?~ - ~| %mate-strange-diff-no-base !! [%pact (lobe-to-silk pax u.-) [%$ u.cay]] == :: ++ built |= res+gage ^+ +> =+ tay=(gage-to-tage res) ?: ?=($| -.tay) (error:he %build-bad-made leaf/"delta building failed" p.tay) =+ bop=(cages-to-map p.tay) ?: ?=($| -.bop) (error:he %built p.bop) ?: ?=($| -.gon.dat) +>.$ =. bop.dat p.bop =+ ^- con=(map path ,*) :: 2-change conflict %- mo %+ skim (~(tap by bof.dat)) |=({pax+path cay+(unit cage)} ?=($~ cay)) =+ ^- cas+(map path lobe) :: conflict base %- ~(urn by con) |= {pax+path *} (~(got by q.bas.dat) pax) =. con :: change/del conflict %- ~(uni by con) %- mo ^- (list {path *}) %+ skim (~(tap by old.dal.dat)) |= {pax+path $~} ?: (~(has by new.dob.dat) pax) ~| %strange-add-and-del !! (~(has by can.dob.dat) pax) =. con :: change/del conflict %- ~(uni by con) %- mo ^- (list {path *}) %+ skim (~(tap by old.dob.dat)) |= {pax+path $~} ?: (~(has by new.dal.dat) pax) ~| %strange-del-and-add !! (~(has by can.dal.dat) pax) =. con :: add/add conflict %- ~(uni by con) %- mo ^- (list {path *}) %+ skip (~(tap by (~(int by new.dal.dat) new.dob.dat))) |= {pax+path *} =((~(got by new.dal.dat) pax) (~(got by new.dob.dat) pax)) ?: &(?=($mate gem.dat) ?=(^ con)) =+ (turn (~(tap by `(map path *)`con)) |=({path *} >[+<-]<)) (error:he %mate-conflict -) =+ ^- old+(map path lobe) :: oldies but goodies %+ roll (~(tap by (~(uni by old.dal.dat) old.dob.dat))) =< .(old q.bas.dat) |= {{pax+path $~} old+(map path lobe)} (~(del by old) pax) =+ ^- can+(map path cage) :: content changes %- mo ^- (list (pair path cage)) %+ murn (~(tap by bof.dat)) |= {pax+path cay+(unit cage)} ^- (unit (pair path cage)) ?~ cay ~ `[pax u.cay] =^ hot lat.ran :: new content ^- {(map path lobe) (map lobe blob)} %+ roll (~(tap by can)) =< .(lat lat.ran) |= {{pax+path cay+cage} hat+(map path lobe) lat+(map lobe blob)} =+ ^= bol =+ (~(get by q.bas.dat) pax) ?~ - ~| %mate-strange-diff-no-base !! %^ make-delta (page-to-lobe [p q.q]:(~(got by bop.dat) pax)) [(lobe-to-mark u.-) u.-] [p q.q]:cay [(~(put by hat) pax p.bol) (~(put by lat) p.bol bol)] :: ~& old=(~(run by old) mug) :: ~& newdal=(~(run by new.dal.dat) mug) :: ~& newdob=(~(run by new.dob.dat) mug) :: ~& caldal=(~(run by cal.dal.dat) mug) :: ~& caldob=(~(run by cal.dob.dat) mug) :: ~& hot=(~(run by hot) mug) :: ~& cas=(~(run by cas) mug) =+ ^- hat+(map path lobe) :: all the content %- ~(uni by old) %- ~(uni by new.dal.dat) %- ~(uni by new.dob.dat) %- ~(uni by cal.dal.dat) %- ~(uni by cal.dob.dat) %- ~(uni by hot) cas :: ~& > hat=(~(run by hat) mug) =+ ^- del+(map path ,?) (~(run by (~(uni by old.dal.dat) old.dob.dat)) |=(~ %|)) =. gon.dat [%& (sa (turn (~(tap by con)) head))] =. new.dat (make-yaki [r.ali.dat r.bob.dat ~] hat now) =. hut.ran (~(put by hut.ran) r.new.dat new.dat) =. erg.dat %- ~(uni by del) ^- (map path ?) %. |=(lobe %&) %~ run by %- ~(uni by new.dal.dat) %- ~(uni by cal.dal.dat) %- ~(uni by cas) hot checkout :: ++ checkout ^+ . =+ ^- val+beak ?: ?=($init gem.dat) [p.ali q.ali cas.dat] [p.bob q.bob da/now] %- emit(wat.dat %checkout) :* hen %pass [%merge (scot %p p.bob) q.bob (scot %p p.ali) q.ali %checkout ~] %f %exec p.bob ~ val %tabl ^- (list (pair silk silk)) %+ murn (~(tap by q.new.dat)) |= {pax+path lob+lobe} ^- (unit (pair silk silk)) ?: (~(has by bop.dat) pax) ~ `[[%$ %path !>(pax)] (merge-lobe-to-silk:he pax lob)] == :: ++ checked-out |= res+gage ^+ +> =+ tay=(gage-to-tage res) ?: ?=($| -.tay) (error:he %checkout-bad-made leaf/"merge checkout failed" p.tay) =+ can=(cages-to-map p.tay) ?: ?=($| -.can) (error:he %checkout p.can) ?: ?=($| -.gon.dat) +>.$ =. let.dom +(let.dom) =. hit.dom (~(put by hit.dom) let.dom r.new.dat) =. ank.dat %- checkout-ankh:ze %- ~(run by (~(uni by bop.dat) p.can)) |=(cage [(page-to-lobe p q.q) +<]) =. ank.dom ank.dat => .(..wake wake) ?~ hez done:he =+ mus=(must-ergo (turn (~(tap by erg.dat)) head)) ?: =(~ mus) done:he ergo :: ++ ergo ^+ . =+ ^- sum+(set path) =+ (must-ergo (turn (~(tap by erg.dat)) head)) =+ (turn (~(tap by -)) (corl tail tail)) %+ roll - |= {pak+(set path) acc+(set path)} (~(uni in acc) pak) =+ zez=ze(ank.dom ank.dat) =+ ^- val+beak ?: ?=($init gem.dat) [p.ali q.ali cas.dat] [p.bob q.bob da/now] %- emit(wat.dat %ergo) :* hen %pass [%merge (scot %p p.bob) q.bob (scot %p p.ali) q.ali %ergo ~] %f %exec p.bob ~ val %tabl ^- (list (pair silk silk)) %+ turn (~(tap in sum)) |= a=path ^- (pair silk silk) :- [%$ %path !>(a)] =+ b=(~(got by erg.dat) a) ?. b [%$ %null !>(~)] :+ %cast %mime (lobe-to-silk:zez a (~(got by q.new.dat) a)) == :: ++ ergoed |= res+gage ^+ +> =+ tay=(gage-to-tage res) ?: ?=($| -.tay) (error:he %ergo-bad-made leaf/"merge ergo failed" p.tay) =+ =| nac+mode |- ^- tan+_&(mode {p+term q+tang}) ?~ p.tay nac =* pax p.i.p.tay ?. ?=($path p.pax) [%ergo >[%expected-path got=p.pax]< ~] =* mim q.i.p.tay =+ mit=?.(?=($mime p.mim) ~ `((hard mime) q.q.mim)) $(p.tay t.p.tay, nac :_(nac [((hard path) q.q.pax) mit])) ?: ?=({@ *} tan) (error:he tan) =+ `can=(map path (unit mime))`(mo tan) ?~ hez (error:he %ergo-no-hez ~) ?: ?=($| -.gon.dat) +>.$ =+ mus=(must-ergo (turn (~(tap by erg.dat)) head)) =< done:he %- emil %+ turn (~(tap by mus)) |= {pot+term len+@ud pak+(set path)} :* u.hez %give %ergo pot %+ turn (~(tap in pak)) |= pax+path [(slag len pax) (~(got by can) pax)] == :: :::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::: :: :: This core is a small set of helper functions to assist in merging. :: :::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::: ++ he |% ++ done ^+ ..he ?< ?=($| -.gon.dat) ..he(don |) :: ++ error |= {err+term tan+(list tank)} ^+ ..he ..he(don |, gon.dat [%| err >ali< >bob< >cas.dat< >gem.dat< tan]) :: ++ find-merge-points |= {p+yaki q+yaki} :: maybe need jet ^- (set yaki) %- reduce-merge-points =+ r=(reachable-takos r.p) |- ^- (set yaki) ?: (~(has in r) r.q) (~(put in *(set yaki)) q) %+ roll p.q |= {t+tako s+(set yaki)} ?: (~(has in r) t) (~(put in s) (tako-to-yaki t)) :: found (~(uni in s) ^$(q (tako-to-yaki t))) :: traverse :: ++ merge-lobe-to-silk |= {pax+path lob+lobe} ^- silk =+ hat=q.ali.dat =+ hot=q.bob.dat =+ ^= lal %+ biff alh |= hal+ankh (~(get by hat) pax) =+ lol=(~(get by hot) pax) |- ^- silk ?: =([~ lob] lol) =+ (need (need (read-x let.dom pax))) ?> ?=($& -<) [%$ p.-] ?: =([~ lob] lal) [%$ +:(need fil.ank:(descend-path:(zu (need alh)) pax))] =+ bol=(~(got by lat.ran) lob) ?- -.bol $direct [%volt q.bol] $delta [%pact $(lob q.q.bol) [%volt r.bol]] == :: ++ reduce-merge-points |= unk+(set yaki) :: maybe need jet =| gud+(set yaki) =+ ^= zar ^- (map tako (set tako)) %+ roll (~(tap in unk)) |= {yak+yaki qar+(map tako (set tako))} (~(put by qar) r.yak (reachable-takos r.yak)) |- ^- (set yaki) ?~ unk gud =+ bun=(~(del in `(set yaki)`unk) n.unk) ?: %+ levy (~(tap by (~(uni in gud) bun)) ~) |= yak+yaki !(~(has in (~(got by zar) r.yak)) r.n.unk) $(gud (~(put in gud) n.unk), unk bun) $(unk bun) -- -- -- -- -- :::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::: :: section 4cA, filesystem vane :: :: This is the arvo interface vane. Our formal state is a `++raft`, which :: has five components: :: :: -- `fat` is the state for all local desks. :: -- `hoy` is the state for all foreign desks. :: -- `ran` is the global, hash-addressed object store. :: -- `mon` is the set of mount points in unix. :: -- `hez` is the duct to the unix sync. :: :::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::: =| $^ :: instrument state _: $0 :: vane version ruf+raft :: revision tree == :: |= {now+@da eny+@ ski+sled} :: activate ^? :: opaque core |% :: ++ call :: handle request |= $^ _: hen+duct hic+(hypo (hobo kiss)) == => %= . :: XX temporary q.hic ^- kiss ?: ?=($soft -.q.hic) =+ ~|([%bad-soft (@t -.p.q.hic)] ((soft kiss) p.q.hic)) ?~ - ~& [%bad-softing (@t -.p.q.hic)] !! u.- ?: (~(nest ut -:!>(*kiss)) | p.hic) q.hic ~& [%clay-call-flub (@tas `*`-.q.hic)] ((hard kiss) q.hic) == ^+ [p=*(list move) q=..^$] ?- -.q.hic $boat :_ ..^$ [hen %give %hill (turn (~(tap by mon.ruf)) head)]~ :: $drop =^ mos ruf =+ den=((de now hen ruf) [. .]:p.q.hic q.q.hic) abet:drop-me:den [mos ..^$] :: $info ?: =(%$ q.q.hic) [~ ..^$] =^ mos ruf =+ den=((de now hen ruf) [. .]:p.q.hic q.q.hic) abet:(exec:den now r.q.hic) [mos ..^$] :: $init :_ %_ ..^$ fat.ruf ?< (~(has by fat.ruf) p.q.hic) (~(put by fat.ruf) p.q.hic [-(hun hen)]:[*room .]) == =+ [bos=(sein p.q.hic) can=(clan p.q.hic)] %- zing ^- (list (list move)) :~ ?: =(bos p.q.hic) ~ [hen %pass /init-merge %c %merg p.q.hic %base bos %kids da/now %init]~ :: ~ == :: $into =. hez.ruf `hen :_ ..^$ =+ bem=(~(get by mon.ruf) p.q.hic) ?: &(?=($~ bem) !=(%$ p.q.hic)) ~|([%bad-mount-point-from-unix p.q.hic] !!) =+ ^- bem=beam ?^ bem u.bem [[?>(?=(^ fat.ruf) p.n.fat.ruf) %base %ud 1] ~] =+ rom=(~(get by fat.ruf) p.bem) ?~ rom ~ =+ dos=(~(get by dos.u.rom) q.bem) ?~ dos ~ ?: =(0 let.dom.u.dos) =+ cos=(mode-to-soba ~ s.bem q.q.hic r.q.hic) =+ ^- [one=(list ,[path miso]) two=(list ,[path miso])] %+ skid cos |= {a+path b+miso} ?& ?=($ins -.b) ?=($mime p.p.b) =+ (slag (dec (lent a)) a) ?| =([%hook ~] -) =([%hoon ~] -) == == :~ [hen %pass /one %c %info p.bem q.bem %& one] [hen %pass /two %c %info p.bem q.bem %& two] == =+ yak=(~(got by hut.ran.ruf) (~(got by hit.dom.u.dos) let.dom.u.dos)) =+ cos=(mode-to-soba q.yak (flop s.bem) q.q.hic r.q.hic) [hen %pass /both %c %info p.bem q.bem %& cos]~ :: $merg :: direct state up ?: =(%$ q.q.hic) [~ ..^$] =^ mos ruf =+ den=((de now hen ruf) [. .]:p.q.hic q.q.hic) abet:abet:(start:(me:ze:den [r.q.hic s.q.hic] ~ &) t.q.hic u.q.hic) [mos ..^$] :: $mont =. hez.ruf ?^(hez.ruf hez.ruf `[[%$ %sync ~] ~]) =+ pot=(~(get by mon.ruf) p.q.hic) ?^ pot ~& [%already-mounted pot] [~ ..^$] =. mon.ruf (~(put by mon.ruf) p.q.hic [q.q.hic r.q.hic %ud 0] (flop s.q.hic)) =+ yar=(~(get by fat.ruf) q.q.hic) ?~ yar [~ ..^$] =+ dos=(~(get by dos.u.yar) r.q.hic) ?~ dos [~ ..^$] =^ mos ruf =+ den=((de now hen ruf) [. .]:q.q.hic r.q.hic) abet:(mont:den p.q.hic s.q.hic) [mos ..^$] :: $ogre ?~ hez.ruf ~& %no-sync-duct [~ ..^$] ?@ p.q.hic ?. (~(has by mon.ruf) p.q.hic) ~& [%not-mounted p.q.hic] [~ ..^$] :_ ..^$(mon.ruf (~(del by mon.ruf) p.q.hic)) [u.hez.ruf %give %ogre p.q.hic]~ :_ %_ ..^$ mon.ruf %- mo %+ skip (~(tap by mon.ruf)) (corl (cury test p.q.hic) tail) == %+ turn (skim (~(tap by mon.ruf)) (corl (cury test p.q.hic) tail)) |= {pot+term bem+beam} [u.hez.ruf %give %ogre pot] :: $warp =^ mos ruf =+ den=((de now hen ruf) p.q.hic p.q.q.hic) :: =- ~? ?=([~ %sing %w *] q.q.q.hic) :: :* %someones-warping :: rav=u.q.q.q.hic :: mos=-< :: == :: - =< abet ?~ q.q.q.hic ease:den (eave:den u.q.q.q.hic) [mos ..^$] :: $west ?: ?=({$question *} q.q.hic) =+ ryf=((hard riff) r.q.hic) :_ ..^$ :~ [hen %give %mack ~] :- hen :^ %pass [(scot %p p.p.q.hic) (scot %p q.p.q.hic) t.q.q.hic] %c [%warp [p.p.q.hic p.p.q.hic] ryf] == ?> ?=({$answer @ @ $~} q.q.hic) =+ syd=(slav %tas i.t.q.q.hic) =+ inx=(slav %ud i.t.t.q.q.hic) =^ mos ruf =+ den=((de now hen ruf) p.q.hic syd) abet:(take-foreign-update:den inx ((hard (unit rand)) r.q.hic)) [[[hen %give %mack ~] mos] ..^$] :: $wegh :_ ..^$ :_ ~ :^ hen %give %mass :- %clay :- %| :~ domestic/`fat.ruf foreign/`hoy.ruf :- %object-store :- %| :~ commits/`hut.ran.ruf blobs/`lat.ran.ruf == == == :: :: All timers are handled by `%behn` nowadays. ++ doze |= {now+@da hen+duct} ^- (unit @da) ~ :: ++ load |= old+{$0 ruf+raft} ^+ ..^$ ..^$(ruf ruf.old) :: ++ scry :: inspect |= {fur+(unit (set monk)) ren+@tas his+ship syd+desk lot+coin tyl+path} ^- (unit (unit cage)) :: ~& scry/[ren `path`[(scot %p his) syd ~(rent co lot) tyl]] :: =- ~& %scry-done - =+ got=(~(has by fat.ruf) his) =+ luk=?.(?=($$ -.lot) ~ ((soft case) p.lot)) ?~ luk [~ ~] ?: =(%$ ren) [~ ~] =+ run=((soft care) ren) ?~ run [~ ~] =+ den=((de now [/scryduct ~] ruf) [. .]:his syd) =+ (aver:den u.run u.luk tyl) ?~ - - ?~ u.- - ?: ?=($& -.u.u.-) ``p.u.u.- ~ :: ++ stay [%0 ruf] ++ take :: accept response |= {tea+wire hen+duct hin+(hypo sign)} ^+ [p=*(list move) q=..^$] ?: ?=({$merge @ @ @ @ @ $~} tea) ?> ?=(?($writ $made) +<.q.hin) =+ our=(slav %p i.t.tea) =* syd i.t.t.tea =+ her=(slav %p i.t.t.t.tea) =* sud i.t.t.t.t.tea =* sat i.t.t.t.t.t.tea =+ dat=?-(+<.q.hin $writ [%& p.q.hin], $made [%| q.q.hin]) =+ ^- kan=(unit ankh) %+ biff (~(get by fat.ruf) her) |= room %+ bind (~(get by dos) sud) |= dojo ank.dom =^ mos ruf =+ den=((de now hen ruf) [. .]:our syd) abet:abet:(route:(me:ze:den [her sud] kan |) sat dat) [mos ..^$] ?: ?=({$blab care @ @ *} tea) ?> ?=($made +<.q.hin) ?. ?=($& -.q.q.hin) ~| %blab-fail ~> %mean.|.(?+(-.q.q.hin -.q.q.hin %| p.q.q.hin)) !! :: interpolate ford fail into stack trace :_ ..^$ :_ ~ :* hen %give %writ ~ ^- {care case @tas} [i.t.tea ((hard case) +>:(slay i.t.t.tea)) i.t.t.t.tea] :: `path`t.t.t.t.tea `cage`p.q.q.hin == ?- -.+.q.hin $crud [[[hen %slip %d %flog +.q.hin] ~] ..^$] :: $made ?~ tea !! ?+ -.tea !! $inserting ?> ?=({@ @ @ $~} t.tea) =+ our=(slav %p i.t.tea) =+ syd=(slav %tas i.t.t.tea) =+ wen=(slav %da i.t.t.t.tea) =^ mos ruf =+ den=((de now hen ruf) [. .]:our syd) abet:(take-inserting:den wen q.q.hin) [mos ..^$] :: $diffing ?> ?=({@ @ @ $~} t.tea) =+ our=(slav %p i.t.tea) =+ syd=(slav %tas i.t.t.tea) =+ wen=(slav %da i.t.t.t.tea) =^ mos ruf =+ den=((de now hen ruf) [. .]:our syd) abet:(take-diffing:den wen q.q.hin) [mos ..^$] :: $castifying ?> ?=({@ @ @ $~} t.tea) =+ our=(slav %p i.t.tea) =+ syd=(slav %tas i.t.t.tea) =+ wen=(slav %da i.t.t.t.tea) =^ mos ruf =+ den=((de now hen ruf) [. .]:our syd) abet:(take-castify:den wen q.q.hin) [mos ..^$] :: $mutating ?> ?=({@ @ @ $~} t.tea) =+ our=(slav %p i.t.tea) =+ syd=(slav %tas i.t.t.tea) =+ wen=(slav %da i.t.t.t.tea) =^ mos ruf =+ den=((de now hen ruf) [. .]:our syd) abet:(take-mutating:den wen q.q.hin) [mos ..^$] :: $patching ?> ?=({@ @ $~} t.tea) =+ our=(slav %p i.t.tea) =+ syd=(slav %tas i.t.t.tea) =^ mos ruf =+ den=((de now hen ruf) [. .]:our syd) abet:(take-patch:den q.q.hin) [mos ..^$] :: $ergoing ?> ?=({@ @ $~} t.tea) =+ our=(slav %p i.t.tea) =+ syd=(slav %tas i.t.t.tea) =^ mos ruf =+ den=((de now hen ruf) [. .]:our syd) abet:(take-ergo:den q.q.hin) [mos ..^$] :: $foreign-plops ?> ?=({@ @ @ @ $~} t.tea) =+ our=(slav %p i.t.tea) =+ her=(slav %p i.t.t.tea) =* syd i.t.t.t.tea =+ lem=(slav %da i.t.t.t.t.tea) =^ mos ruf =+ den=((de now hen ruf) [our her] syd) abet:(take-foreign-plops:den ?~(lem ~ `lem) q.q.hin) [mos ..^$] :: $foreign-x ?> ?=({@ @ @ @ @ *} t.tea) =+ our=(slav %p i.t.tea) =+ her=(slav %p i.t.t.tea) =+ syd=(slav %tas i.t.t.t.tea) =+ car=((hard care) i.t.t.t.t.tea) =+ ^- cas=case =+ (slay i.t.t.t.t.t.tea) ?> ?=([~ %$ case] -) ->+ =* pax t.t.t.t.t.t.tea =^ mos ruf =+ den=((de now hen ruf) [our her] syd) abet:(take-foreign-x:den car cas pax q.q.hin) [mos ..^$] == :: $mere ?: ?=($& -.p.+.q.hin) ~& 'initial merge succeeded' [~ ..^$] ~> %slog. :^ 0 %rose [" " "[" "]"] :^ leaf/"initial merge failed" leaf/"my most sincere apologies" >p.p.p.+.q.hin< q.p.p.+.q.hin [~ ..^$] :: $note [[hen %give +.q.hin]~ ..^$] $wake ~| %why-wakey !! :: =+ dal=(turn (~(tap by fat.ruf) ~) |=([a=@p b=room] a)) :: =| mos=(list move) :: |- ^- [p=(list move) q=_..^^$] :: ?~ dal [mos ..^^$] :: =+ une=(un i.dal now hen ruf) :: =^ som une wake:une :: $(dal t.dal, ruf abet:une, mos (weld som mos)) :: $writ ?> ?=({@ @ *} tea) ~| i=i.tea ~| it=i.t.tea =+ our=(slav %p i.tea) =+ him=(slav %p i.t.tea) :_ ..^$ :~ :* hen %pass /writ-wont %a %wont [our him] [%c %answer t.t.tea] (bind p.+.q.hin rant-to-rand) == == :: %woot ?~ q.q.hin [~ ..^$] ~& [%clay-lost p.q.hin q.q.hin tea] [~ ..^$] == :: ++ rant-to-rand |= rant ^- rand [p q [p q.q]:r] :: ++ mode-to-soba |= {hat+(map path lobe) pax+path all+? mod+mode} ^- soba %+ welp ^- (list (pair path miso)) ?. all ~ =+ mad=(mo mod) =+ len=(lent pax) =+ ^- descendants=(list path) %+ turn %+ skim (~(tap by hat)) |= {paf+path lob+lobe} =(pax (scag len paf)) |= {paf+path lob+lobe} (slag len paf) %+ murn descendants |= pat+path ^- (unit (pair path {$del $~})) ?: (~(has by mad) pat) ~ `[(weld pax pat) %del ~] ^- (list (pair path miso)) %+ murn mod |= {pat+path mim+(unit mime)} ^- (unit (pair path miso)) =+ paf=(weld pax pat) ?~ mim =+ (~(get by hat) paf) ?~ - ~& [%deleting-already-gone pax pat] ~ `[paf %del ~] =+ (~(get by hat) paf) ?~ - `[paf %ins %mime -:!>(*mime) u.mim] `[paf %mut %mime -:!>(*mime) u.mim] --