GitLab

remove type variable names in the backend, because they are not used: replace contents_tv by contents_tv_argument_n, remove struct type_var, replace functions BEVarTypeNode and BENumberedVarTypeNode by BETypeVar0TypeNode and BETypeVarNTypeNode (without type variable name), remove functions BETypeVar, BENumberedTypeVar and NewTypeVar

remove unused types BETypeVarListP, BEAttributeKindList and AttributeKindList, functions BENoTypeVars, BENoAttributeKinds and last argument of function BEFlatType in backend

remove unused type BEUniVarEquations, function BENoUniVarEquations and argument attributeEquations of function BETypeAlt in backend

remove unused functions BEAttributeKind, BEAttributeKinds, BEUniVarEquationsList and BEUniVarEquation and type TypeVarList from backend

remove typeVarList argument of BEFlatType (use BENoTypeVars), remove calls to BEAddForAllTypeVariables (that should have been removed already by a previous commit)

add substitute_special to module expand_types, extended version of substitute that also yields types that cannot be simplified by simplifyAndCheckTypeApplication, used in function instantiateTypes in module check, that generates specialized types, to be able to report errors for incorrect specialization of not kind * type variables with basic or function types (simplifyAndCheckTypeApplication cannot generate an incorrect type in this case, because type Type has no representation for these types)

in function init_variables for DictionariesFunction ignore unused variables, because count_local_dictionary also ignores them

unify type arguments from left to right to improve the alignment of types in cannot unify error messages

move function tryToExpand from module type to module typesupport, import module typesupport instead of type in implementation module unitype

remove import of module typesupport from definition module check, add to definition module type, add import of module utilities to implementation module generics1

remove import of module transform from definition module check, add to implementation module generics1

prevent crash (introduced by previous commit) in simplifyTypeApplication when printing an error message with a context with a free type variable application

reverse req_type_coercion_groups and tcg_type_coercions to restore the order of unifications in the type checker to improve error messages

remove completeness checking of default implementations for explicitly imported class members, if the default implementation is imported, it should be part of the declaration list and therefore still be checked for completeness