FfinalchildFix repeated Coqargs parsing with ~init
| 文件 | 最后提交记录 | 最后更新时间 |
|---|---|---|
Fix repeated Coqargs parsing with ~init Coqargs.parse_args returns ordered list fields, but a returned value reused as init was treated as a reverse-order accumulator. This could reorder existing options. Normalize init before entering the parser and normalize the result afterward. Package resolution now lives in Coqinit after 0c884e3, so move the rocq-runtime.lib dependency from coqargs to sysinit and restore the parser purity boundary. | 18 天前 | |
Add -package option to [Coqargs]. | 2 个月前 | |
Merge PR #22259: -package delay resolving until -I have been processed Reviewed-by: ppedrot Reviewed-by: rlepigre-skylabs-ai Co-authored-by: ppedrot <ppedrot@users.noreply.github.com> | 18 天前 | |
env vars: try reading ROCQRUNTIMELIB and ROCQLIB before COQCORELIB / COQLIB should we stop reading COQCORELIB? It meaning the location of rocq-runtime is a bit wrong. | 1 年前 | |
Merge PR #20714: Some stdlib -> corelib renaming Reviewed-by: SkySkimmer Co-authored-by: SkySkimmer <SkySkimmer@users.noreply.github.com> | 1 年前 | |
Rename Coq -> Rocq in various comments and doc Co-authored-by: Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> Co-authored-by: Guillaume Melquiond <guillaume.melquiond@inria.fr> | 1 年前 | |
Fix repeated Coqargs parsing with ~init Coqargs.parse_args returns ordered list fields, but a returned value reused as init was treated as a reverse-order accumulator. This could reorder existing options. Normalize init before entering the parser and normalize the result afterward. Package resolution now lives in Coqinit after 0c884e3, so move the rocq-runtime.lib dependency from coqargs to sysinit and restore the parser purity boundary. | 18 天前 |