MERCURY_OPTIONS=
make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-10-06/tests/valid'
{ echo MCFLAGS += '--grade java     --options-file /mnt/testing/run/build/mercury-srcdist-rotd-2024-10-06/stage2/Mercury.options --mercury-linkage static -j2 --flags ../TESTS_FLAGS --flags ../WS_FLAGS --use-subdirs    '; echo MCFLAGS += ' '; echo CFLAGS += '    '; echo JAVACFLAGS += '-J"-Xmx1024m"   '; echo CSCFLAGS += '   '; echo C2INITARGS += ' /mnt/testing/run/build/mercury-srcdist-rotd-2024-10-06/stage2/library/mer_std.init /mnt/testing/run/build/mercury-srcdist-rotd-2024-10-06/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-10-06/stage2/scripts/mmc --make --options-file - switch_detection_bug_2.depend
make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-10-06/tests/valid'
make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-10-06/tests/valid'
{ echo MCFLAGS += '--grade java     --options-file /mnt/testing/run/build/mercury-srcdist-rotd-2024-10-06/stage2/Mercury.options --mercury-linkage static -j2 --flags ../TESTS_FLAGS --flags ../WS_FLAGS --use-subdirs    '; echo MCFLAGS += ' '; echo CFLAGS += '    '; echo JAVACFLAGS += '-J"-Xmx1024m"   '; echo CSCFLAGS += '   '; echo C2INITARGS += ' /mnt/testing/run/build/mercury-srcdist-rotd-2024-10-06/stage2/library/mer_std.init /mnt/testing/run/build/mercury-srcdist-rotd-2024-10-06/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-10-06/stage2/scripts/mmc --make --options-file - switch_detection_bug_2.class
Making Mercury/int3s/switch_detection_bug_2.int3
Making Mercury/ints/switch_detection_bug_2.int
Making Mercury/javas/jmercury/switch_detection_bug_2.java
Making Mercury/classes/jmercury/switch_detection_bug_2.class
Mercury/javas/jmercury/switch_detection_bug_2.java:15: error: package jmercury.runtime does not exist 
  private static final jmercury.runtime.TypeInfo_Struct list__ti_list_1switch_detection_bug_2__type_ctor_info_edit_0 = new jmercury.runtime.TypeInfo_Struct();
                                       ^
Mercury/javas/jmercury/switch_detection_bug_2.java:16: error: package jmercury.runtime does not exist 
  public static final jmercury.runtime.TypeCtorInfo_Struct switch_detection_bug_2__type_ctor_info_diff_0 = new jmercury.runtime.TypeCtorInfo_Struct();
                                      ^
Mercury/javas/jmercury/switch_detection_bug_2.java:17: error: package jmercury.runtime does not exist 
  private static final jmercury.runtime.TypeInfo_Struct pair__ti_pair_2builtin__type_ctor_info_int_0builtin__type_ctor_info_int_0 = new jmercury.runtime.TypeInfo_Struct();
                                       ^
Mercury/javas/jmercury/switch_detection_bug_2.java:18: error: package jmercury.runtime does not exist 
  private static final jmercury.runtime.PseudoTypeInfo[] switch_detection_bug_2__field_types_edit_0_0 = new jmercury.runtime.PseudoTypeInfo[2];
                                       ^
Mercury/javas/jmercury/switch_detection_bug_2.java:19: error: package jmercury.runtime does not exist 
  private static final jmercury.runtime.DuFunctorDesc switch_detection_bug_2__du_functor_desc_edit_0_0 = new jmercury.runtime.DuFunctorDesc();
                                       ^
Mercury/javas/jmercury/switch_detection_bug_2.java:20: error: package jmercury.runtime does not exist 
  private static final jmercury.runtime.PseudoTypeInfo[] switch_detection_bug_2__field_types_edit_0_1 = new jmercury.runtime.PseudoTypeInfo[2];
                                       ^
Mercury/javas/jmercury/switch_detection_bug_2.java:21: error: package jmercury.runtime does not exist 
  private static final jmercury.runtime.DuFunctorDesc switch_detection_bug_2__du_functor_desc_edit_0_1 = new jmercury.runtime.DuFunctorDesc();
                                       ^
Mercury/javas/jmercury/switch_detection_bug_2.java:22: error: package jmercury.runtime does not exist 
  private static final jmercury.runtime.PseudoTypeInfo[] switch_detection_bug_2__field_types_edit_0_2 = new jmercury.runtime.PseudoTypeInfo[2];
                                       ^
Mercury/javas/jmercury/switch_detection_bug_2.java:23: error: package jmercury.runtime does not exist 
  private static final jmercury.runtime.DuFunctorDesc switch_detection_bug_2__du_functor_desc_edit_0_2 = new jmercury.runtime.DuFunctorDesc();
                                       ^
Mercury/javas/jmercury/switch_detection_bug_2.java:24: error: package jmercury.runtime does not exist 
  private static final jmercury.runtime.DuFunctorDesc[] switch_detection_bug_2__du_stag_ordered_edit_0_0 = new jmercury.runtime.DuFunctorDesc[3];
                                       ^
Mercury/javas/jmercury/switch_detection_bug_2.java:25: error: package jmercury.runtime does not exist 
  private static final jmercury.runtime.DuPtagLayout[] switch_detection_bug_2__du_ptag_ordered_edit_0 = new jmercury.runtime.DuPtagLayout[1];
                                       ^
Mercury/javas/jmercury/switch_detection_bug_2.java:26: error: package jmercury.runtime does not exist 
  private static final jmercury.runtime.DuFunctorDesc[] switch_detection_bug_2__du_name_ordered_edit_0 = new jmercury.runtime.DuFunctorDesc[3];
                                       ^
Mercury/javas/jmercury/switch_detection_bug_2.java:28: error: package jmercury.runtime does not exist 
  public static final jmercury.runtime.TypeCtorInfo_Struct switch_detection_bug_2__type_ctor_info_edit_0 = new jmercury.runtime.TypeCtorInfo_Struct();
                                      ^
Mercury/javas/jmercury/switch_detection_bug_2.java:29: error: package jmercury.runtime does not exist 
  public static final jmercury.runtime.TypeCtorInfo_Struct switch_detection_bug_2__type_ctor_info_pos_0 = new jmercury.runtime.TypeCtorInfo_Struct();
                                      ^
Mercury/javas/jmercury/switch_detection_bug_2.java:30: error: package jmercury.runtime does not exist 
  public static final jmercury.runtime.TypeCtorInfo_Struct switch_detection_bug_2__type_ctor_info_segment_0 = new jmercury.runtime.TypeCtorInfo_Struct();
                                      ^
Mercury/javas/jmercury/switch_detection_bug_2.java:31: error: package jmercury.runtime does not exist 
  private static final jmercury.runtime.PseudoTypeInfo[] switch_detection_bug_2__field_types_side_by_side_info_0_0 = new jmercury.runtime.PseudoTypeInfo[5];
                                       ^
Mercury/javas/jmercury/switch_detection_bug_2.java:32: error: package jmercury.runtime does not exist 
  private static final jmercury.runtime.DuFunctorDesc switch_detection_bug_2__du_functor_desc_side_by_side_info_0_0 = new jmercury.runtime.DuFunctorDesc();
                                       ^
Mercury/javas/jmercury/switch_detection_bug_2.java:33: error: package jmercury.runtime does not exist 
  private static final jmercury.runtime.DuFunctorDesc[] switch_detection_bug_2__du_stag_ordered_side_by_side_info_0_0 = new jmercury.runtime.DuFunctorDesc[1];
                                       ^
Mercury/javas/jmercury/switch_detection_bug_2.java:34: error: package jmercury.runtime does not exist 
  private static final jmercury.runtime.DuPtagLayout[] switch_detection_bug_2__du_ptag_ordered_side_by_side_info_0 = new jmercury.runtime.DuPtagLayout[1];
                                       ^
Mercury/javas/jmercury/switch_detection_bug_2.java:35: error: package jmercury.runtime does not exist 
  private static final jmercury.runtime.DuFunctorDesc[] switch_detection_bug_2__du_name_ordered_side_by_side_info_0 = new jmercury.runtime.DuFunctorDesc[1];
                                       ^
Mercury/javas/jmercury/switch_detection_bug_2.java:37: error: package jmercury.runtime does not exist 
  public static final jmercury.runtime.TypeCtorInfo_Struct switch_detection_bug_2__type_ctor_info_side_by_side_info_0 = new jmercury.runtime.TypeCtorInfo_Struct();
                                      ^
Mercury/javas/jmercury/switch_detection_bug_2.java:285: error: package jmercury.runtime does not exist 
  private static final jmercury.runtime.TypeInfo_Struct[] MR_scalar_common_1 = new jmercury.runtime.TypeInfo_Struct[2];
                                       ^
Mercury/javas/jmercury/switch_detection_bug_2.java:1180: error: package jmercury.runtime does not exist 
    implements jmercury.runtime.MercuryType
                               ^
Mercury/javas/jmercury/switch_detection_bug_2.java:311: error: package list does not exist 
    list.List_1 HeadVar__3_3)
        ^
Mercury/javas/jmercury/switch_detection_bug_2.java:1110: error: package jmercury.runtime does not exist 
    implements jmercury.runtime.MercuryType
                               ^
Mercury/javas/jmercury/switch_detection_bug_2.java:353: error: package list does not exist 
    list.List_1 HeadVar__2_2,
        ^
Mercury/javas/jmercury/switch_detection_bug_2.java:354: error: package list does not exist 
    list.List_1 HeadVar__3_3)
        ^
