WyC: public, private, protected modifiers are mostly working now.  The only problem is in relation to the resolution of protected types, and presumably their mangling as well.
WyC: public, private, protected modifiers are mostly working now.  The only problem is in relation to the resolution of protected types, and presumably their mangling as well.

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