GitLab

fix second last commit: remove first argument type for BESetMemberTypeOfField and sdef_member_type_of_field and first State of sdef_member_states_of_field

remove first argument type for BESetMemberTypeOfField and sdef_member_type_of_field and first State of sdef_member_states_of_field

don't allow attributes of type constructor variables in type class contexts, instead of requiring uniform attribution of all occurrences in the type and the context (in inferred types these attributes are removed from type class contexts)

prevent generation of unused record descriptors for dictionaries, by not converting the first argument type of a class member type

bug fix, prevent possible compiler crash if fusion stops because the fused function arity>32 for an instance member

feature, add optional list of ignored generic functions to derive class, e.g. derive class C \ gEq,gPrint T

fix bug, copy gen_var_kinds of implementation module to definition module for exported generic functions

refactor, remove unused constructor KI_ConsVar, unused field tci_dcl_modules and unused argument dcl_modules

when deriving or defining a generic function for a type synonym, expand the type synonym if the right hand side consists of a type (not a synonym) applied to the same type variables (>0) as on the left hand side (and in the same order)

 add deriving a local function in the top level where of a default class instance member definition using derive

refactor, in module parse make some local functions global: the local functions of tryDefinition and local function want_LetsFunctionBody