GitLab

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

Add {32#} instances for Array for Int and Real

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