# this test case use to cause an uncaught exception in the compiler class A def foo(s as String) pass class B inherits A def foo(s as BadName) # .error. Cannot find type base.foo(s) class P def main pass