team-worthwhile/worthwhile — Issue #55: Double error message in typesystem checker
Author: jspam
Created: 2012-02-16 21:46:40+00:00
State: open
Labels: parser / validator / typesystem

Take an expression like ```Integer i01 := 1 + true```. There will be two error messages shown in the list, both at the same position (at the location of ```true```):

1. ```Both summands have to be an Integer or an expression which returns an integer```
2. ```incompatible type; expected IntegerType, but found Boolean (on a Addition)```

There should only be one of these messages.