search

GaloisInc / daedalus

The Daedalus data description language
BSD 3-Clause "New" or "Revised" License
65 stars 11 forks source link

Reject bit operations on signed numbers in type checker #348

Open yav opened 1 year ago

yav commented 1 year ago

Currently we have a discrepancy between the type checker the interpreter/compiler: the latter do not support bitwise operations on signed numbers, but the type checker does not reject programs that do this.

We should make the two consistent.