TypeInstantiations.dfy(33,7): Error: to redeclare and refine declaration 'B' from module 'M0', you must use the refining (`...`) notation
TypeInstantiations.dfy(40,7): Error: type 'G' is declared with a different number of type parameters (1 instead of 0) than the corresponding type in the module it refines
TypeInstantiations.dfy(41,7): Error: type 'H' is declared with a different number of type parameters (1 instead of 2) than the corresponding type in the module it refines
TypeInstantiations.dfy(42,7): Error: type 'J' is declared with a different number of type parameters (0 instead of 1) than the corresponding type in the module it refines
TypeInstantiations.dfy(44,10): Error: type parameter 'W' is not allowed to change the requirement of supporting equality
TypeInstantiations.dfy(45,10): Error: type parameter 'W' is not allowed to change the requirement of supporting equality
TypeInstantiations.dfy(46,9): Error: type parameter 'V' is not allowed to change the requirement of supporting equality
TypeInstantiations.dfy(49,9): Error: type parameter 'U'' is not allowed to change the requirement of supporting equality
TypeInstantiations.dfy(51,8): Error: class 'R' is declared with a different number of type parameters (0 instead of 1) than the corresponding class in the module it refines
TypeInstantiations.dfy(52,10): Error: type parameters are not allowed to be renamed from the names given in the class in the module being refined (expected 'U', found 'T')
TypeInstantiations.dfy(53,8): Error: class 'T' is declared with a different number of type parameters (1 instead of 0) than the corresponding class in the module it refines
TypeInstantiations.dfy(55,7): Error: abstract type 'TP0' is declared with a different number of type parameters (1 instead of 0) than the corresponding abstract type in the module it refines
TypeInstantiations.dfy(56,7): Error: abstract type 'TP1' is declared with a different number of type parameters (0 instead of 1) than the corresponding abstract type in the module it refines
TypeInstantiations.dfy(57,15): Error: type parameters are not allowed to be renamed from the names given in the abstract type in the module being refined (expected 'Y1', found 'E1')
TypeInstantiations.dfy(34,11): Error: to be a refinement of abstract type 'M0.C' declared with (==), datatype 'M1.C' must support equality
TypeInstantiations.dfy(35,7): Error: to be a refinement of abstract type 'M0.D' declared with (==), type synonym 'M1.D' must support equality
TypeInstantiations.dfy(36,13): Error: to be a refinement of abstract type 'M0.E' declared with (==), codatatype 'M1.E' must support equality
TypeInstantiations.dfy(48,7): Error: to be a refinement of abstract type 'M0.N' declared with (==), type synonym 'M1.N' must support equality
TypeInstantiations.dfy(69,29): Error: RHS (of type List<int>) not assignable to LHS (of type MyList.List<real>) (non-variant type parameter would require real = int)
TypeInstantiations.dfy(81,8): Error: the type of this variable is underspecified
TypeInstantiations.dfy(82,8): Error: the type of this variable is underspecified
TypeInstantiations.dfy(96,22): Error: RHS (of type List<int>) not assignable to LHS (of type List<real>) (non-variant type parameter would require real = int)
TypeInstantiations.dfy(108,8): Error: the type of this variable is underspecified
TypeInstantiations.dfy(109,8): Error: the type of this variable is underspecified
TypeInstantiations.dfy(127,27): Error: RHS (of type int) not assignable to LHS (of type C.Classic<real>)
TypeInstantiations.dfy(137,8): Error: the type of this variable is underspecified
TypeInstantiations.dfy(137,15): Error: type of type parameter could not be determined; please specify the type explicitly
TypeInstantiations.dfy(137,23): Error: type parameter 'A' (inferred to be '?') in the function call to 'F' could not be determined
TypeInstantiations.dfy(137,24): Error: the type of this expression is underspecified
29 resolution/type errors detected in TypeInstantiations.dfy
