Some important bug fixes for the way subtype and supertype calculations are made.  I think it's working now ...
Some important bug fixes for the way subtype and supertype calculations are made.  I think it's working now ...

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