Mercury/javas/jmercury/switch_detection_bug_2.java:351: error: package builtin does not exist 
  public static builtin.Comparison_result_0
                       ^
Mercury/javas/jmercury/switch_detection_bug_2.java:382: error: package builtin does not exist 
  public static builtin.Comparison_result_0
                       ^
Mercury/javas/jmercury/switch_detection_bug_2.java:538: error: package builtin does not exist 
  public static builtin.Comparison_result_0
                       ^
Mercury/javas/jmercury/switch_detection_bug_2.java:579: error: package pair does not exist 
    pair.Pair_2 HeadVar__2_2,
        ^
Mercury/javas/jmercury/switch_detection_bug_2.java:580: error: package pair does not exist 
    pair.Pair_2 HeadVar__3_3)
        ^
Mercury/javas/jmercury/switch_detection_bug_2.java:577: error: package builtin does not exist 
  public static builtin.Comparison_result_0
                       ^
Mercury/javas/jmercury/switch_detection_bug_2.java:608: error: package builtin does not exist 
  public static builtin.Comparison_result_0
                       ^
Mercury/javas/jmercury/switch_detection_bug_2.java:748: error: package list does not exist 
    list.List_1 HeadVar__1_1,
        ^
Mercury/javas/jmercury/switch_detection_bug_2.java:749: error: package list does not exist 
    list.List_1 HeadVar__2_2)
        ^
