From 7d7616717998abd087b7d7ed5e14856fc9e40a89 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=EC=A0=95=EC=8B=9C=EC=9B=90?= Date: Sun, 16 Aug 2026 21:57:34 +0900 Subject: [PATCH] document M7 smoke coverage --- fec/tests/m7/README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/fec/tests/m7/README.md b/fec/tests/m7/README.md index 3679b4b..abfce9f 100644 --- a/fec/tests/m7/README.md +++ b/fec/tests/m7/README.md @@ -3,6 +3,6 @@ M7 adds optionals and error unions on top of the M6 ownership model. `ok*.fe` must compile. `bad*.fe` must fail according to the first-line error marker. -The files are not wired into `TEST-DOS.BAT` until M7 work begins. +The branch-level `m7-smoke` workflow builds the compiler as C89 and checks every M7 pass/fail fixture. Formal regression remains the FreeDOS/Open Watcom path. Coverage: contextual `null`, `?T`, `.?`, `Some`/`None` pattern-only non-destructive views, `mem.replace` extraction, lazy `orelse`/`catch`, nominal error unions, `try`, block/short `catch`, and error code/name uniqueness, plus R4/R7 interactions with optional references/owners.