GitLab

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

(undo: check the type of instances defined using :== (maybe the parser should reject these instances))

to prevent crash in collectVariables

add generic case definitions in definition modules for the types used to make the generic representation,
in generic case definitions in definition modules specify what generic info and dependencies are used

add type constraints in constructors and function arguments with universal quantifier (from iTask branch)

add constructors PE_Matches and IsConstructor in module syntax

add record PartitioningInfo

remove import of StdCompare in checksupport.dcl,
changed some other imports

it is not used because dcl macros cannot use icl macros.

used by module trans (now uses copy)

{a & [i]= } expressions, instead of [i] a sequence of record and array
selections may be used. ending with an array selection

could only fail in case of a kind error which is already detected
elsewhere

s/\<mod_name\>/mod_ident/g
s/\<ps_field_name\>/ps_field_ident/g
s/\<ps_selector_name\>/ps_selector_ident/g
s/\<pc_cons_name\>/pc_cons_ident/g
s/\<class_name\>/class_ident/g
s/\<gen_name\>/gen_ident/g
s/\<gen_member_name\>/gen_member_ident/g
s/\<gc_name\>/gc_ident/g
s/\<gc_gname\>/gc_gident/g
s/\<fs_name\>/fs_ident/g
s/\<td_name\>/td_ident/g
s/\<fv_name\>/fv_ident/g
s/\<var_name\>/var_ident/g
s/\<type_name\>/type_ident/g
s/\<symb_name\>/symb_ident/g
s/\<tv_name\>/tv_ident/g
s/\<av_name\>/av_ident/g
s/\<me_symb\>/me_ident/g
s/\<ft_symb\>/ft_ident/g
s/\<fun_symb\>/fun_ident/g
s/\<cons_symb\>/cons_ident/g
s/\<sd_symb\>/sd__ident/g

- compare def imp for generics
- foldExpr
- type synonym expansion

es_main_dcl_module_n,	es_dcl_modules and es_expand_in_imp_module

uses an exported function from the current module