From a2ddda14f1bc11c36709ac0db3642fb000c487f7 Mon Sep 17 00:00:00 2001 From: Jesse Bouwman Date: Thu, 26 Sep 2024 11:41:43 -0700 Subject: [PATCH] Regenerate 2x tests with updated unknown variable messages --- tests/parser-test-files/fundeps.txt | 4 ++-- tests/parser-test-files/type-inference.txt | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/tests/parser-test-files/fundeps.txt b/tests/parser-test-files/fundeps.txt index 2f1d3f606..015d85721 100644 --- a/tests/parser-test-files/fundeps.txt +++ b/tests/parser-test-files/fundeps.txt @@ -92,11 +92,11 @@ Fundeps improve type checking -------------------------------------------------------------------------------- -error: Unknown variable +error: Unknown variable "HELLO" --> test:11:20 | 11 | (define x (ambig (m \"hello\"))) - | ^^^^^^^^^ unknown variable + | ^^^^^^^^^ unknown variable "HELLO" ================================================================================ Ambiguous despite fundep diff --git a/tests/parser-test-files/type-inference.txt b/tests/parser-test-files/type-inference.txt index 92a0b727a..3a98fc996 100644 --- a/tests/parser-test-files/type-inference.txt +++ b/tests/parser-test-files/type-inference.txt @@ -236,11 +236,11 @@ Check that polymorphic recursion is not possible without an explicit binding -------------------------------------------------------------------------------- -error: Unknown variable +error: Unknown variable SINGLETON --> test:13:9 | 13 | (f (singleton a) - | ^^^^^^^^^ unknown variable + | ^^^^^^^^^ unknown variable SINGLETON ================================================================================ Check that typeclasses cannot have additional constraints defined in a method