MERCURY_OPTIONS= --deep-random-write=25 --mdb-disable-progress make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2023-02-01/tests/invalid' if /mnt/testing/run/build/mercury-srcdist-rotd-2023-02-01/stage2/scripts/mmc --grade hlc.par.gc --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS --no-intermodule-optimization --verbose-error-messages \ --make-optimization-interface illtyped_compare > illtyped_compare.err 2>&1; \ then false; \ else true; \ fi Comparing illtyped_compare.err with illtyped_compare.err_exp*, results in illtyped_compare.err_res ** illtyped_compare.err did not match the expected error output ** (closest match was illtyped_compare.err_res1) --- illtyped_compare.err_exp 2023-02-01 20:15:45.000000000 +1100 +++ illtyped_compare.err 2023-02-02 14:40:27.421723292 +1100 @@ -1,38 +1 @@ -illtyped_compare.m:022: In clause for comparison predicate for type `bar_rep': -illtyped_compare.m:022: in call to predicate -illtyped_compare.m:022: `illtyped_compare.compare_bar'/3: -illtyped_compare.m:022: in argument 2: -illtyped_compare.m:022: variable `HeadVar__2' has type -illtyped_compare.m:022: illtyped_compare.bar_rep, -illtyped_compare.m:022: expected type was -illtyped_compare.m:022: illtyped_compare.bar; -illtyped_compare.m:022: in argument 3: -illtyped_compare.m:022: variable `HeadVar__3' has type -illtyped_compare.m:022: illtyped_compare.bar_rep, -illtyped_compare.m:022: expected type was -illtyped_compare.m:022: illtyped_compare.bar. -illtyped_compare.m:022: The partial type assignment was: -illtyped_compare.m:022: HeadVar__1_1: comparison_result -illtyped_compare.m:022: HeadVar__2_2: illtyped_compare.bar_rep -illtyped_compare.m:022: HeadVar__3_3: illtyped_compare.bar_rep -illtyped_compare.m:022: CastX_4: int -illtyped_compare.m:022: CastY_5: int -illtyped_compare.m:022: In clause for unification predicate for type `bar_rep': -illtyped_compare.m:022: in call to predicate -illtyped_compare.m:022: `illtyped_compare.compare_bar'/3: -illtyped_compare.m:022: in argument 2: -illtyped_compare.m:022: variable `HeadVar__1' has type -illtyped_compare.m:022: illtyped_compare.bar_rep, -illtyped_compare.m:022: expected type was -illtyped_compare.m:022: illtyped_compare.bar; -illtyped_compare.m:022: in argument 3: -illtyped_compare.m:022: variable `HeadVar__2' has type -illtyped_compare.m:022: illtyped_compare.bar_rep, -illtyped_compare.m:022: expected type was -illtyped_compare.m:022: illtyped_compare.bar. -illtyped_compare.m:022: The partial type assignment was: -illtyped_compare.m:022: HeadVar__1_1: illtyped_compare.bar_rep -illtyped_compare.m:022: HeadVar__2_2: illtyped_compare.bar_rep -illtyped_compare.m:022: Result_3: comparison_result -illtyped_compare.m:022: CastX_4: int -illtyped_compare.m:022: CastY_5: int +Segmentation fault (core dumped) make[3]: *** [../Mmake.common:172: illtyped_compare.err_res] Error 1 make[3]: Target 'illtyped_compare.runtest' not remade because of errors. make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2023-02-01/tests/invalid'