GitLab

make type ExprInfo extensible, move constructors VI_LetVar, VI_LetExpression, EI_CaseTypeAndRefCounts and EI_CaseTypeAndSplits from module syntax to module convertcases, make types LetVarInfo, LetExpressionInfo, RefCountsInCase and SplitsInCase local, remove imports of these types

move constructor VI_Occurrence from module syntax to module refmark, and the types that are now only used by module refmark

use SP_GenerateRecordInstances during context reduction to detect Array {#}, UList and UTSList instances for records,
instead of detecting the class and calling try_to_unbox for all instances

add field number to field name for class constraint in dictionary, unless the constraint's arguments are identical to the class arguments, to prevent identical field names and therefore identical label names in generated code, see issue #3

allow multiple dependencies on the same generic function but with different generic dependency variables

remove OBJECT,CONS,RECORD,FIELD constructors from generic representation for generic bimap if possible

prevent boxing and immediatialy unboxing a record, when selecting a field from a selected unboxed record field of a record

in function copy_macro_or_local_macro_function, first copy the dynamics in the list, store them using
EI_DynamicCopy, use if available while copying, remove the copies at the end of the function

add function compare_members_of_exported_classes to compare
number of members of class definitions in definition and implementation module earlier,
stop checking after checkIclInstances if an error has occurred,
both to prevent compiler crashes for incorrect programs

the frontend of the compiler assumes the MatchNode yields a tuple without dictionaries,
so after adding the dictionaries the tuple selectors select incorrect values.
it would be better to fix this in the frontend, but it is easier in the backend,
therefore the code generator computes the number of dictionaries by subtracting
the arity of the result of the match node from the arity of the constructor,
and pops the dictionaries from the stack.

set nid_lhs_state_p when creating new functions,
create case, switch and push nodes for select and match functions

to prevent access to uninitialized value in is_tail_call_modulo_cons_node

this doesn't cause any problems, but valgrind complains