[m-dev.] rotd-2024-04-5 build failed / cannot compile lib in C# grade
Julien Fischer
jfischer at opturion.com
Fri Apr 5 22:48:36 AEDT 2024
Hi,
This evening's rotd build failed due to the stage 2 compiler being
unable to compile the library in the C# grade. In particular, we get:
Mercury/css/pretty_printer.m(1425,12): error CS0246: The type or namespace
name `mr_bool' could not be found. Are you missing an assembly reference?
Compilation failed: 1 error(s), 0 warnings
The attached diff is between the C# code we generate for the
pretty_printer.m for rotd-2024-04-04 and the attempted rotd-2024-04-05.
(The later looks very wrong.)
Julien.
-------------- next part --------------
--- pretty_printer.cs.rotd-2024-04-04 2024-04-05 22:40:18.733862295 +1100
+++ pretty_printer.cs.rotd-2024-04-05 2024-04-05 22:34:08.218524805 +1100
@@ -1,7 +1,7 @@
//
//
// Automatically generated from pretty_printer.m by the Mercury Compiler,
-// version rotd-2024-04-04
+// version rotd-2024-04-05
// configured for x86_64-pc-linux-gnu
//
//
@@ -1266,7 +1266,7 @@
private static readonly pretty_printer.Indent_stack_0.Indent_empty_0[] MR_scalar_common_17 = new pretty_printer.Indent_stack_0.Indent_empty_0[1];
private static readonly /* typeclass_info */ object[][] MR_scalar_common_18 = new /* typeclass_info */ object[6][];
private static readonly /* generic_type */ object[][] MR_scalar_common_19 = new /* generic_type */ object[4][];
- private static readonly mr_string__builder.State_0[] MR_scalar_common_20 = new mr_string__builder.State_0[1];
+ private static readonly stringstring__builder.State_0[] MR_scalar_common_20 = new stringstring__builder.State_0[1];
private static readonly pretty_printer.Doc_0.Docs_1[] MR_scalar_common_21 = new pretty_printer.Doc_0.Docs_1[2];
private static readonly int[][] MR_scalar_common_22 = new int[1][];
private static readonly int[][] MR_scalar_common_23 = new int[1][];
@@ -1742,24 +1742,24 @@
};
MR_scalar_common_18[3] =
new /* typeclass_info */ object[] {
- (/* typeclass_info */ object[]) mr_string__builder.base_typeclass_info_stream__stream__arity2__string__builder__handle__arity0__string__builder__state__arity0__,
- runtime.TypeInfo_Struct.maybe_new(mr_string__builder.string__builder__type_ctor_info_handle_0),
- runtime.TypeInfo_Struct.maybe_new(mr_string__builder.string__builder__type_ctor_info_state_0)
+ (/* typeclass_info */ object[]) stringstring__builder.base_typeclass_info_stream__stream__arity2__string__builder__handle__arity0__string__builder__state__arity0__,
+ runtime.TypeInfo_Struct.maybe_new(stringstring__builder.string__builder__type_ctor_info_handle_0),
+ runtime.TypeInfo_Struct.maybe_new(stringstring__builder.string__builder__type_ctor_info_state_0)
};
MR_scalar_common_18[4] =
new /* typeclass_info */ object[] {
- (/* typeclass_info */ object[]) mr_string__builder.base_typeclass_info_stream__output__arity2__string__builder__handle__arity0__string__builder__state__arity0__,
+ (/* typeclass_info */ object[]) stringstring__builder.base_typeclass_info_stream__output__arity2__string__builder__handle__arity0__string__builder__state__arity0__,
(/* typeclass_info */ object[]) pretty_printer.MR_scalar_common_18[3],
- runtime.TypeInfo_Struct.maybe_new(mr_string__builder.string__builder__type_ctor_info_handle_0),
- runtime.TypeInfo_Struct.maybe_new(mr_string__builder.string__builder__type_ctor_info_state_0)
+ runtime.TypeInfo_Struct.maybe_new(stringstring__builder.string__builder__type_ctor_info_handle_0),
+ runtime.TypeInfo_Struct.maybe_new(stringstring__builder.string__builder__type_ctor_info_state_0)
};
MR_scalar_common_18[5] =
new /* typeclass_info */ object[] {
- (/* typeclass_info */ object[]) mr_string__builder.base_typeclass_info_stream__writer__arity3__string__builder__handle__arity0__string__arity0__string__builder__state__arity0__,
+ (/* typeclass_info */ object[]) stringstring__builder.base_typeclass_info_stream__writer__arity3__string__builder__handle__arity0__string__arity0__string__builder__state__arity0__,
(/* typeclass_info */ object[]) pretty_printer.MR_scalar_common_18[4],
- runtime.TypeInfo_Struct.maybe_new(mr_string__builder.string__builder__type_ctor_info_handle_0),
+ runtime.TypeInfo_Struct.maybe_new(stringstring__builder.string__builder__type_ctor_info_handle_0),
runtime.TypeInfo_Struct.maybe_new(builtin.builtin__type_ctor_info_string_0),
- runtime.TypeInfo_Struct.maybe_new(mr_string__builder.string__builder__type_ctor_info_state_0)
+ runtime.TypeInfo_Struct.maybe_new(stringstring__builder.string__builder__type_ctor_info_state_0)
};
MR_scalar_common_19[1] =
new /* generic_type */ object[] {
@@ -1798,7 +1798,7 @@
pretty_printer.pretty_printer__type_ctor_info_doc_0
};
MR_scalar_common_20[0] =
- new mr_string__builder.State_0(
+ new stringstring__builder.State_0(
(list.List_1) pretty_printer.MR_scalar_common_3[0]
);
MR_scalar_common_21[1] =
@@ -1973,7 +1973,7 @@
int next_value_of_STATE_VARIABLE_RemainingWidth_0_10 = 0;
{
- StrWidth_35 = mr_string.count_code_points_loop_4_p_0(String_34, Var_112, Var_113);
+ StrWidth_35 = stringstring.count_code_points_loop_4_p_0(String_34, Var_112, Var_113);
}
STATE_VARIABLE_RemainingWidth_55_55 = (STATE_VARIABLE_RemainingWidth_0_10 - StrWidth_35);
{
@@ -2392,7 +2392,7 @@
int next_value_of_STATE_VARIABLE_RemainingWidth_0_10 = 0;
{
- StrWidth_35 = mr_string.count_code_points_loop_4_p_0(String_34, Var_112, Var_113);
+ StrWidth_35 = stringstring.count_code_points_loop_4_p_0(String_34, Var_112, Var_113);
}
STATE_VARIABLE_RemainingWidth_55_55 = (STATE_VARIABLE_RemainingWidth_0_10 - StrWidth_35);
{
@@ -2823,7 +2823,7 @@
Var_123 = 0;
Var_124 = 0;
{
- StrWidth_53 = mr_string.count_code_points_loop_4_p_0(String_52, Var_123, Var_124);
+ StrWidth_53 = stringstring.count_code_points_loop_4_p_0(String_52, Var_123, Var_124);
}
STATE_VARIABLE_RemainingWidth_84_84 = (STATE_VARIABLE_RemainingWidth_0_6 - StrWidth_53);
Docs_54 = TailDocs0_45;
@@ -3178,7 +3178,7 @@
Var_123 = 0;
Var_124 = 0;
{
- StrWidth_53 = mr_string.count_code_points_loop_4_p_0(String_52, Var_123, Var_124);
+ StrWidth_53 = stringstring.count_code_points_loop_4_p_0(String_52, Var_123, Var_124);
}
STATE_VARIABLE_RemainingWidth_84_84 = (STATE_VARIABLE_RemainingWidth_0_6 - StrWidth_53);
Docs_54 = TailDocs0_45;
@@ -3456,12 +3456,12 @@
int STATE_VARIABLE_RemainingLines_0_10,
pretty_printer.Func_symbol_limit_0 STATE_VARIABLE_Limit_0_12,
ops.Priority_0 STATE_VARIABLE_Pri_0_14,
- mr_string__builder.State_0 STATE_VARIABLE_IO_0_16,
+ stringstring__builder.State_0 STATE_VARIABLE_IO_0_16,
out pretty_printer.Indent_stack_0 out_param_2,
out int out_param_3,
out pretty_printer.Func_symbol_limit_0 out_param_4,
out ops.Priority_0 out_param_5,
- out mr_string__builder.State_0 out_param_6)
+ out stringstring__builder.State_0 out_param_6)
{
while (true)
{
@@ -3471,7 +3471,7 @@
int STATE_VARIABLE_RemainingLines_11 = 0;
pretty_printer.Func_symbol_limit_0 STATE_VARIABLE_Limit_13 = default(pretty_printer.Func_symbol_limit_0);
ops.Priority_0 STATE_VARIABLE_Pri_15 = default(ops.Priority_0);
- mr_string__builder.State_0 STATE_VARIABLE_IO_17 = default(mr_string__builder.State_0);
+ stringstring__builder.State_0 STATE_VARIABLE_IO_17 = default(stringstring__builder.State_0);
/* setup for model_det tailcalls optimized into a loop */
if ((HeadVar__5_5.data_tag == 0))
@@ -3499,7 +3499,7 @@
{
conv1_STATE_VARIABLE_IO_17 = ((runtime.MethodPtr4_r1</* generic_type */ object, object, object, object, object>) func_0)(((/* generic_type */ object) TypeClassInfo_for_writer_115), 0, Var_81, STATE_VARIABLE_IO_0_16);
}
- STATE_VARIABLE_IO_17 = ((mr_string__builder.State_0) conv1_STATE_VARIABLE_IO_17);
+ STATE_VARIABLE_IO_17 = ((stringstring__builder.State_0) conv1_STATE_VARIABLE_IO_17);
STATE_VARIABLE_Pri_15 = STATE_VARIABLE_Pri_0_14;
STATE_VARIABLE_Limit_13 = STATE_VARIABLE_Limit_0_12;
STATE_VARIABLE_RemainingLines_11 = STATE_VARIABLE_RemainingLines_0_10;
@@ -3509,7 +3509,7 @@
else
{
list.List_1 Docs_54 = default(list.List_1);
- mr_string__builder.State_0 STATE_VARIABLE_IO_83_83 = default(mr_string__builder.State_0);
+ stringstring__builder.State_0 STATE_VARIABLE_IO_83_83 = default(stringstring__builder.State_0);
int STATE_VARIABLE_RemainingWidth_84_84 = 0;
int STATE_VARIABLE_RemainingLines_87_87 = 0;
pretty_printer.Func_symbol_limit_0 STATE_VARIABLE_Limit_92_92 = default(pretty_printer.Func_symbol_limit_0);
@@ -3521,7 +3521,7 @@
int next_value_of_STATE_VARIABLE_RemainingLines_0_10 = 0;
pretty_printer.Func_symbol_limit_0 next_value_of_STATE_VARIABLE_Limit_0_12 = default(pretty_printer.Func_symbol_limit_0);
ops.Priority_0 next_value_of_STATE_VARIABLE_Pri_0_14 = default(ops.Priority_0);
- mr_string__builder.State_0 next_value_of_STATE_VARIABLE_IO_0_16 = default(mr_string__builder.State_0);
+ stringstring__builder.State_0 next_value_of_STATE_VARIABLE_IO_0_16 = default(stringstring__builder.State_0);
switch (HeadDoc0_44.data_tag) {
case 0:
@@ -3536,11 +3536,11 @@
{
conv3_STATE_VARIABLE_IO_83_83 = ((runtime.MethodPtr4_r1</* generic_type */ object, object, object, object, object>) func_2)(((/* generic_type */ object) TypeClassInfo_for_writer_115), 0, String_52, STATE_VARIABLE_IO_0_16);
}
- STATE_VARIABLE_IO_83_83 = ((mr_string__builder.State_0) conv3_STATE_VARIABLE_IO_83_83);
+ STATE_VARIABLE_IO_83_83 = ((stringstring__builder.State_0) conv3_STATE_VARIABLE_IO_83_83);
Var_123 = 0;
Var_124 = 0;
{
- StrWidth_53 = mr_string.count_code_points_loop_4_p_0(String_52, Var_123, Var_124);
+ StrWidth_53 = stringstring.count_code_points_loop_4_p_0(String_52, Var_123, Var_124);
}
STATE_VARIABLE_RemainingWidth_84_84 = (STATE_VARIABLE_RemainingWidth_0_6 - StrWidth_53);
Docs_54 = TailDocs0_45;
@@ -3835,12 +3835,12 @@
int STATE_VARIABLE_RemainingLines_0_10,
pretty_printer.Func_symbol_limit_0 STATE_VARIABLE_Limit_0_12,
ops.Priority_0 STATE_VARIABLE_Pri_0_14,
- mr_string__builder.State_0 STATE_VARIABLE_IO_0_16,
+ stringstring__builder.State_0 STATE_VARIABLE_IO_0_16,
out pretty_printer.Indent_stack_0 out_param_2,
out int out_param_3,
out pretty_printer.Func_symbol_limit_0 out_param_4,
out ops.Priority_0 out_param_5,
- out mr_string__builder.State_0 out_param_6)
+ out stringstring__builder.State_0 out_param_6)
{
while (true)
{
@@ -3850,7 +3850,7 @@
int STATE_VARIABLE_RemainingLines_11 = 0;
pretty_printer.Func_symbol_limit_0 STATE_VARIABLE_Limit_13 = default(pretty_printer.Func_symbol_limit_0);
ops.Priority_0 STATE_VARIABLE_Pri_15 = default(ops.Priority_0);
- mr_string__builder.State_0 STATE_VARIABLE_IO_17 = default(mr_string__builder.State_0);
+ stringstring__builder.State_0 STATE_VARIABLE_IO_17 = default(stringstring__builder.State_0);
/* setup for model_det tailcalls optimized into a loop */
if ((HeadVar__5_5.data_tag == 0))
@@ -3878,7 +3878,7 @@
{
conv1_STATE_VARIABLE_IO_17 = ((runtime.MethodPtr4_r1</* generic_type */ object, object, object, object, object>) func_0)(((/* generic_type */ object) TypeClassInfo_for_writer_115), 0, Var_81, STATE_VARIABLE_IO_0_16);
}
- STATE_VARIABLE_IO_17 = ((mr_string__builder.State_0) conv1_STATE_VARIABLE_IO_17);
+ STATE_VARIABLE_IO_17 = ((stringstring__builder.State_0) conv1_STATE_VARIABLE_IO_17);
STATE_VARIABLE_Pri_15 = STATE_VARIABLE_Pri_0_14;
STATE_VARIABLE_Limit_13 = STATE_VARIABLE_Limit_0_12;
STATE_VARIABLE_RemainingLines_11 = STATE_VARIABLE_RemainingLines_0_10;
@@ -3888,7 +3888,7 @@
else
{
list.List_1 Docs_54 = default(list.List_1);
- mr_string__builder.State_0 STATE_VARIABLE_IO_83_83 = default(mr_string__builder.State_0);
+ stringstring__builder.State_0 STATE_VARIABLE_IO_83_83 = default(stringstring__builder.State_0);
int STATE_VARIABLE_RemainingWidth_84_84 = 0;
int STATE_VARIABLE_RemainingLines_87_87 = 0;
pretty_printer.Func_symbol_limit_0 STATE_VARIABLE_Limit_92_92 = default(pretty_printer.Func_symbol_limit_0);
@@ -3900,7 +3900,7 @@
int next_value_of_STATE_VARIABLE_RemainingLines_0_10 = 0;
pretty_printer.Func_symbol_limit_0 next_value_of_STATE_VARIABLE_Limit_0_12 = default(pretty_printer.Func_symbol_limit_0);
ops.Priority_0 next_value_of_STATE_VARIABLE_Pri_0_14 = default(ops.Priority_0);
- mr_string__builder.State_0 next_value_of_STATE_VARIABLE_IO_0_16 = default(mr_string__builder.State_0);
+ stringstring__builder.State_0 next_value_of_STATE_VARIABLE_IO_0_16 = default(stringstring__builder.State_0);
switch (HeadDoc0_44.data_tag) {
case 0:
@@ -3915,11 +3915,11 @@
{
conv3_STATE_VARIABLE_IO_83_83 = ((runtime.MethodPtr4_r1</* generic_type */ object, object, object, object, object>) func_2)(((/* generic_type */ object) TypeClassInfo_for_writer_115), 0, String_52, STATE_VARIABLE_IO_0_16);
}
- STATE_VARIABLE_IO_83_83 = ((mr_string__builder.State_0) conv3_STATE_VARIABLE_IO_83_83);
+ STATE_VARIABLE_IO_83_83 = ((stringstring__builder.State_0) conv3_STATE_VARIABLE_IO_83_83);
Var_123 = 0;
Var_124 = 0;
{
- StrWidth_53 = mr_string.count_code_points_loop_4_p_0(String_52, Var_123, Var_124);
+ StrWidth_53 = stringstring.count_code_points_loop_4_p_0(String_52, Var_123, Var_124);
}
STATE_VARIABLE_RemainingWidth_84_84 = (STATE_VARIABLE_RemainingWidth_0_6 - StrWidth_53);
Docs_54 = TailDocs0_45;
@@ -4252,16 +4252,16 @@
int LineWidth_10,
pretty_printer.Indent_stack_0 Indents_11,
int STATE_VARIABLE_RemainingLines_0_15,
- mr_string__builder.State_0 STATE_VARIABLE_IO_0_17,
+ stringstring__builder.State_0 STATE_VARIABLE_IO_0_17,
out int out_param_2,
- out mr_string__builder.State_0 out_param_3)
+ out stringstring__builder.State_0 out_param_3)
{
{
int RemainingWidth_12 = 0;
int STATE_VARIABLE_RemainingLines_16 = 0;
- mr_string__builder.State_0 STATE_VARIABLE_IO_18 = default(mr_string__builder.State_0);
+ stringstring__builder.State_0 STATE_VARIABLE_IO_18 = default(stringstring__builder.State_0);
string Var_19 = "\n";
- mr_string__builder.State_0 STATE_VARIABLE_IO_20_20 = default(mr_string__builder.State_0);
+ stringstring__builder.State_0 STATE_VARIABLE_IO_20_20 = default(stringstring__builder.State_0);
int Var_21 = 0;
int Var_24 = 0;
runtime.MethodPtr4_r1</* generic_type */ object, object, object, object, object> func_0 = ((runtime.MethodPtr4_r1</* generic_type */ object, object, object, object, object>) ((object[]) ((object[]) TypeClassInfo_for_writer_25)[0])[5]);
@@ -4270,7 +4270,7 @@
{
conv1_STATE_VARIABLE_IO_20_20 = ((runtime.MethodPtr4_r1</* generic_type */ object, object, object, object, object>) func_0)(((/* generic_type */ object) TypeClassInfo_for_writer_25), 0, Var_19, STATE_VARIABLE_IO_0_17);
}
- STATE_VARIABLE_IO_20_20 = ((mr_string__builder.State_0) conv1_STATE_VARIABLE_IO_20_20);
+ STATE_VARIABLE_IO_20_20 = ((stringstring__builder.State_0) conv1_STATE_VARIABLE_IO_20_20);
switch (Indents_11.data_tag) {
case 0:
Var_21 = 0;
@@ -4346,7 +4346,7 @@
Var_86 = 0;
Var_87 = 0;
{
- StrWidth_37 = mr_string.count_code_points_loop_4_p_0(String_36, Var_86, Var_87);
+ StrWidth_37 = stringstring.count_code_points_loop_4_p_0(String_36, Var_86, Var_87);
}
STATE_VARIABLE_RemainingWidth_57_57 = (STATE_VARIABLE_RemainingWidth_0_7 - StrWidth_37);
/* direct tailcall eliminated */
@@ -4479,10 +4479,10 @@
int HeadVar__6_6,
int STATE_VARIABLE_RemainingWidth_0_7,
int STATE_VARIABLE_RemainingLines_0_9,
- mr_string__builder.State_0 STATE_VARIABLE_IO_0_11,
+ stringstring__builder.State_0 STATE_VARIABLE_IO_0_11,
out int out_param_2,
out int out_param_3,
- out mr_string__builder.State_0 out_param_4)
+ out stringstring__builder.State_0 out_param_4)
{
while (true)
{
@@ -4490,7 +4490,7 @@
list.List_1 HeadVar__5_5 = default(list.List_1);
int STATE_VARIABLE_RemainingWidth_8 = 0;
int STATE_VARIABLE_RemainingLines_10 = 0;
- mr_string__builder.State_0 STATE_VARIABLE_IO_12 = default(mr_string__builder.State_0);
+ stringstring__builder.State_0 STATE_VARIABLE_IO_12 = default(stringstring__builder.State_0);
/* setup for model_det tailcalls optimized into a loop */
if ((HeadVar__4_4.data_tag == 0))
@@ -4510,7 +4510,7 @@
{
string String_36 = ((pretty_printer.Doc_0.Str_1) HeadDoc0_29).F1;
int StrWidth_37 = 0;
- mr_string__builder.State_0 STATE_VARIABLE_IO_56_56 = default(mr_string__builder.State_0);
+ stringstring__builder.State_0 STATE_VARIABLE_IO_56_56 = default(stringstring__builder.State_0);
int STATE_VARIABLE_RemainingWidth_57_57 = 0;
int Var_86 = 0;
int Var_87 = 0;
@@ -4518,16 +4518,16 @@
object conv1_STATE_VARIABLE_IO_56_56 = null;
list.List_1 next_value_of_HeadVar__4_4 = default(list.List_1);
int next_value_of_STATE_VARIABLE_RemainingWidth_0_7 = 0;
- mr_string__builder.State_0 next_value_of_STATE_VARIABLE_IO_0_11 = default(mr_string__builder.State_0);
+ stringstring__builder.State_0 next_value_of_STATE_VARIABLE_IO_0_11 = default(stringstring__builder.State_0);
{
conv1_STATE_VARIABLE_IO_56_56 = ((runtime.MethodPtr4_r1</* generic_type */ object, object, object, object, object>) func_0)(((/* generic_type */ object) TypeClassInfo_for_writer_85), 0, String_36, STATE_VARIABLE_IO_0_11);
}
- STATE_VARIABLE_IO_56_56 = ((mr_string__builder.State_0) conv1_STATE_VARIABLE_IO_56_56);
+ STATE_VARIABLE_IO_56_56 = ((stringstring__builder.State_0) conv1_STATE_VARIABLE_IO_56_56);
Var_86 = 0;
Var_87 = 0;
{
- StrWidth_37 = mr_string.count_code_points_loop_4_p_0(String_36, Var_86, Var_87);
+ StrWidth_37 = stringstring.count_code_points_loop_4_p_0(String_36, Var_86, Var_87);
}
STATE_VARIABLE_RemainingWidth_57_57 = (STATE_VARIABLE_RemainingWidth_0_7 - StrWidth_37);
/* direct tailcall eliminated */
@@ -4556,7 +4556,7 @@
{
int STATE_VARIABLE_RemainingWidth_61_61 = 0;
int STATE_VARIABLE_RemainingLines_62_62 = 0;
- mr_string__builder.State_0 STATE_VARIABLE_IO_63_63 = default(mr_string__builder.State_0);
+ stringstring__builder.State_0 STATE_VARIABLE_IO_63_63 = default(stringstring__builder.State_0);
int Var_64 = 0;
{
@@ -4576,7 +4576,7 @@
list.List_1 next_value_of_HeadVar__4_4 = TailDocs0_30;
int next_value_of_STATE_VARIABLE_RemainingWidth_0_7 = STATE_VARIABLE_RemainingWidth_61_61;
int next_value_of_STATE_VARIABLE_RemainingLines_0_9 = STATE_VARIABLE_RemainingLines_62_62;
- mr_string__builder.State_0 next_value_of_STATE_VARIABLE_IO_0_11 = STATE_VARIABLE_IO_63_63;
+ stringstring__builder.State_0 next_value_of_STATE_VARIABLE_IO_0_11 = STATE_VARIABLE_IO_63_63;
/* direct tailcall eliminated */
HeadVar__4_4 = next_value_of_HeadVar__4_4;
@@ -4704,13 +4704,13 @@
}
}
- private static mr_string__builder.State_0 f_84_121_112_101_83_112_101_99_79_102_95_95_112_114_101_100_95_95_111_117_116_112_117_116_95_105_110_100_101_110_116_95_115_116_97_99_107_95_95_91_83_116_114_101_97_109_32_61_32_115_116_114_105_110_103_46_98_117_105_108_100_101_114_46_104_97_110_100_108_101_44_32_83_116_97_116_101_32_61_32_115_116_114_105_110_103_46_98_117_105_108_100_101_114_46_115_116_97_116_101_93_95_48_95_49_4_p_0(
+ private static stringstring__builder.State_0 f_84_121_112_101_83_112_101_99_79_102_95_95_112_114_101_100_95_95_111_117_116_112_117_116_95_105_110_100_101_110_116_95_115_116_97_99_107_95_95_91_83_116_114_101_97_109_32_61_32_115_116_114_105_110_103_46_98_117_105_108_100_101_114_46_104_97_110_100_108_101_44_32_83_116_97_116_101_32_61_32_115_116_114_105_110_103_46_98_117_105_108_100_101_114_46_115_116_97_116_101_93_95_48_95_49_4_p_0(
/* typeclass_info */ object[] TypeClassInfo_for_writer_20,
pretty_printer.Indent_stack_0 IndentStack_6,
- mr_string__builder.State_0 STATE_VARIABLE_IO_0_12)
+ stringstring__builder.State_0 STATE_VARIABLE_IO_0_12)
{
{
- mr_string__builder.State_0 STATE_VARIABLE_IO_13 = default(mr_string__builder.State_0);
+ stringstring__builder.State_0 STATE_VARIABLE_IO_13 = default(stringstring__builder.State_0);
switch (IndentStack_6.data_tag) {
case 0:
@@ -4720,7 +4720,7 @@
{
pretty_printer.Indent_stack_0 PrevStack_8 = ((pretty_printer.Indent_stack_0.Indent_user_3) IndentStack_6).user_prevstack;
string IndentStr_9 = ((pretty_printer.Indent_stack_0.Indent_user_3) IndentStack_6).user_indent_string;
- mr_string__builder.State_0 STATE_VARIABLE_IO_14_14 = default(mr_string__builder.State_0);
+ stringstring__builder.State_0 STATE_VARIABLE_IO_14_14 = default(stringstring__builder.State_0);
runtime.MethodPtr4_r1</* generic_type */ object, object, object, object, object> func_0 = null;
object conv1_STATE_VARIABLE_IO_13 = null;
@@ -4731,13 +4731,13 @@
{
conv1_STATE_VARIABLE_IO_13 = ((runtime.MethodPtr4_r1</* generic_type */ object, object, object, object, object>) func_0)(((/* generic_type */ object) TypeClassInfo_for_writer_20), 0, IndentStr_9, STATE_VARIABLE_IO_14_14);
}
- STATE_VARIABLE_IO_13 = ((mr_string__builder.State_0) conv1_STATE_VARIABLE_IO_13);
+ STATE_VARIABLE_IO_13 = ((stringstring__builder.State_0) conv1_STATE_VARIABLE_IO_13);
}
break;
case 2:
{
int IndentLevels_11 = ((pretty_printer.Indent_stack_0.Indent_std_3) IndentStack_6).std_extra_indent_levels;
- mr_string__builder.State_0 STATE_VARIABLE_IO_16_16 = default(mr_string__builder.State_0);
+ stringstring__builder.State_0 STATE_VARIABLE_IO_16_16 = default(stringstring__builder.State_0);
pretty_printer.Indent_stack_0 PrevStack_19 = ((pretty_printer.Indent_stack_0.Indent_std_3) IndentStack_6).std_prevstack;
{
@@ -4823,15 +4823,15 @@
}
}
- private static mr_string__builder.State_0 f_84_121_112_101_83_112_101_99_79_102_95_95_112_114_101_100_95_95_111_117_116_112_117_116_95_115_116_100_95_105_110_100_101_110_116_95_108_101_118_101_108_115_95_95_91_83_116_114_101_97_109_32_61_32_115_116_114_105_110_103_46_98_117_105_108_100_101_114_46_104_97_110_100_108_101_44_32_83_116_97_116_101_32_61_32_115_116_114_105_110_103_46_98_117_105_108_100_101_114_46_115_116_97_116_101_93_95_48_95_49_4_p_0(
+ private static stringstring__builder.State_0 f_84_121_112_101_83_112_101_99_79_102_95_95_112_114_101_100_95_95_111_117_116_112_117_116_95_115_116_100_95_105_110_100_101_110_116_95_108_101_118_101_108_115_95_95_91_83_116_114_101_97_109_32_61_32_115_116_114_105_110_103_46_98_117_105_108_100_101_114_46_104_97_110_100_108_101_44_32_83_116_97_116_101_32_61_32_115_116_114_105_110_103_46_98_117_105_108_100_101_114_46_115_116_97_116_101_93_95_48_95_49_4_p_0(
/* typeclass_info */ object[] TypeClassInfo_for_writer_21,
int NumLevels_6,
- mr_string__builder.State_0 STATE_VARIABLE_IO_0_9)
+ stringstring__builder.State_0 STATE_VARIABLE_IO_0_9)
{
while (true)
{
bool succeeded = false;
- mr_string__builder.State_0 STATE_VARIABLE_IO_10 = default(mr_string__builder.State_0);
+ stringstring__builder.State_0 STATE_VARIABLE_IO_10 = default(stringstring__builder.State_0);
int Var_11 = 30;
/* setup for model_det tailcalls optimized into a loop */
@@ -4839,18 +4839,18 @@
if (succeeded)
{
string IndentStr_8 = " ";
- mr_string__builder.State_0 STATE_VARIABLE_IO_12_12 = default(mr_string__builder.State_0);
+ stringstring__builder.State_0 STATE_VARIABLE_IO_12_12 = default(stringstring__builder.State_0);
int Var_13 = 0;
int Var_15 = 0;
runtime.MethodPtr4_r1</* generic_type */ object, object, object, object, object> func_0 = ((runtime.MethodPtr4_r1</* generic_type */ object, object, object, object, object>) ((object[]) ((object[]) TypeClassInfo_for_writer_21)[0])[5]);
object conv1_STATE_VARIABLE_IO_12_12 = null;
int next_value_of_NumLevels_6 = 0;
- mr_string__builder.State_0 next_value_of_STATE_VARIABLE_IO_0_9 = default(mr_string__builder.State_0);
+ stringstring__builder.State_0 next_value_of_STATE_VARIABLE_IO_0_9 = default(stringstring__builder.State_0);
{
conv1_STATE_VARIABLE_IO_12_12 = ((runtime.MethodPtr4_r1</* generic_type */ object, object, object, object, object>) func_0)(((/* generic_type */ object) TypeClassInfo_for_writer_21), 0, IndentStr_8, STATE_VARIABLE_IO_0_9);
}
- STATE_VARIABLE_IO_12_12 = ((mr_string__builder.State_0) conv1_STATE_VARIABLE_IO_12_12);
+ STATE_VARIABLE_IO_12_12 = ((stringstring__builder.State_0) conv1_STATE_VARIABLE_IO_12_12);
Var_15 = 30;
Var_13 = (NumLevels_6 - Var_15);
/* direct tailcall eliminated */
@@ -4880,7 +4880,7 @@
{
conv3_STATE_VARIABLE_IO_10 = ((runtime.MethodPtr4_r1</* generic_type */ object, object, object, object, object>) func_2)(((/* generic_type */ object) TypeClassInfo_for_writer_21), 0, IndentStr_20, STATE_VARIABLE_IO_0_9);
}
- STATE_VARIABLE_IO_10 = ((mr_string__builder.State_0) conv3_STATE_VARIABLE_IO_10);
+ STATE_VARIABLE_IO_10 = ((stringstring__builder.State_0) conv3_STATE_VARIABLE_IO_10);
}
else
{
@@ -4968,16 +4968,16 @@
}
}
- public static mr_string__builder.State_0 f_84_121_112_101_83_112_101_99_79_102_95_95_112_114_101_100_95_95_112_117_116_95_100_111_99_95_95_91_83_116_114_101_97_109_32_61_32_115_116_114_105_110_103_46_98_117_105_108_100_101_114_46_104_97_110_100_108_101_44_32_83_116_97_116_101_32_61_32_115_116_114_105_110_103_46_98_117_105_108_100_101_114_46_115_116_97_116_101_93_95_48_95_49_7_p_0(
+ public static stringstring__builder.State_0 f_84_121_112_101_83_112_101_99_79_102_95_95_112_114_101_100_95_95_112_117_116_95_100_111_99_95_95_91_83_116_114_101_97_109_32_61_32_115_116_114_105_110_103_46_98_117_105_108_100_101_114_46_104_97_110_100_108_101_44_32_83_116_97_116_101_32_61_32_115_116_114_105_110_103_46_98_117_105_108_100_101_114_46_115_116_97_116_101_93_95_48_95_49_7_p_0(
/* typeclass_info */ object[] TypeClassInfo_for_writer_30,
deconstruct.Noncanon_handling_0 Canonicalize_9,
tree234.Tree234_2 FMap_10,
pretty_printer.Pp_params_0 Params_11,
pretty_printer.Doc_0 Doc_12,
- mr_string__builder.State_0 STATE_VARIABLE_IO_0_25)
+ stringstring__builder.State_0 STATE_VARIABLE_IO_0_25)
{
{
- mr_string__builder.State_0 STATE_VARIABLE_IO_26 = default(mr_string__builder.State_0);
+ stringstring__builder.State_0 STATE_VARIABLE_IO_26 = default(stringstring__builder.State_0);
ops.Priority_0 Pri_14 = (ops.Priority_0) pretty_printer.MR_scalar_common_9[1];
int MaxLines_16 = ((pretty_printer.Pp_params_0) Params_11).pp_max_lines;
pretty_printer.Func_symbol_limit_0 Limit_17 = ((pretty_printer.Pp_params_0) Params_11).pp_limit;
@@ -5004,16 +5004,16 @@
}
}
- public static mr_string__builder.State_0 f_84_121_112_101_83_112_101_99_79_102_95_95_112_114_101_100_95_95_112_117_116_95_100_111_99_95_95_91_83_116_114_101_97_109_32_61_32_115_116_114_105_110_103_46_98_117_105_108_100_101_114_46_104_97_110_100_108_101_44_32_83_116_97_116_101_32_61_32_115_116_114_105_110_103_46_98_117_105_108_100_101_114_46_115_116_97_116_101_93_95_49_95_49_7_p_1(
+ public static stringstring__builder.State_0 f_84_121_112_101_83_112_101_99_79_102_95_95_112_114_101_100_95_95_112_117_116_95_100_111_99_95_95_91_83_116_114_101_97_109_32_61_32_115_116_114_105_110_103_46_98_117_105_108_100_101_114_46_104_97_110_100_108_101_44_32_83_116_97_116_101_32_61_32_115_116_114_105_110_103_46_98_117_105_108_100_101_114_46_115_116_97_116_101_93_95_49_95_49_7_p_1(
/* typeclass_info */ object[] TypeClassInfo_for_writer_30,
deconstruct.Noncanon_handling_0 Canonicalize_9,
tree234.Tree234_2 FMap_10,
pretty_printer.Pp_params_0 Params_11,
pretty_printer.Doc_0 Doc_12,
- mr_string__builder.State_0 STATE_VARIABLE_IO_0_25)
+ stringstring__builder.State_0 STATE_VARIABLE_IO_0_25)
{
{
- mr_string__builder.State_0 STATE_VARIABLE_IO_26 = default(mr_string__builder.State_0);
+ stringstring__builder.State_0 STATE_VARIABLE_IO_26 = default(stringstring__builder.State_0);
ops.Priority_0 Pri_14 = (ops.Priority_0) pretty_printer.MR_scalar_common_9[1];
int MaxLines_16 = ((pretty_printer.Pp_params_0) Params_11).pp_max_lines;
pretty_printer.Func_symbol_limit_0 Limit_17 = ((pretty_printer.Pp_params_0) Params_11).pp_limit;
@@ -5254,7 +5254,7 @@
Var_123 = 0;
Var_124 = 0;
{
- StrWidth_53 = mr_string.count_code_points_loop_4_p_0(String_52, Var_123, Var_124);
+ StrWidth_53 = stringstring.count_code_points_loop_4_p_0(String_52, Var_123, Var_124);
}
STATE_VARIABLE_RemainingWidth_84_84 = (STATE_VARIABLE_RemainingWidth_0_6 - StrWidth_53);
Docs_54 = TailDocs0_45;
@@ -5630,7 +5630,7 @@
Var_123 = 0;
Var_124 = 0;
{
- StrWidth_53 = mr_string.count_code_points_loop_4_p_0(String_52, Var_123, Var_124);
+ StrWidth_53 = stringstring.count_code_points_loop_4_p_0(String_52, Var_123, Var_124);
}
STATE_VARIABLE_RemainingWidth_84_84 = (STATE_VARIABLE_RemainingWidth_0_6 - StrWidth_53);
Docs_54 = TailDocs0_45;
@@ -5985,7 +5985,7 @@
list.List_1 AddrTailDocs_121 = default(list.List_1);
{
- StrWidth_35 = mr_string.count_code_points_loop_4_p_0(String_34, Var_112, Var_113);
+ StrWidth_35 = stringstring.count_code_points_loop_4_p_0(String_34, Var_112, Var_113);
}
STATE_VARIABLE_RemainingWidth_55_55 = (STATE_VARIABLE_RemainingWidth_0_10 - StrWidth_35);
{
@@ -6347,7 +6347,7 @@
list.List_1 AddrTailDocs_121 = default(list.List_1);
{
- StrWidth_35 = mr_string.count_code_points_loop_4_p_0(String_34, Var_112, Var_113);
+ StrWidth_35 = stringstring.count_code_points_loop_4_p_0(String_34, Var_112, Var_113);
}
STATE_VARIABLE_RemainingWidth_55_55 = (STATE_VARIABLE_RemainingWidth_0_10 - StrWidth_35);
{
@@ -8096,13 +8096,13 @@
{
{
tree234.Tree234_2 FMap_4 = default(tree234.Tree234_2);
- mr_bool.Bool_0 Okay_6 = default(mr_bool.Bool_0);
+ boolbool.Bool_0 Okay_6 = default(boolbool.Bool_0);
{
Okay_6 = pretty_printer.pretty_printer_is_initialised_3_p_0();
}
switch (Okay_6) {
- case (mr_bool.Bool_0) 0:
+ case (boolbool.Bool_0) 0:
{
{
FMap_4 = pretty_printer.initial_formatter_map_0_f_0();
@@ -8112,7 +8112,7 @@
}
}
break;
- case (mr_bool.Bool_0) 1:
+ case (boolbool.Bool_0) 1:
{
FMap_4 = pretty_printer.unsafe_get_default_formatter_map_3_p_0();
}
@@ -8392,7 +8392,7 @@
Var_16 = 0;
Var_17 = 0;
{
- Var_9 = mr_string.count_code_points_loop_4_p_0(IndentStr_4, Var_16, Var_17);
+ Var_9 = stringstring.count_code_points_loop_4_p_0(IndentStr_4, Var_16, Var_17);
}
NumCPs_8 = (NumCPs0_7 + Var_9);
{
@@ -8480,7 +8480,7 @@
Var_86 = 0;
Var_87 = 0;
{
- StrWidth_37 = mr_string.count_code_points_loop_4_p_0(String_36, Var_86, Var_87);
+ StrWidth_37 = stringstring.count_code_points_loop_4_p_0(String_36, Var_86, Var_87);
}
STATE_VARIABLE_RemainingWidth_57_57 = (STATE_VARIABLE_RemainingWidth_0_7 - StrWidth_37);
/* direct tailcall eliminated */
@@ -8737,13 +8737,13 @@
}
}
- public static mr_bool.Bool_0 pretty_printer_is_initialised_3_p_0()
+ public static boolbool.Bool_0 pretty_printer_is_initialised_3_p_0()
{
{
- mr_bool.Bool_0 Okay_1 = default(mr_bool.Bool_0);
+ boolbool.Bool_0 Okay_1 = default(boolbool.Bool_0);
{
-mr_bool.Bool_0 Okay;
+boolbool.Bool_0 Okay;
#pragma warning restore
{
#line 1453 "pretty_printer.m"
@@ -12067,8 +12067,8 @@
/* typeclass_info */ object[] TypeClassInfo_for_writer_16 = null;
runtime.TypeInfo_Struct TypeCtorInfo_7_20 = null;
string Var_4 = null;
- mr_string__builder.State_0 Var_5 = (mr_string__builder.State_0) pretty_printer.MR_scalar_common_20[0];
- mr_string__builder.State_0 Var_7 = default(mr_string__builder.State_0);
+ stringstring__builder.State_0 Var_5 = (stringstring__builder.State_0) pretty_printer.MR_scalar_common_20[0];
+ stringstring__builder.State_0 Var_7 = default(stringstring__builder.State_0);
list.List_1 Var_18 = default(list.List_1);
list.List_1 Var_19 = default(list.List_1);
@@ -12076,7 +12076,7 @@
{
Var_7 = term_io.f_84_121_112_101_83_112_101_99_79_102_95_95_112_114_101_100_95_95_102_111_114_109_97_116_95_113_117_111_116_101_100_95_115_116_114_105_110_103_95_95_91_83_116_114_101_97_109_32_61_32_115_116_114_105_110_103_46_98_117_105_108_100_101_114_46_104_97_110_100_108_101_44_32_83_116_97_116_101_32_61_32_115_116_114_105_110_103_46_98_117_105_108_100_101_114_46_115_116_97_116_101_93_95_48_95_49_4_p_0(TypeClassInfo_for_writer_16, S_3, Var_5);
}
- Var_18 = ((mr_string__builder.State_0) Var_7).F1;
+ Var_18 = ((stringstring__builder.State_0) Var_7).F1;
TypeCtorInfo_7_20 = runtime.TypeInfo_Struct.maybe_new(builtin.builtin__type_ctor_info_string_0);
{
Var_19 = list.reverse_2_p_0(TypeCtorInfo_7_20, Var_18);
More information about the developers
mailing list