GitLab

bug fix, prevent compiler crash for cyclic type definitions containing both non abstract type definition(s) with parameter(s) and abstract synonym or new type definition(s)

refactor, in module analtypes add local function anal_not_abstract_type_defs_in_group and rename is_abstract_type to has_abstract_type

add derive of generic case as a local function in where of a generic case (of the same generic function and case type)

refactor, make local functions reorganiseLocalDefinitions and collect_functions_in_node_defs global, remove unused result from function partitionate_function, create pi once in partitionateAndLiftFunctions

use specified polymorphic generic contexts of type constructor(s) with polymorphic argument type(s) for all matching contexts

bug fix, fix the A stack pointer offset after pushing the elements of an overloaded unboxed cons or just node on top of the stack that is not needed any more

bug fix, for weightedRefCount and distributeLets in module convertcases, don't copy expressions in lets to default and case alternative(s) if it is used by a guard, or an expression after case, that may fail and by the default

refactor, move VarInfo constructors used only in convertcases to this module from module syntax, remove unused field lvi_var, use Any instead of foldSt to compute outer_var

bug fix, fix detection of accumulating arguments of consumers if a variable is used by a Selection inside applications

refactor, in module classify: add specialised version of reqs_of_args for App outside component, remove ignored strictness annotations in types

bug fix, add #! to call of restore_old_var_infos_and_retrieve_class_vars in module overloading, to work around bug in convertCasesOfFunctions that causes the compiler to generate incorrect code

bug fix, detect quantified type variables used as (t ..) in classes in constraints in function cleanupClosed

Update Windows cDirectory object files for DST fix

See merge request clean-compiler-and-rts/compiler!23

feature, when deriving type constraints with universally quantified type variables for (t ..) class arguments, prevent adding the same class constraint more than once

feature, add deriving of type constraints with universally quantified type variablesfor (t ..) class arguments, for example if an overloaded value is the argument of function argument that has a A. type

in match in module overloading, if a type variable occurs more than once in an instance type, compare the types, not yet used, to be used later only for generic instances

bug fix, report overloading error if a dictionary cannot be added to a missing overloaded argument (instead of crashing)

bug fix, don't make the node state strict for a record selection of a record with one lazy field (in codegen2.c)