anil.recoil.org / unpac-unpac
The unpac monorepo manager self-hosting as a monorepo using unpac
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

Fix: use cache in path_check

authored by

Paul Patault and committed by
Paul Patault 17c4d2bc 1129b9c5

+6 -6
+2
.gitignore
··· 4 4 /www/index.fr.html 5 5 /www/version.prehtml 6 6 _build 7 + 8 + _opam
+4 -6
src/path.ml
··· 337 337 end else begin 338 338 let v = Queue.pop q in 339 339 HVV.add pc.cache (v1, v) true; 340 - if G.V.compare v v2 = 0 then 341 - true 342 - else begin 343 - G.iter_succ push pc.graph v; 344 - loop () 345 - end 340 + G.V.compare v v2 = 0 || 341 + match HVV.find_opt pc.cache (v, v2) with 342 + | Some true -> HVV.add pc.cache (v1, v2) true; true 343 + | _ -> G.iter_succ push pc.graph v; loop () 346 344 end 347 345 in 348 346 push v1;