Skip to content

Commit

Permalink
Regenerate 2x tests with updated unknown variable messages
Browse files Browse the repository at this point in the history
  • Loading branch information
jbouwman authored and stylewarning committed Sep 26, 2024
1 parent f6ee319 commit a2ddda1
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 4 deletions.
4 changes: 2 additions & 2 deletions tests/parser-test-files/fundeps.txt
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down
4 changes: 2 additions & 2 deletions tests/parser-test-files/type-inference.txt
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit a2ddda1

Please sign in to comment.