mirror of
https://github.com/HigherOrderCO/Bend.git
synced 2024-11-05 04:51:40 +03:00
Fix typo, update tests snaps
This commit is contained in:
parent
9215460110
commit
6375099cf4
@ -208,7 +208,7 @@ impl Display for WarningType {
|
||||
fn fmt(&self, f: &mut Formatter<'_>) -> std::fmt::Result {
|
||||
match self {
|
||||
WarningType::MatchOnlyVars => write!(f, "Match expression at definition only uses var patterns."),
|
||||
WarningType::UnusedDefinition => write!(f, "Definition is unusued."),
|
||||
WarningType::UnusedDefinition => write!(f, "Definition is unused."),
|
||||
WarningType::RepeatedBind(warn) => write!(f, "{warn}"),
|
||||
}
|
||||
}
|
||||
|
@ -2,9 +2,9 @@
|
||||
source: tests/golden_tests.rs
|
||||
input_file: tests/golden_tests/compile_file/crlf.hvm
|
||||
---
|
||||
// WARNING:
|
||||
// Warnings:
|
||||
In definition 'a':
|
||||
Definition is unusued.
|
||||
Definition is unused.
|
||||
|
||||
@a = #1
|
||||
@main = #2
|
||||
|
@ -2,29 +2,29 @@
|
||||
source: tests/golden_tests.rs
|
||||
input_file: tests/golden_tests/compile_file/match_num_all_patterns.hvm
|
||||
---
|
||||
// WARNING:
|
||||
// Warnings:
|
||||
In definition 'succ_var':
|
||||
Definition is unusued.
|
||||
Definition is unused.
|
||||
In definition 'succ_var_zero':
|
||||
Definition is unusued.
|
||||
Definition is unused.
|
||||
In definition 'succ_zero':
|
||||
Definition is unusued.
|
||||
Definition is unused.
|
||||
In definition 'succ_zero_succ':
|
||||
Definition is unusued.
|
||||
Definition is unused.
|
||||
In definition 'succ_zero_var':
|
||||
Definition is unusued.
|
||||
Definition is unused.
|
||||
In definition 'var_succ':
|
||||
Definition is unusued.
|
||||
Definition is unused.
|
||||
In definition 'var_zero':
|
||||
Definition is unusued.
|
||||
Definition is unused.
|
||||
In definition 'zero_succ':
|
||||
Definition is unusued.
|
||||
Definition is unused.
|
||||
In definition 'zero_succ_var':
|
||||
Definition is unusued.
|
||||
Definition is unused.
|
||||
In definition 'zero_var':
|
||||
Definition is unusued.
|
||||
Definition is unused.
|
||||
In definition 'zero_var_succ':
|
||||
Definition is unusued.
|
||||
Definition is unused.
|
||||
|
||||
@main = #0
|
||||
@succ_var = (?<(#0 (a a)) b> b)
|
||||
|
@ -2,11 +2,11 @@
|
||||
source: tests/golden_tests.rs
|
||||
input_file: tests/golden_tests/compile_file/match_num_unscoped_lambda.hvm
|
||||
---
|
||||
// WARNING:
|
||||
// Warnings:
|
||||
In definition 'lambda_in':
|
||||
Definition is unusued.
|
||||
Definition is unused.
|
||||
In definition 'lambda_out':
|
||||
Definition is unusued.
|
||||
Definition is unused.
|
||||
|
||||
@lambda_in = (?<((a a) (b (c b))) (c d)> d)
|
||||
@lambda_out = (?<(a (b b)) c> (a c))
|
||||
|
@ -2,7 +2,7 @@
|
||||
source: tests/golden_tests.rs
|
||||
input_file: tests/golden_tests/compile_file/repeated_bind_match.hvm
|
||||
---
|
||||
// WARNING:
|
||||
// Warnings:
|
||||
In definition 'main':
|
||||
Repeated bind inside match arm: 'x'.
|
||||
|
||||
|
@ -2,7 +2,7 @@
|
||||
source: tests/golden_tests.rs
|
||||
input_file: tests/golden_tests/compile_file/repeated_bind_rule.hvm
|
||||
---
|
||||
// WARNING:
|
||||
// Warnings:
|
||||
In definition 'Foo':
|
||||
Repeated bind inside rule pattern: 'a'.
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user