Relax type-checking of methods when `throw' statement is encountered

[rudi]

---

Author Name: Rudolf Schlatte (Rudolf Schlatte)
Original Redmine Issue: 171, https://envisage.ifi.uio.no:8080/redmine/issues/171
Original Date: 2014-11-13
Original Assignee: Rudolf Schlatte

---

For any method that doesn't return Unit, the type checker expects a return statement of the appropriate value at the end. A method like the following should still be possible:

Int doesntreturn () {
    throw SomeError;
}

The workaround is, of course, to put in a dummy return after the throw.

[rudi]

closing for now; if it bites anyone it will be rediscovered.