Skip to content

[1143] 修复键盘模块延迟加载引入的 scheme 测试回归并补齐 CI 触发路径#4031

Merged
da-liii merged 2 commits into
mainfrom
da/1143/fix
Jul 20, 2026
Merged

[1143] 修复键盘模块延迟加载引入的 scheme 测试回归并补齐 CI 触发路径#4031
da-liii merged 2 commits into
mainfrom
da/1143/fix

Conversation

@da-liii

@da-liii da-liii commented Jul 20, 2026

Copy link
Copy Markdown
Contributor

Summary

  • 用户报告 024a948 弄挂 scheme tests,bisect 后定位真正引入者是 db571d0[1143] lazy-keyboard 注册迁移至 keyboard 插件 #4021,lazy-keyboard 注册迁移至 keyboard 插件):键盘模块改为插件延迟加载后,启动期不再强载 scripts-kbd/graphics-utils 等模块,三个测试因隐式依赖该副作用而挂
  • old-gui-test:删除 widget->script/script->widget 两条 defined? 检查(符号属于 (dynamic scripts-edit),与 old-gui 无关;显式 :use 该模块在 headless 下会段错误——其依赖链经 (liii account) 插件模块,glue 函数在社区版未注册,不能作为修复手段)
  • scheme-tools-test:修正笔误 (:use (prog scheme-tools-test))(自引用)为 (:use (prog scheme-tools))
  • tm-define-test:补回 (tm-define s2f string->float)(原依赖 graphics-utils 启动期注册的全局别名,文件内本有注释掉的定义)
  • CI:ci-debian13/ci-fedora/ci-macos-arm64 的触发 paths 与 paths-filter mogan 过滤器原先只含 TeXmacs/tests/*.scm,纯 TeXmacs/progs/** 或 TeXmacs/plugins/** 改动(如 [1143] lazy-keyboard 注册迁移至 keyboard 插件 #4021)不会触发 CI,导致回归未被拦截;现补入 TeXmacs/progs/** 与 TeXmacs/plugins/**

Test plan

  • xmake r old-gui-test — 12 correct, 0 failed
  • xmake r scheme-tools-test — 7 correct, 0 failed
  • xmake r tm-define-test — 10 correct, 0 failed
  • xmake run --group=scheme_tests — 全部通过
  • CI 通过(本次 PR 改动涉及 TeXmacs/progs/** 与 workflow 文件,可验证新触发规则生效)

🤖 Generated with Claude Code

da-liii and others added 2 commits July 20, 2026 13:15
Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
- old-gui-test: 删除对 (dynamic scripts-edit) 符号的 defined? 检查
- scheme-tools-test: 修正 :use 自引用笔误为 (prog scheme-tools)
- tm-define-test: 补回 s2f 别名定义,不再依赖 graphics-utils 启动强载
- CI: debian13/fedora/macos-arm64 触发 paths 与 mogan 过滤器补入
  TeXmacs/progs/** 和 TeXmacs/plugins/**

Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
@da-liii
da-liii merged commit 9d074f4 into main Jul 20, 2026
3 checks passed
@da-liii
da-liii deleted the da/1143/fix branch July 20, 2026 05:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant