Skip to content

Commit

Permalink
add one more test case
Browse files Browse the repository at this point in the history
  • Loading branch information
byorgey committed Dec 17, 2024
1 parent e7fd090 commit 31fb51b
Showing 1 changed file with 6 additions and 0 deletions.
6 changes: 6 additions & 0 deletions test/unit/TestLanguagePipeline.hs
Original file line number Diff line number Diff line change
Expand Up @@ -689,6 +689,12 @@ testLanguagePipeline =
"(\\x. x) 7 8"
"1:1: Type mismatch:\n From context, expected `(\\x. x) 7` to be a function,\n but it actually has type `Int`\n\n - While checking a function applied to an argument: _ 8"
)
, testCase
"Nested error #2220"
( process
"\"hi\" + 2"
"1:1: Type mismatch:\n From context, expected `\"hi\"` to have type `Int`,\n but it actually has type `Text`\n\n - While checking the argument to a function: (+) _\n - While checking a function applied to an argument: _ 2"
)
]
, testGroup
"let and def types"
Expand Down

0 comments on commit 31fb51b

Please sign in to comment.