MERCURY_OPTIONS= --deep-random-write=25 --mdb-disable-progress
make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2020-11-07/tests/invalid'
/mnt/testing/run/build/mercury-srcdist-rotd-2020-11-07/stage2/scripts/mmc --generate-dependencies --grade hlc.gc     --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS -O5 --intermod-opt    bug521 > bug521.dep_err 2>&1
make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2020-11-07/tests/invalid'
make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2020-11-07/tests/invalid'
/mnt/testing/run/build/mercury-srcdist-rotd-2020-11-07/stage2/scripts/mmc --make-interface --grade hlc.gc     --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS -O5 --intermod-opt    bug521_sub
/mnt/testing/run/build/mercury-srcdist-rotd-2020-11-07/stage2/scripts/mmc --make-short-interface --grade hlc.gc     --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS -O5 --intermod-opt    bug521_sub
/mnt/testing/run/build/mercury-srcdist-rotd-2020-11-07/stage2/scripts/mmc --make-interface --grade hlc.gc     --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS -O5 --intermod-opt    bug521
/mnt/testing/run/build/mercury-srcdist-rotd-2020-11-07/stage2/scripts/mmc --make-optimization-interface --grade hlc.gc     --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS -O5 --intermod-opt    bug521_sub
bug521_sub.m:014: In declaration of function `get_things'/2:
bug521_sub.m:014:   error: undefined type `list'/1.
/tmp/mmake.XWs9EA:3495: recipe for target 'bug521_sub.optdate' failed
make[3]: *** [bug521_sub.optdate] Error 1
/mnt/testing/run/build/mercury-srcdist-rotd-2020-11-07/stage2/scripts/mmc --make-optimization-interface --grade hlc.gc     --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS -O5 --intermod-opt    bug521
bug521.m:027: In clause for predicate `get_wrapped_things'/1:
bug521.m:027:   in argument 1 of functor `list_wrapper/1':
bug521.m:027:   type error in unification of argument
bug521.m:027:   and constant `get_things'.
bug521.m:027:   argument has type `list.list(bug521_sub.thing)',
bug521.m:027:   constant `get_things' has type `list(bug521_sub.thing)'.
bug521_sub.int:006: Error: unqualified type `list' in automatically generated
bug521_sub.int:006:   interface file. The problem is that the definition of
bug521_sub.int:006:   this type is not visible in the source file of the
bug521_sub.int:006:   `bug521_sub' module. The cause is probably either a typo
bug521_sub.int:006:   in the type name, or a missing `:- import_module'
bug521_sub.int:006:   declaration.
For more information, recompile with `-E'.
/tmp/mmake.XWs9EA:3495: recipe for target 'bug521.optdate' failed
make[3]: *** [bug521.optdate] Error 1
make[3]: Target 'bug521.runtest' not remade because of errors.
make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2020-11-07/tests/invalid'