class A {}; class B {inherit A;}; now works, typechecking improved Rev: src/compilation.h:1.3 Rev: src/las.c:1.13 Rev: src/pike_types.c:1.13 Rev: src/pike_types.h:1.3 Rev: src/program.c:1.14 Rev: src/program.h:1.8 Rev: src/testsuite.in:1.16 Rev: src/version.c:1.4 Rev: src/version.h:1.2