Add 'ignore' restart to load-everything
parent
4d88b8ba2c
commit
a02920a3f7
|
@ -148,8 +148,16 @@ SYMBOL: load-help?
|
|||
dup update-roots
|
||||
dup modified-sources swap modified-docs ;
|
||||
|
||||
: require-restart { { "Ignore this vocabulary" t } } ;
|
||||
|
||||
: require-all ( seq -- )
|
||||
[ [ require ] each ] with-compiler-errors ;
|
||||
[
|
||||
[
|
||||
[ require ]
|
||||
[ require-restart rethrow-restarts drop ]
|
||||
recover
|
||||
] each
|
||||
] with-compiler-errors ;
|
||||
|
||||
: do-refresh ( modified-sources modified-docs -- )
|
||||
2dup
|
||||
|
|
Loading…
Reference in New Issue