From 81161d109ccc3838aba78addf8ff19ac0a910570 Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Sat, 21 Mar 2026 18:57:10 +0000 Subject: [PATCH 1/3] Initial plan From 0e41581cf83129bfbac54e8671ece4bfbc0d7e25 Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Sat, 21 Mar 2026 19:00:10 +0000 Subject: [PATCH 2/3] Add parse/stringify round-trip test for TypeCast Co-authored-by: inducer <352067+inducer@users.noreply.github.com> Agent-Logs-Url: https://github.com/inducer/loopy/sessions/1496bf6b-0741-41b2-ad6f-1fc9c8e84c8a --- test/test_loopy.py | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/test/test_loopy.py b/test/test_loopy.py index 60509751b..56a44b9f6 100644 --- a/test/test_loopy.py +++ b/test/test_loopy.py @@ -3724,6 +3724,15 @@ def test_parse_type_cast(): assert knl1 == knl2 +def test_type_cast_parse_stringify_roundtrip(): + from loopy.symbolic import StringifyMapper, parse + + expr = lp.TypeCast(np.float64, parse("x[i]")) + stringified = StringifyMapper()(expr, 0) + parsed = parse(stringified) + assert expr == parsed + + if __name__ == "__main__": import sys if len(sys.argv) > 1: From b69567020aab9bc0647d08ba639287205d67fb07 Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Sat, 21 Mar 2026 19:00:43 +0000 Subject: [PATCH 3/3] Fix StringifyMapper calling convention in round-trip test Co-authored-by: inducer <352067+inducer@users.noreply.github.com> Agent-Logs-Url: https://github.com/inducer/loopy/sessions/1496bf6b-0741-41b2-ad6f-1fc9c8e84c8a --- test/test_loopy.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/test/test_loopy.py b/test/test_loopy.py index 56a44b9f6..8badf6016 100644 --- a/test/test_loopy.py +++ b/test/test_loopy.py @@ -3728,7 +3728,7 @@ def test_type_cast_parse_stringify_roundtrip(): from loopy.symbolic import StringifyMapper, parse expr = lp.TypeCast(np.float64, parse("x[i]")) - stringified = StringifyMapper()(expr, 0) + stringified = StringifyMapper()(expr) parsed = parse(stringified) assert expr == parsed