search

mbeddr / mbeddr.core

The mbeddr core. An extensible C
Eclipse Public License 2.0
223 stars 77 forks source link

Invalid type system error when casting int16 with unit to int8 with unit #759

Closed stephaneberle9 closed 11 years ago

stephaneberle9 commented 11 years ago

E.g.,

int16/sample_Q8_8/ quadraturePhaseShift = ...; int8/sample/ quadraturePhaseShiftInteger = ((int8/sample/) (quadraturePhaseShift >> 8));

see com.itemis.embedded.platform.energy.implementation.impl.metrology.MainsFrequencyComputationImpl for details.

Expected result: no type system error Actual result: Error: type int8/sample/ is not compatible wiht int16/sample_Q8_8

bkolb commented 11 years ago

invalid