waalge
/
aiken
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

chore: clippy fixes

This commit is contained in:
rvcas 2024-02-13 20:26:12 -05:00
parent 3582c5569d
commit ac0c73a56a
No known key found for this signature in database
GPG Key ID: C09B64E263F7D68C
3 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
crates/aiken-lang/src/tipo/error.rs
View File

@ -1094,7 +1094,7 @@ fn suggest_neighbor<'a>(
fn suggest_pattern( fn suggest_pattern(
expected: usize, expected: usize,
name: &str, name: &str,
given: &Vec<CallArg<UntypedPattern>>, given: &[CallArg<UntypedPattern>],
module: &Option<String>, module: &Option<String>,
is_record: bool, is_record: bool,
) -> Option<String> { ) -> Option<String> {

2
crates/aiken-project/src/blueprint/definitions.rs
View File

@ -168,7 +168,7 @@ impl Reference {
} }
} }
fn from_types(args: &Vec<Rc<Type>>, type_parameters: &HashMap<u64, Rc<Type>>) -> Self { fn from_types(args: &[Rc<Type>], type_parameters: &HashMap<u64, Rc<Type>>) -> Self {
if args.is_empty() { if args.is_empty() {
Reference::new("") Reference::new("")
} else { } else {

2
crates/aiken-project/src/telemetry.rs
View File

@ -334,7 +334,7 @@ fn fmt_test(eval_info: &EvalInfo, max_mem: usize, max_cpu: usize, styled: bool)
} }
} }
fn fmt_test_summary(tests: &Vec<&EvalInfo>, styled: bool) -> String { fn fmt_test_summary(tests: &[&EvalInfo], styled: bool) -> String {
let (n_passed, n_failed) = tests let (n_passed, n_failed) = tests
.iter() .iter()
.fold((0, 0), |(n_passed, n_failed), test_info| { .fold((0, 0), |(n_passed, n_failed), test_info| {