From 7e55f9c7257a278d5c97c8e39a1ec17c510296e1 Mon Sep 17 00:00:00 2001 From: Vytautas Astrauskas Date: Fri, 17 Jan 2020 15:13:53 +0100 Subject: [PATCH] Try to fix non-determinism that sometimes causes the test suite to fail. --- src/typechecker.rs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/typechecker.rs b/src/typechecker.rs index 6fe2f70..107eba5 100644 --- a/src/typechecker.rs +++ b/src/typechecker.rs @@ -147,8 +147,9 @@ fn check_body( } for key in kwargs.keys() { if !available_parameters.contains(key) { - let available_parameters: Vec<_> = + let mut available_parameters: Vec<_> = available_parameters.into_iter().collect(); + available_parameters.sort(); let parameter_span = kwargs[key].param.span(); return Err(Error::new( format!("Unknown parameter {} in predicate {}. Available parameters are: {}.",