| doIssue.lean:2:2-2:3: error: type mismatch | |
| x | |
| has type | |
| Nat : Type | |
| but is expected to have type | |
| IO PUnit : Type | |
| doIssue.lean:10:2-10:13: error: type mismatch | |
| xs.set! 0 1 | |
| has type | |
| Array Nat : Type | |
| but is expected to have type | |
| IO PUnit : Type | |
| doIssue.lean:18:7-18:20: error: application type mismatch | |
| pure (xs.set! 0 1) | |
| argument | |
| xs.set! 0 1 | |
| has type | |
| Array Nat : Type | |
| but is expected to have type | |
| PUnit : Type |