Mercury/javas/jmercury/switch_detection_bug_2.java:910: error: package pair does not exist 
    pair.Pair_2 HeadVar__1_1,
        ^
Mercury/javas/jmercury/switch_detection_bug_2.java:911: error: package pair does not exist 
    pair.Pair_2 HeadVar__2_2)
        ^
Mercury/javas/jmercury/switch_detection_bug_2.java:1184: error: package bool does not exist 
    public bool.Bool_0 F3;
               ^
Mercury/javas/jmercury/switch_detection_bug_2.java:1185: error: package bool does not exist 
    public bool.Bool_0 F4;
               ^
Mercury/javas/jmercury/switch_detection_bug_2.java:1186: error: package bool does not exist 
    public bool.Bool_0 F5;
               ^
Mercury/javas/jmercury/switch_detection_bug_2.java:1196: error: package bool does not exist 
      bool.Bool_0 F3,
          ^
Mercury/javas/jmercury/switch_detection_bug_2.java:1197: error: package bool does not exist 
      bool.Bool_0 F4,
          ^
Mercury/javas/jmercury/switch_detection_bug_2.java:1198: error: package bool does not exist 
      bool.Bool_0 F5)
          ^
Mercury/javas/jmercury/switch_detection_bug_2.java:996: error: package jmercury.runtime does not exist 
    implements jmercury.runtime.MethodPtr2
                               ^
