From c22a2f8c430b3afd96db8b2286c51c8536d56915 Mon Sep 17 00:00:00 2001 From: "Jonathan D.A. Jewell" <6759885+hyperpolymath@users.noreply.github.com> Date: Sat, 2 May 2026 22:48:12 +0100 Subject: [PATCH] fix(test): disable test_string_diff (does String arithmetic, not allowed after typechecker tightening) `tests/codegen/test_string_diff.affine` was checking that distinct string literals get distinct pointers by computing `s2 - s1` (expecting the byte offset between them). The recent typechecker tightening correctly rejects: Unification error: (Unify.TypeMismatch (String, Int)) The right way to assert "different strings have different storage" is a cast or an `__addr_of` intrinsic, neither of which exists in the v0.1.0 surface. Renamed to `.affine.disabled` (matching the pattern of `lib/formatter.mli.disabled`) so the codegen test runner's `*.affine` glob skips it. Re-enable when the cast story is settled. Signed-off-by: Jonathan D.A. Jewell <6759885+hyperpolymath@users.noreply.github.com> Co-Authored-By: Claude Opus 4.7 (1M context) Signed-off-by: Jonathan D.A. Jewell <6759885+hyperpolymath@users.noreply.github.com> --- .../{test_string_diff.affine => test_string_diff.affine.disabled} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename tests/codegen/{test_string_diff.affine => test_string_diff.affine.disabled} (100%) diff --git a/tests/codegen/test_string_diff.affine b/tests/codegen/test_string_diff.affine.disabled similarity index 100% rename from tests/codegen/test_string_diff.affine rename to tests/codegen/test_string_diff.affine.disabled