Parsing/Typechecking of conditions involving % (and possibly more general issue on priorities of operators in parser/checker)

TelluIoT / ThingML

The ThingML modelling language

https://github.com/TelluIoT/ThingML

Apache License 2.0

101 stars 32 forks source link

Parsing/Typechecking of conditions involving % (and possibly more general issue on priorities of operators in parser/checker) #178

Closed brice-morin closed 6 years ago

brice-morin commented 7 years ago

It seems that countdown % 30 == 0 is not type checked as a Boolean, whereas (countdown % 30) == 0 is properly type checked... it might be some issues with % (and priorities of operators) in the checker or in the parser...