Mercury/javas/jmercury/switch_detection_bug_2.java:1116: error: package pair does not exist 
      public pair.Pair_2<java.lang.Integer, java.lang.Integer> F1;
                 ^
Mercury/javas/jmercury/switch_detection_bug_2.java:1117: error: package pair does not exist 
      public pair.Pair_2<java.lang.Integer, java.lang.Integer> F2;
                 ^
Mercury/javas/jmercury/switch_detection_bug_2.java:1125: error: package pair does not exist 
        pair.Pair_2<java.lang.Integer, java.lang.Integer> F1,
            ^
Mercury/javas/jmercury/switch_detection_bug_2.java:1126: error: package pair does not exist 
        pair.Pair_2<java.lang.Integer, java.lang.Integer> F2)
            ^
Mercury/javas/jmercury/switch_detection_bug_2.java:1137: error: package pair does not exist 
      public pair.Pair_2<java.lang.Integer, java.lang.Integer> F1;
                 ^
Mercury/javas/jmercury/switch_detection_bug_2.java:1146: error: package pair does not exist 
        pair.Pair_2<java.lang.Integer, java.lang.Integer> F1,
            ^
Mercury/javas/jmercury/switch_detection_bug_2.java:1159: error: package pair does not exist 
      public pair.Pair_2<java.lang.Integer, java.lang.Integer> F2;
                 ^
Mercury/javas/jmercury/switch_detection_bug_2.java:1168: error: package pair does not exist 
        pair.Pair_2<java.lang.Integer, java.lang.Integer> F2)
            ^
Mercury/javas/jmercury/switch_detection_bug_2.java:15: error: package jmercury.runtime does not exist 
  private static final jmercury.runtime.TypeInfo_Struct list__ti_list_1switch_detection_bug_2__type_ctor_info_edit_0 = new jmercury.runtime.TypeInfo_Struct();
                                                                                                                                           ^
Mercury/javas/jmercury/switch_detection_bug_2.java:16: error: package jmercury.runtime does not exist 
  public static final jmercury.runtime.TypeCtorInfo_Struct switch_detection_bug_2__type_ctor_info_diff_0 = new jmercury.runtime.TypeCtorInfo_Struct();
                                                                                                                               ^
Mercury/javas/jmercury/switch_detection_bug_2.java:17: error: package jmercury.runtime does not exist 
  private static final jmercury.runtime.TypeInfo_Struct pair__ti_pair_2builtin__type_ctor_info_int_0builtin__type_ctor_info_int_0 = new jmercury.runtime.TypeInfo_Struct();
                                                                                                                                                        ^
Mercury/javas/jmercury/switch_detection_bug_2.java:18: error: package jmercury.runtime does not exist 
  private static final jmercury.runtime.PseudoTypeInfo[] switch_detection_bug_2__field_types_edit_0_0 = new jmercury.runtime.PseudoTypeInfo[2];
                                                                                                                            ^
Mercury/javas/jmercury/switch_detection_bug_2.java:19: error: package jmercury.runtime does not exist 
  private static final jmercury.runtime.DuFunctorDesc switch_detection_bug_2__du_functor_desc_edit_0_0 = new jmercury.runtime.DuFunctorDesc();
                                                                                                                             ^
Mercury/javas/jmercury/switch_detection_bug_2.java:20: error: package jmercury.runtime does not exist 
  private static final jmercury.runtime.PseudoTypeInfo[] switch_detection_bug_2__field_types_edit_0_1 = new jmercury.runtime.PseudoTypeInfo[2];
                                                                                                                            ^
