MERCURY_OPTIONS= --deep-random-write=25 --mdb-disable-progress make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2023-11-06/tests/invalid' /mnt/testing/run/build/mercury-srcdist-rotd-2023-11-06/stage2/scripts/mmc --make-interface --grade hlc.par.gc --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS --verbose-error-messages \ record_syntax_errors.m > record_syntax_errors.int_err 2>&1; if /mnt/testing/run/build/mercury-srcdist-rotd-2023-11-06/stage2/scripts/mmc --errorcheck-only --grade hlc.par.gc --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS --verbose-error-messages \ record_syntax_errors.m > record_syntax_errors.err 2>&1; \ then false; \ else true; \ fi Comparing record_syntax_errors.err with record_syntax_errors.err_exp*, results in record_syntax_errors.err_res ** record_syntax_errors.err did not match the expected error output ** (closest match was record_syntax_errors.err_res1) --- record_syntax_errors.err_exp 2023-09-17 21:02:33.000000000 +1000 +++ record_syntax_errors.err 2023-11-07 12:53:19.873810129 +1100 @@ -1,48 +1 @@ -record_syntax_errors.m:027: Error: `:- mode' declaration for function -record_syntax_errors.m:027: `field8'/1 -record_syntax_errors.m:027: without corresponding `:- func' declaration. -record_syntax_errors.m:027: Inferred :- func field8(record_syntax_errors.cons2) -record_syntax_errors.m:027: = int. -record_syntax_errors.m:033: In DCG field update goal: -record_syntax_errors.m:033: error: expected field name, found `Field'. -record_syntax_errors.m:036: Error: expected `Field =^ field1 ^ ... ^ fieldN' or -record_syntax_errors.m:036: `^ field1 ^ ... ^ fieldN := Field' in DCG field -record_syntax_errors.m:036: access goal. -record_syntax_errors.m:047: In clause for predicate `construct_exist_cons'/1: -record_syntax_errors.m:047: error: undefined symbol `field2 :='/2. -record_syntax_errors.m:010: Field `field2' cannot be updated because the -record_syntax_errors.m:010: existentially quantified type variable `T' occurs -record_syntax_errors.m:010: in the types of field `field2' and some other -record_syntax_errors.m:010: field in definition of constructor -record_syntax_errors.m:010: `record_syntax_errors.exist_cons'/3. -record_syntax_errors.m:051: In clause for predicate `arg_type_error'/1: -record_syntax_errors.m:051: in argument 2 of functor `field6 :=/2': -record_syntax_errors.m:051: in unification of argument -record_syntax_errors.m:051: and term `'field7 :='(V_10, V_9)': -record_syntax_errors.m:051: type error in argument of functor `field7 :='/2. -record_syntax_errors.m:051: Argument 2 has type -record_syntax_errors.m:051: string, -record_syntax_errors.m:051: expected type was -record_syntax_errors.m:051: int. -record_syntax_errors.m:053: Error: clause for predicate `term_type_error'/1 -record_syntax_errors.m:053: without corresponding `:- pred' declaration. -record_syntax_errors.m:055: In clause for predicate `term_type_error'/1: -record_syntax_errors.m:055: in argument 2 of functor `field6 :=/2': -record_syntax_errors.m:055: in unification of argument -record_syntax_errors.m:055: and term `'field4 :='(V_10, V_9)': -record_syntax_errors.m:055: type error in argument of functor `field4 :='/2. -record_syntax_errors.m:055: Argument 1 has type -record_syntax_errors.m:055: record_syntax_errors.cons2, -record_syntax_errors.m:055: expected type was -record_syntax_errors.m:055: record_syntax_errors.cons. -record_syntax_errors.m:059: In declaration of function `field4'/1: -record_syntax_errors.m:059: error: a field access function for an exported -record_syntax_errors.m:059: field must also be exported. -record_syntax_errors.m:062: Error: clause for automatically generated field -record_syntax_errors.m:062: access function `field4'/1. -record_syntax_errors.m:062: Clauses for field access functions are -record_syntax_errors.m:062: automatically generated by the compiler. To -record_syntax_errors.m:062: supply your own definition for a field access -record_syntax_errors.m:062: function, for example to check the input to a -record_syntax_errors.m:062: field update, give the field of the constructor a -record_syntax_errors.m:062: different name. +Segmentation fault make[3]: *** [../Mmake.common:172: record_syntax_errors.err_res] Error 1 make[3]: Target 'record_syntax_errors.runtest' not remade because of errors. make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2023-11-06/tests/invalid'