Estimated hours taken: 2.5
Branches: main
Fix a bug reported by Ondrej Bojar (obo [AT] cuni [DOT] cz)
which caused seg faults in io.read_binary.
library/construct.m:
Expand equivalence types in get_functor/5, get_functor_2/6,
and construct/4. This is needed in order to have the proper
type_info to use when substituting type parameters in the list
of argument types for the functor.
tests/hard_coded/Mmakefile:
tests/hard_coded/construct_bug.m:
tests/hard_coded/construct_bug.exp:
tests/hard_coded/construct_bug_submodule.m:
Add a new regression test.