Mercury/javas/jmercury/switch_detection_bug_2.java:21: error: package jmercury.runtime does not exist 
  private static final jmercury.runtime.DuFunctorDesc switch_detection_bug_2__du_functor_desc_edit_0_1 = new jmercury.runtime.DuFunctorDesc();
                                                                                                                             ^
Mercury/javas/jmercury/switch_detection_bug_2.java:22: error: package jmercury.runtime does not exist 
  private static final jmercury.runtime.PseudoTypeInfo[] switch_detection_bug_2__field_types_edit_0_2 = new jmercury.runtime.PseudoTypeInfo[2];
                                                                                                                            ^
Mercury/javas/jmercury/switch_detection_bug_2.java:23: error: package jmercury.runtime does not exist 
  private static final jmercury.runtime.DuFunctorDesc switch_detection_bug_2__du_functor_desc_edit_0_2 = new jmercury.runtime.DuFunctorDesc();
                                                                                                                             ^
Mercury/javas/jmercury/switch_detection_bug_2.java:24: error: package jmercury.runtime does not exist 
  private static final jmercury.runtime.DuFunctorDesc[] switch_detection_bug_2__du_stag_ordered_edit_0_0 = new jmercury.runtime.DuFunctorDesc[3];
                                                                                                                               ^
Mercury/javas/jmercury/switch_detection_bug_2.java:25: error: package jmercury.runtime does not exist 
  private static final jmercury.runtime.DuPtagLayout[] switch_detection_bug_2__du_ptag_ordered_edit_0 = new jmercury.runtime.DuPtagLayout[1];
                                                                                                                            ^
Mercury/javas/jmercury/switch_detection_bug_2.java:26: error: package jmercury.runtime does not exist 
  private static final jmercury.runtime.DuFunctorDesc[] switch_detection_bug_2__du_name_ordered_edit_0 = new jmercury.runtime.DuFunctorDesc[3];
                                                                                                                             ^
Mercury/javas/jmercury/switch_detection_bug_2.java:28: error: package jmercury.runtime does not exist 
  public static final jmercury.runtime.TypeCtorInfo_Struct switch_detection_bug_2__type_ctor_info_edit_0 = new jmercury.runtime.TypeCtorInfo_Struct();
                                                                                                                               ^
Mercury/javas/jmercury/switch_detection_bug_2.java:29: error: package jmercury.runtime does not exist 
  public static final jmercury.runtime.TypeCtorInfo_Struct switch_detection_bug_2__type_ctor_info_pos_0 = new jmercury.runtime.TypeCtorInfo_Struct();
                                                                                                                              ^
Mercury/javas/jmercury/switch_detection_bug_2.java:30: error: package jmercury.runtime does not exist 
  public static final jmercury.runtime.TypeCtorInfo_Struct switch_detection_bug_2__type_ctor_info_segment_0 = new jmercury.runtime.TypeCtorInfo_Struct();
                                                                                                                                  ^
Mercury/javas/jmercury/switch_detection_bug_2.java:31: error: package jmercury.runtime does not exist 
  private static final jmercury.runtime.PseudoTypeInfo[] switch_detection_bug_2__field_types_side_by_side_info_0_0 = new jmercury.runtime.PseudoTypeInfo[5];
                                                                                                                                         ^
Mercury/javas/jmercury/switch_detection_bug_2.java:32: error: package jmercury.runtime does not exist 
  private static final jmercury.runtime.DuFunctorDesc switch_detection_bug_2__du_functor_desc_side_by_side_info_0_0 = new jmercury.runtime.DuFunctorDesc();
                                                                                                                                          ^
Mercury/javas/jmercury/switch_detection_bug_2.java:33: error: package jmercury.runtime does not exist 
  private static final jmercury.runtime.DuFunctorDesc[] switch_detection_bug_2__du_stag_ordered_side_by_side_info_0_0 = new jmercury.runtime.DuFunctorDesc[1];
                                                                                                                                            ^
