Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Handle break somewhat better | Florian Diebold | 2020-05-08 | 1 | -1/+71 |
| | | | | | Still no break-with-value or labels, but at least we know that `loop { break; }` doesn't diverge. | ||||
* | Implement better handling of divergence | Florian Diebold | 2020-05-08 | 1 | -1/+106 |
| | | | | | | | | Divergence here means that for some reason, the end of a block will not be reached. We tried to model this just using the never type, but that doesn't work fully (e.g. in `let x = { loop {}; "foo" };` x should still have type `&str`); so this introduces a `diverges` flag that the type checker keeps track of, like rustc does. | ||||
* | Don't let unknown match arms fall back to ! | Florian Diebold | 2020-02-11 | 1 | -0/+17 |
| | |||||
* | Move Ty | Aleksey Kladov | 2019-11-27 | 1 | -0/+246 |