urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2024-12-01 14:42:02 +03:00
Code Issues Packages Projects Releases Wiki Activity

ford-fusion: check for cycles

Browse Source
This commit is contained in:
Ted Blackman 2020-04-16 16:30:55 -04:00
parent 3592b7e5bc
commit af24318955
1 changed files with 18 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
pkg/arvo/sys/vane/clay.hoon
View File

@ -2697,10 +2697,17 @@
|% |%
++ ford ++ ford
=> |% => |%
+$ build
$% [%file =path]
[%mark =mark]
[%cast =mars]
[%vale =path]
==
+$ state +$ state
$: baked=(map path cage) $: baked=(map path cage)
cache=ford-cache cache=ford-cache
stack=(list (set path)) stack=(list (set path))
cycle=(set build)
== ==
-- --
|= $: =ankh |= $: =ankh
@ -2729,6 +2736,9 @@
~| %error-validating-path^path ~| %error-validating-path^path
?^ cage=(~(get by baked.nub) path) ?^ cage=(~(get by baked.nub) path)
[cage nub] [cage nub]
?: (~(has in cycle.nub) vale+path)
~|(cycle+vale+path^stack.nub !!)
=. cycle.nub (~(put in cycle.nub) vale+path)
?^ change=(~(get by changes) path) ?^ change=(~(get by changes) path)
=^ page nub =^ page nub
?: ?=(%& -.u.change) ?: ?=(%& -.u.change)
@ -2750,6 +2760,9 @@
=? stack.nub ?=(^ stack.nub) =? stack.nub ?=(^ stack.nub)
stack.nub(i (~(uni in i.stack.nub) dez.u.got)) stack.nub(i (~(uni in i.stack.nub) dez.u.got))
[res.u.got nub] [res.u.got nub]
?: (~(has in cycle.nub) mark+mak)
~|(cycle+mark+mak^stack.nub !!)
=. cycle.nub (~(put in cycle.nub) mark+mak)
=. stack.nub [~ stack.nub] =. stack.nub [~ stack.nub]
=; res=[=dais nub=state] =; res=[=dais nub=state]
=. nub nub.res =. nub nub.res
@ -2841,6 +2854,8 @@
=? stack.nub ?=(^ stack.nub) =? stack.nub ?=(^ stack.nub)
stack.nub(i (~(uni in i.stack.nub) dez.u.got)) stack.nub(i (~(uni in i.stack.nub) dez.u.got))
[res.u.got nub] [res.u.got nub]
?: (~(has in cycle.nub) cast+[a b])
~|(cycle+cast+[a b]^stack.nub !!)
=. stack.nub [~ stack.nub] =. stack.nub [~ stack.nub]
=; res=[=tube nub=state] =; res=[=tube nub=state]
=. nub nub.res =. nub nub.res
@ -2941,6 +2956,9 @@
=? stack.nub ?=(^ stack.nub) =? stack.nub ?=(^ stack.nub)
stack.nub(i (~(uni in i.stack.nub) dez.u.got)) stack.nub(i (~(uni in i.stack.nub) dez.u.got))
[res.u.got nub] [res.u.got nub]
?: (~(has in cycle.nub) file+path)
~|(cycle+file+path^stack.nub !!)
=. cycle.nub (~(put in cycle.nub) file+path)
=. stack.nub [(sy path ~) stack.nub] =. stack.nub [(sy path ~) stack.nub]
=^ cag=(unit cage) nub (get-value path) =^ cag=(unit cage) nub (get-value path)
?~ cag ~|(no-file+path !!) ?~ cag ~|(no-file+path !!)