Mercury/javas/jmercury/switch_detection_bug_2.java:34: error: package jmercury.runtime does not exist 
  private static final jmercury.runtime.DuPtagLayout[] switch_detection_bug_2__du_ptag_ordered_side_by_side_info_0 = new jmercury.runtime.DuPtagLayout[1];
                                                                                                                                         ^
Mercury/javas/jmercury/switch_detection_bug_2.java:35: error: package jmercury.runtime does not exist 
  private static final jmercury.runtime.DuFunctorDesc[] switch_detection_bug_2__du_name_ordered_side_by_side_info_0 = new jmercury.runtime.DuFunctorDesc[1];
                                                                                                                                          ^
Mercury/javas/jmercury/switch_detection_bug_2.java:37: error: package jmercury.runtime does not exist 
  public static final jmercury.runtime.TypeCtorInfo_Struct switch_detection_bug_2__type_ctor_info_side_by_side_info_0 = new jmercury.runtime.TypeCtorInfo_Struct();
                                                                                                                                            ^
Mercury/javas/jmercury/switch_detection_bug_2.java:42: error: cannot find symbol 
      list.list__type_ctor_info_list_1,
      ^
  symbol:   variable list
  location: class switch_detection_bug_2
Mercury/javas/jmercury/switch_detection_bug_2.java:44: error: package jmercury.runtime does not exist 
        jmercury.runtime.TypeInfo_Struct.maybe_new(switch_detection_bug_2.switch_detection_bug_2__type_ctor_info_edit_0)
                        ^
Mercury/javas/jmercury/switch_detection_bug_2.java:51: error: package jmercury.runtime does not exist 
      jmercury.runtime.TypeCtorRep.MR_TYPECTOR_REP_EQUIV_GROUND,
                      ^
