GitLab

change representation of arrays on intel/amd processors, remove descriptor from _ARRAY_ nodes, except for unboxed arrays of records, use _ARRAY_R_ descriptor for unboxed arrays of records, use _ARRAY_INT_, _ARRAY_REAL_, _ARRAY_BOOL_, _ARRAY_INT32_ or _ARRAY_REAL32_ descriptor for unboxed arrays of basic types, _ARRAY_ is still used for other arrays

add function _unify_tcs to module _SystemDynamic that checks if (normalised) type codes can be unified

add functions _unify_, same as _unify but only yields a Bool, and bind_global_type_pattern_var_n, replaces bind_global_type_pattern_var

move modules StdDynamic and _SystemDynamic from StdDynamicEnv in the dynamic repository to the StdEnv directory

fix StdOverloadedList.Diag2 such that overloading can be solved

See merge request clean-compiler-and-rts/stdenv!12

also change Diag2 in the implementation module of StdOverloadedList such that overloading can be solved

Fix lazy entries of ?Just and ?^Just in _system.abc (an additional ?Just with arity 0 is passed to these entry points, which needs to be popped first)

See merge request clean-compiler-and-rts/stdenv!11

Fix lazy entries of ?Just and ?^Just in _system.abc (an additional ?Just with arity 0 is passed to these entry points, which needs to be popped first)

Disambiguate descriptor names of _Conss and _Consts and of _Just and _Justs

See merge request clean-compiler-and-rts/stdenv!10

Add overloaded functions to StdMaybe

See merge request clean-compiler-and-rts/stdenv!9

replace type Maybe with constructors Just and Nothing by a type synonym for ?^ and macros for ?^Just and ?^None

Add default instance Array {32#} a for packed arrays

See merge request clean-compiler-and-rts/stdenv!8