Try to fix non-determinism that sometimes causes the test suite to fail.

lqd · Jan 17, 2020 · 7e55f9c · 7e55f9c
1 parent 514647c
commit 7e55f9c
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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: {}.",