Update core/src/error/mod.rs

Co-authored-by: jneem <joeneeman@gmail.com>
tweag · Feb 15, 2024 · f9385f4 · f9385f4
1 parent e6f687c
commit f9385f4
Showing 1 changed file with 1 addition and 4 deletions.
diff --git a/core/src/error/mod.rs b/core/src/error/mod.rs
@@ -1324,11 +1324,8 @@ impl IntoDiagnostics<FileId> for EvalError {
                 );
 
                 vec![Diagnostic::error()
-                    .with_message("non-exhaustive pattern matching")
+                    .with_message("unmatched pattern")
                     .with_labels(labels)
-                    .with_notes(vec![
-                        format!("This match expression isn't exhaustive"),
-                        "It has been applied to an argument which doesn't match any of the branches".to_owned(),
                     ])]
             }
             EvalError::IllegalPolymorphicTailAccess {