Michael Starzinger

@fgmccabe: > Similarly, functions that can throw should also have that reflected in their signature. > > I am aware that so-called checked exceptions are a controversial topic. This proposal...

@lukewagner: > This wouldn't include any static validation rules that non-"throws" functions must wrap calls to "throws" functions in a `try` block; the enforcement would be dynamic (and I think...

Just ran into the same issue, already started to file an issue assuming it was a bug. Only realized the back back button does the trick when reading through this...

I briefly looked into the third error you described in your issue (i.e. `expected between -4096 and 4095`). This is most likely some if-statement with a very large body in...

@mhatzl Nice, thanks for digging further into this. Good to know which while-loop is the culprit (and the fact that it is a while-loop instead of an if-statement). Regarding your...

@mhatzl I have in the meantime also refactored the while-loop in question in modeler.c a bit. I checked that it reduces the maximum (positive) `beq` distance down to `2524` (same...