| --- |
| source: codespan-reporting/tests/term.rs |
| expression: TEST_DATA.emit_no_color(&config) |
| --- |
| error[E0308]: `case` clauses have incompatible types |
| --> FizzBuzz.fun:8:12 |
| | |
| 3 | fizz₁ : Nat → String |
| | ------ expected type `String` found here |
| 4 | fizz₁ num = case (mod num 5) (mod num 3) of |
| | /-------------' |
| 5 | | 0 0 => "FizzBuzz" |
| 6 | | 0 _ => "Fizz" |
| 7 | | _ 0 => "Buzz" |
| 8 | | _ _ => num |
| | | ^^^ expected `String`, found `Nat` |
| | \--------------' `case` clauses have incompatible types |
| | |
| = expected type `String` |
| found type `Nat` |
| |
| error[E0308]: `case` clauses have incompatible types |
| --> FizzBuzz.fun:16:16 |
| | |
| 10 | fizz₂ : Nat → String |
| | ------ expected type `String` found here |
| 11 | fizz₂ num = |
| 12 | / case (mod num 5) (mod num 3) of |
| 13 | | 0 0 => "FizzBuzz" |
| | | ---------- this is found to be of type `String` |
| 14 | | 0 _ => "Fizz" |
| | | ------ this is found to be of type `String` |
| 15 | | _ 0 => "Buzz" |
| | | ------ this is found to be of type `String` |
| 16 | | _ _ => num |
| | | ^^^ expected `String`, found `Nat` |
| | \------------------' `case` clauses have incompatible types |
| | |
| = expected type `String` |
| found type `Nat` |
| |
| |