+20

compiler-core/src/error.rs

View file Reviewed

··· 2572 2572 } 2573 2573 } 2574 2574 2575 2575 + TypeError::EmptyCaseExpression { location } => { 2576 2576 + let text: String = "This case expression has no clauses.".into(); 2577 2577 + 2578 2578 + Diagnostic { 2579 2579 + title: "Empty case expression".into(), 2580 2580 + text, 2581 2581 + hint: None, 2582 2582 + level: Level::Error, 2583 2583 + location: Some(Location { 2584 2584 + src: src.clone(), 2585 2585 + path: path.to_path_buf(), 2586 2586 + label: Label { 2587 2587 + text: None, 2588 2588 + span: *location, 2589 2589 + }, 2590 2590 + extra_labels: Vec::new(), 2591 2591 + }), 2592 2592 + } 2593 2593 + } 2594 2594 + 2575 2595 TypeError::InexhaustiveCaseExpression { location, missing } => { 2576 2596 let mut text: String = 2577 2597 "This case expression does not have a pattern for all possible values.

+5

compiler-core/src/type_/error.rs

View file Reviewed

··· 313 313 name: EcoString, 314 314 }, 315 315 316 316 + /// A case expression contains no clauses. 317 317 + EmptyCaseExpression { 318 318 + location: SrcSpan, 319 319 + }, 320 320 + 316 321 /// A case expression is missing one or more patterns to match all possible 317 322 /// values of the type. 318 323 InexhaustiveCaseExpression {

+5

compiler-core/src/type_/expression.rs

View file Reviewed

··· 2551 2551 ) -> Result<(), Error> { 2552 2552 use exhaustiveness::{Body, Column, Compiler, PatternArena, Row}; 2553 2553 2554 2554 + // Error for empty clauses, must be caught before full exhaustiveness check 2555 2555 + if clauses.is_empty() { 2556 2556 + return Err(Error::EmptyCaseExpression { location }); 2557 2557 + } 2558 2558 + 2554 2559 let mut compiler = Compiler::new(self.environment, Arena::new()); 2555 2560 let mut arena = PatternArena::new(); 2556 2561