Fixed errors in examples based on the stronger type check in connection with requiring "is subclass responsibility" definitions not to be private.
Added generation of union types for the new expression (tests included)
 NullPointerException reported in Problems view, fixes #334
Updated test results and added more tests related to generation of union types
Improved generation of collection of union types (e.g. seq of (nat|bool))
Fix: The instanceof check used in the Java generated records was constructed incorrectly
Added local assignment construct to the IR and did some cleanup of existing templates
Added generation of union types for the case where a field in an apply expression must be narrowed before it is applied ((A) x).op()
New type checking too tough on higher order polymorphic functions,
fixes #337
Fixed type errors related to the better checking of polymorphic types implemented by Nick. Still a few of the classes fail in type check but that is due to a bug that Nick has fixed so these should all be ok afterwards.
Fix for functionality used to look up the enclosing statement of an expression, which did not take into account the corner case where the enclosing statement is an 'if-else' statement in an if-statement
Improved the union type transformations for the local var declaration and the field expression
Improved generation of union types for the case where the type is a union of quotes
Merge remote-tracking branch 'origin/ncb/development' into pvj/main
Made core/codegen compatible with most recent TC changes
Undefined should be of any type in type checking, fixes #338
Fix related to cloning of arguments in an apply expression
Added test to exercise generation of the call statement when the object is of a union type
Refactoring of type assistant functionality
Map patterns not working with munion, fixes #340