From 05ae2bea9aec252edfbbad6c7de52472fcea7c1b Mon Sep 17 00:00:00 2001
From: Sebastian Jeong <sebastianrcnt@gmail.com>
Date: Sun, 16 Aug 2026 23:39:05 +0900
Subject: [PATCH] fix: unblock the DOS build for M7 sources

---
 fec/src/check.c    |  5 ++---
 fec/src/check_m7.c | 15 +--------------
 2 files changed, 3 insertions(+), 17 deletions(-)

diff --git a/fec/src/check.c b/fec/src/check.c
index 1258857..52a1999 100644
--- a/fec/src/check.c
+++ b/fec/src/check.c
@@ -808,10 +808,9 @@ static FeType *check_index(FeCheckerState *s, FeNode *n)
     n->sem_type=base->elem; return n->sem_type;
 }
 
-static FeType *check_identifier(FeCheckerState *s, FeNode *n, int read)
+static FeType *check_identifier(FeCheckerState *s, FeNode *n)
 {
     FeSym *sym;
-    (void)read; /* TRIAL PATCH: silence W303 under the check_m7.c wrapper */
     sym = find_symbol(s->scope, n->text ? n->text : "");
     if (!sym) {
         FeType *named=fe_type_intern(&s->c->types,n->text ? n->text : "");
@@ -843,7 +842,7 @@ static FeType *check_expr(FeCheckerState *s, FeNode *n)
     const char *op;
     if (!n) return unknown(c);
     if (n->kind == FE_N_IDENT)
-        return check_identifier(s, n, 1);
+        return check_identifier(s, n);
     if (n->kind == FE_N_LITERAL) {
         if (!n->text) return unknown(c);
         if (strcmp(n->text, "true") == 0 || strcmp(n->text, "false") == 0)
diff --git a/fec/src/check_m7.c b/fec/src/check_m7.c
index 9cfc506..34b0388 100644
--- a/fec/src/check_m7.c
+++ b/fec/src/check_m7.c
@@ -98,19 +98,6 @@ static FeType *m7_check_expected(FeCheckerState *s, FeNode *value,
     return actual;
 }
 
-/* TRIAL PATCH: m7_error_same was dead (W202); removed for this run.
-static int m7_error_same(FeCheckerState *s, FeType *a, FeType *b)
-{
-    FeType *ea;
-    FeType *eb;
-    if (!a || !b || a->kind!=FE_TYPE_ERROR_UNION ||
-        b->kind!=FE_TYPE_ERROR_UNION) return 0;
-    ea=fe_m7_error_type(&s->c->types,a);
-    eb=fe_m7_error_type(&s->c->types,b);
-    return ea && eb && fe_type_equal(ea,eb);
-}
-*/
-
 static FeType *m7_member_field(FeCheckerState *s, FeNode *n, FeType *base)
 {
     FeFieldType *field;
@@ -433,7 +420,7 @@ static FeType *m7_check_expr(FeCheckerState *s, FeNode *n)
         return n->sem_type;
     }
     if (n->kind==FE_N_IDENT)
-        return check_identifier(s,n,1);
+        return check_identifier(s,n);
     if (n->kind==FE_N_LITERAL)
         return check_expr(s,n);
     if (n->kind==FE_N_CALL)