Uncovered a lurking bug in the way type test inference is performed, with respect to subtypes with different representations.  I've corrected it for the int/real case, but others are probably problematic.
Uncovered a lurking bug in the way type test inference is performed, with respect to subtypes with different representations.  I've corrected it for the int/real case, but others are probably problematic.

Whiley/WhileyCompiler,hjwylde/whiley-compiler,hjwylde/whiley-compiler,hjwylde/whiley-compiler,hjwylde/whiley-compiler,hjwylde/whiley-compiler