Mercury/javas/jmercury/switch_detection_bug_2.java:56: error: package jmercury.runtime does not exist 
      new jmercury.runtime.TypeFunctors(
                          ^
Mercury/javas/jmercury/switch_detection_bug_2.java:59: error: package jmercury.runtime does not exist 
      new jmercury.runtime.TypeLayout(
                          ^
Mercury/javas/jmercury/switch_detection_bug_2.java:60: error: package jmercury.runtime does not exist 
        (jmercury.runtime.PseudoTypeInfo) switch_detection_bug_2.list__ti_list_1switch_detection_bug_2__type_ctor_info_edit_0
                         ^
Mercury/javas/jmercury/switch_detection_bug_2.java:68: error: cannot find symbol 
      pair.pair__type_ctor_info_pair_2,
      ^
  symbol:   variable pair
  location: class switch_detection_bug_2
Mercury/javas/jmercury/switch_detection_bug_2.java:70: error: cannot find symbol 
        jmercury.runtime.TypeInfo_Struct.maybe_new(builtin.builtin__type_ctor_info_int_0),
                                                   ^
  symbol:   variable builtin
  location: class switch_detection_bug_2
Mercury/javas/jmercury/switch_detection_bug_2.java:70: error: package jmercury.runtime does not exist 
        jmercury.runtime.TypeInfo_Struct.maybe_new(builtin.builtin__type_ctor_info_int_0),
                        ^
Mercury/javas/jmercury/switch_detection_bug_2.java:71: error: cannot find symbol 
        jmercury.runtime.TypeInfo_Struct.maybe_new(builtin.builtin__type_ctor_info_int_0)
                                                   ^
  symbol:   variable builtin
  location: class switch_detection_bug_2
Mercury/javas/jmercury/switch_detection_bug_2.java:71: error: package jmercury.runtime does not exist 
        jmercury.runtime.TypeInfo_Struct.maybe_new(builtin.builtin__type_ctor_info_int_0)
                        ^
Mercury/javas/jmercury/switch_detection_bug_2.java:75: error: package jmercury.runtime does not exist 
      (jmercury.runtime.PseudoTypeInfo) builtin.builtin__type_ctor_info_int_0;
                       ^
Mercury/javas/jmercury/switch_detection_bug_2.java:75: error: cannot find symbol 
      (jmercury.runtime.PseudoTypeInfo) builtin.builtin__type_ctor_info_int_0;
                                        ^
  symbol:   variable builtin
  location: class switch_detection_bug_2
Mercury/javas/jmercury/switch_detection_bug_2.java:77: error: package jmercury.runtime does not exist 
      (jmercury.runtime.PseudoTypeInfo) switch_detection_bug_2.pair__ti_pair_2builtin__type_ctor_info_int_0builtin__type_ctor_info_int_0;
                       ^
Mercury/javas/jmercury/switch_detection_bug_2.java:82: error: cannot find symbol 
      private_builtin.MR_SECTAG_REMOTE_FULL_WORD,
      ^
  symbol:   variable private_builtin
  location: class switch_detection_bug_2
Mercury/javas/jmercury/switch_detection_bug_2.java:90: error: cannot find symbol 
      private_builtin.MR_FUNCTOR_SUBTYPE_NONE,
      ^
  symbol:   variable private_builtin
  location: class switch_detection_bug_2
Mercury/javas/jmercury/switch_detection_bug_2.java:94: error: package jmercury.runtime does not exist 
      (jmercury.runtime.PseudoTypeInfo) switch_detection_bug_2.pair__ti_pair_2builtin__type_ctor_info_int_0builtin__type_ctor_info_int_0;
                       ^
Mercury/javas/jmercury/switch_detection_bug_2.java:96: error: package jmercury.runtime does not exist 
      (jmercury.runtime.PseudoTypeInfo) builtin.builtin__type_ctor_info_int_0;
                       ^
Mercury/javas/jmercury/switch_detection_bug_2.java:96: error: cannot find symbol 
      (jmercury.runtime.PseudoTypeInfo) builtin.builtin__type_ctor_info_int_0;
                                        ^
  symbol:   variable builtin
  location: class switch_detection_bug_2
Mercury/javas/jmercury/switch_detection_bug_2.java:101: error: cannot find symbol 
      private_builtin.MR_SECTAG_REMOTE_FULL_WORD,
      ^
  symbol:   variable private_builtin
  location: class switch_detection_bug_2
Mercury/javas/jmercury/switch_detection_bug_2.java:109: error: cannot find symbol 
      private_builtin.MR_FUNCTOR_SUBTYPE_NONE,
      ^
  symbol:   variable private_builtin
  location: class switch_detection_bug_2
Mercury/javas/jmercury/switch_detection_bug_2.java:113: error: package jmercury.runtime does not exist 
      (jmercury.runtime.PseudoTypeInfo) switch_detection_bug_2.pair__ti_pair_2builtin__type_ctor_info_int_0builtin__type_ctor_info_int_0;
                       ^
Mercury/javas/jmercury/switch_detection_bug_2.java:115: error: package jmercury.runtime does not exist 
      (jmercury.runtime.PseudoTypeInfo) switch_detection_bug_2.pair__ti_pair_2builtin__type_ctor_info_int_0builtin__type_ctor_info_int_0;
                       ^
Mercury/javas/jmercury/switch_detection_bug_2.java:120: error: cannot find symbol 
      private_builtin.MR_SECTAG_REMOTE_FULL_WORD,
      ^
  symbol:   variable private_builtin
  location: class switch_detection_bug_2
Mercury/javas/jmercury/switch_detection_bug_2.java:128: error: cannot find symbol 
      private_builtin.MR_FUNCTOR_SUBTYPE_NONE,
      ^
  symbol:   variable private_builtin
  location: class switch_detection_bug_2
Mercury/javas/jmercury/switch_detection_bug_2.java:138: error: package jmercury.runtime does not exist 
      new jmercury.runtime.DuPtagLayout(
                          ^
100 errors
** Error making `Mercury/classes/jmercury/switch_detection_bug_2.class'.
make[3]: *** [/tmp/mmake.6E1eZG:1497: switch_detection_bug_2.class] Error 1
make[3]: Target 'switch_detection_bug_2.runtest' not remade because of errors.
make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-10-06/tests/valid'