MERCURY_OPTIONS=
make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-07-24/tests/valid'
{ echo MCFLAGS += '--grade java     --options-file /mnt/testing/run/build/mercury-srcdist-rotd-2024-07-24/stage2/Mercury.options --mercury-linkage static -j2 --flags ../TESTS_FLAGS --flags ../WS_FLAGS --use-subdirs  -O-1  '; echo MCFLAGS += ' '; echo CFLAGS += '    '; echo JAVACFLAGS += '-J"-Xmx1024m"   '; echo CSCFLAGS += '   '; echo C2INITARGS += ' /mnt/testing/run/build/mercury-srcdist-rotd-2024-07-24/stage2/library/mer_std.init /mnt/testing/run/build/mercury-srcdist-rotd-2024-07-24/stage2/runtime/mer_rt.init    '; echo MLLIBS += '   '; echo MLOBJS += '  '; echo LDFLAGS += '  '; echo LD_LIBFLAGS += '  '; echo EXTRA_LIBRARIES += ''; echo EXTRA_LIB_DIRS += ''; echo LIBGRADES = 'hlc.gc  '; echo INSTALL_PREFIX = '/mnt/testing/run/install'; echo LINKAGE = 'shared'; echo MERCURY_LINKAGE = 'shared'; } | /mnt/testing/run/build/mercury-srcdist-rotd-2024-07-24/stage2/scripts/mmc --make --options-file - simplify_bug.depend
make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-07-24/tests/valid'
make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-07-24/tests/valid'
{ echo MCFLAGS += '--grade java     --options-file /mnt/testing/run/build/mercury-srcdist-rotd-2024-07-24/stage2/Mercury.options --mercury-linkage static -j2 --flags ../TESTS_FLAGS --flags ../WS_FLAGS --use-subdirs  -O-1  '; echo MCFLAGS += ' '; echo CFLAGS += '    '; echo JAVACFLAGS += '-J"-Xmx1024m"   '; echo CSCFLAGS += '   '; echo C2INITARGS += ' /mnt/testing/run/build/mercury-srcdist-rotd-2024-07-24/stage2/library/mer_std.init /mnt/testing/run/build/mercury-srcdist-rotd-2024-07-24/stage2/runtime/mer_rt.init    '; echo MLLIBS += '   '; echo MLOBJS += '  '; echo LDFLAGS += '  '; echo LD_LIBFLAGS += '  '; echo EXTRA_LIBRARIES += ''; echo EXTRA_LIB_DIRS += ''; echo LIBGRADES = 'hlc.gc  '; echo INSTALL_PREFIX = '/mnt/testing/run/install'; echo LINKAGE = 'shared'; echo MERCURY_LINKAGE = 'shared'; } | /mnt/testing/run/build/mercury-srcdist-rotd-2024-07-24/stage2/scripts/mmc --make --options-file - simplify_bug.class
Making Mercury/int3s/simplify_bug.int3
Making Mercury/ints/simplify_bug.int
Making Mercury/javas/jmercury/simplify_bug.java
simplify_bug.m:013: Warning: unresolved polymorphism in predicate `main'/2.
simplify_bug.m:013:   The variable with an unbound type was:
simplify_bug.m:013:     `V_6': list.list(T).
simplify_bug.m:013:   The unbound type variable `T' will be implicitly bound to
simplify_bug.m:013:   the builtin type `void'.
simplify_bug.m:023: Warning: recursive call to predicate `main'/2 will lead to
simplify_bug.m:023:   infinite recursion.
simplify_bug.m:029: Warning: the determinism declaration for `nasty'(in) could
simplify_bug.m:029:   be tighter.
simplify_bug.m:029:   Declared `nondet', inferred `semidet'.
simplify_bug.m:029: Warning: unresolved polymorphism in predicate `nasty'/1.
simplify_bug.m:029:   The variables with unbound types were:
simplify_bug.m:029:     `V_4': list.list(T),
simplify_bug.m:029:     `V_5': list.list(T),
simplify_bug.m:029:     `X':   list.list(T).
... output log truncated, see `simplify_bug.err' for the complete log.
Making Mercury/classes/jmercury/simplify_bug.class
Mercury/javas/jmercury/simplify_bug.java:32: error: package list.List_1 does not exist 
  private static final list.List_1.F_nil_0[] MR_scalar_common_1 = new list.List_1.F_nil_0[1];
                                  ^
Mercury/javas/jmercury/simplify_bug.java:47: error: package jmercury.runtime does not exist 
    jmercury.runtime.TypeInfo_Struct TypeInfo_for_T_4,
                    ^
Mercury/javas/jmercury/simplify_bug.java:48: error: package list does not exist 
    list.List_1 HeadVar__1_2)
        ^
Mercury/javas/jmercury/simplify_bug.java:141: error: package list does not exist 
    list.List_1 arg1,
        ^
Mercury/javas/jmercury/simplify_bug.java:142: error: package list does not exist 
    list.List_1 arg2,
        ^
Mercury/javas/jmercury/simplify_bug.java:156: error: package jmercury.runtime does not exist 
    implements jmercury.runtime.MethodPtr3
                               ^
Mercury/javas/jmercury/simplify_bug.java:181: error: package jmercury.runtime does not exist 
    public jmercury.runtime.Commit commit_0;
                           ^
Mercury/javas/jmercury/simplify_bug.java:182: error: package jmercury.runtime does not exist 
    public jmercury.runtime.TypeInfo_Struct TypeCtorInfo_7_12;
                           ^
Mercury/javas/jmercury/simplify_bug.java:183: error: package list does not exist 
    public list.List_1 X_9;
               ^
Mercury/javas/jmercury/simplify_bug.java:184: error: package list does not exist 
    public list.List_1 Var_10;
               ^
Mercury/javas/jmercury/simplify_bug.java:15: error: package jmercury.runtime does not exist 
    jmercury.runtime.JavaInternal.progname = "simplify_bug";
                    ^
Mercury/javas/jmercury/simplify_bug.java:16: error: package jmercury.runtime does not exist 
    jmercury.runtime.JavaInternal.args = args;
                    ^
Mercury/javas/jmercury/simplify_bug.java:17: error: package jmercury.runtime does not exist 
    jmercury.runtime.JavaInternal.exit_status = 0;
                    ^
Mercury/javas/jmercury/simplify_bug.java:18: error: cannot find symbol 
    library.ML_std_library_init();
    ^
  symbol:   variable library
  location: class simplify_bug
Mercury/javas/jmercury/simplify_bug.java:19: error: cannot find symbol 
    benchmarking.ML_initialise();
    ^
  symbol:   variable benchmarking
  location: class simplify_bug
Mercury/javas/jmercury/simplify_bug.java:25: error: package jmercury.runtime does not exist 
    jmercury.runtime.JavaInternal.runMain(run_main);
                    ^
Mercury/javas/jmercury/simplify_bug.java:26: error: cannot find symbol 
    io.flush_output_3_p_0(io.stdout_stream_0_f_0());
                          ^
  symbol:   variable io
  location: class simplify_bug
Mercury/javas/jmercury/simplify_bug.java:26: error: cannot find symbol 
    io.flush_output_3_p_0(io.stdout_stream_0_f_0());
    ^
  symbol:   variable io
  location: class simplify_bug
Mercury/javas/jmercury/simplify_bug.java:27: error: cannot find symbol 
    io.flush_output_3_p_0(io.stderr_stream_0_f_0());
                          ^
  symbol:   variable io
  location: class simplify_bug
Mercury/javas/jmercury/simplify_bug.java:27: error: cannot find symbol 
    io.flush_output_3_p_0(io.stderr_stream_0_f_0());
    ^
  symbol:   variable io
  location: class simplify_bug
Mercury/javas/jmercury/simplify_bug.java:28: error: package jmercury.runtime does not exist 
    java.lang.System.exit(jmercury.runtime.JavaInternal.exit_status);
                                          ^
Mercury/javas/jmercury/simplify_bug.java:32: error: package list.List_1 does not exist 
  private static final list.List_1.F_nil_0[] MR_scalar_common_1 = new list.List_1.F_nil_0[1];
                                                                                 ^
Mercury/javas/jmercury/simplify_bug.java:36: error: package list.List_1 does not exist 
      new list.List_1.F_nil_0();
                     ^
Mercury/javas/jmercury/simplify_bug.java:53: error: cannot find symbol 
      require.error_1_p_0(Var_3);
      ^
  symbol:   variable require
  location: class simplify_bug
Mercury/javas/jmercury/simplify_bug.java:71: error: cannot find symbol 
        ((simplify_bug.Main_2_p_0_env_0) env_ptr).succeeded = builtin.semidet_succeed_0_p_0();
                                                              ^
  symbol:   variable builtin
  location: class simplify_bug
Mercury/javas/jmercury/simplify_bug.java:78: error: package list does not exist 
              list.List_1 Var_11 = (list.List_1) simplify_bug.MR_scalar_common_1[0];
                  ^
Mercury/javas/jmercury/simplify_bug.java:78: error: package list does not exist 
              list.List_1 Var_11 = (list.List_1) simplify_bug.MR_scalar_common_1[0];
                                        ^
Mercury/javas/jmercury/simplify_bug.java:80: error: cannot find symbol 
              ((simplify_bug.Main_2_p_0_env_0) env_ptr).TypeCtorInfo_7_12 = jmercury.runtime.TypeInfo_Struct.maybe_new(builtin.builtin__type_ctor_info_void_0);
                                                                                                                       ^
  symbol:   variable builtin
  location: class simplify_bug
Mercury/javas/jmercury/simplify_bug.java:80: error: package jmercury.runtime does not exist 
              ((simplify_bug.Main_2_p_0_env_0) env_ptr).TypeCtorInfo_7_12 = jmercury.runtime.TypeInfo_Struct.maybe_new(builtin.builtin__type_ctor_info_void_0);
                                                                                            ^
Mercury/javas/jmercury/simplify_bug.java:82: error: cannot find symbol 
                list.append_3_p_4(((simplify_bug.Main_2_p_0_env_0) env_ptr).TypeCtorInfo_7_12, Var_11, new AddrOf3_0(), env_ptr);
                ^
  symbol:   variable list
  location: class simplify_bug
Mercury/javas/jmercury/simplify_bug.java:88: error: package jmercury.runtime does not exist 
        catch (jmercury.runtime.Commit commit_variable)
                               ^
Mercury/javas/jmercury/simplify_bug.java:94: error: cannot find symbol 
          ((simplify_bug.Main_2_p_0_env_0) env_ptr).succeeded = builtin.semidet_succeed_0_p_0();
                                                                ^
  symbol:   variable builtin
  location: class simplify_bug
Mercury/javas/jmercury/simplify_bug.java:117: error: package jmercury.runtime does not exist 
    ((simplify_bug.Main_2_p_0_env_0) env_ptr).commit_0 = new jmercury.runtime.Commit();
                                                                             ^
Mercury/javas/jmercury/simplify_bug.java:168: error: package list does not exist 
        simplify_bug.main_2_p_0_3(((list.List_1) arg1), ((list.List_1) arg2), ((/* env_ptr */ java.lang.Object) arg3));
                                        ^
Mercury/javas/jmercury/simplify_bug.java:168: error: package list does not exist 
        simplify_bug.main_2_p_0_3(((list.List_1) arg1), ((list.List_1) arg2), ((/* env_ptr */ java.lang.Object) arg3));
                                                              ^
35 errors
** Error making `Mercury/classes/jmercury/simplify_bug.class'.
make[3]: *** [/tmp/mmake.iyi5gy:1500: simplify_bug.class] Error 1
make[3]: Target 'simplify_bug.runtest' not remade because of errors.
make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-07-24/tests/valid'
ERROR OUTPUT
simplify_bug.m:013: Warning: unresolved polymorphism in predicate `main'/2.
simplify_bug.m:013:   The variable with an unbound type was:
simplify_bug.m:013:     `V_6': list.list(T).
simplify_bug.m:013:   The unbound type variable `T' will be implicitly bound to
simplify_bug.m:013:   the builtin type `void'.
simplify_bug.m:023: Warning: recursive call to predicate `main'/2 will lead to
simplify_bug.m:023:   infinite recursion.
simplify_bug.m:029: Warning: the determinism declaration for `nasty'(in) could
simplify_bug.m:029:   be tighter.
simplify_bug.m:029:   Declared `nondet', inferred `semidet'.
simplify_bug.m:029: Warning: unresolved polymorphism in predicate `nasty'/1.
simplify_bug.m:029:   The variables with unbound types were:
simplify_bug.m:029:     `V_4': list.list(T),
simplify_bug.m:029:     `V_5': list.list(T),
simplify_bug.m:029:     `X':   list.list(T).
simplify_bug.m:029:   The unbound type variable `T' will be implicitly bound to
simplify_bug.m:029:   the builtin type `void'.
For more information, recompile with `-E'.
END OF THE ERROR OUTPUT