case 0: {
return Direct_Build.i_Tip;
}
case 5: {
TYPE_List $case2;
switch (($case2 = (((TYPE_List)(java.lang.Object)list.evaluate($ec)))).getOrdinalValue()) {
case 0: {
// Cal.Core.Prelude.Nil
return
unhandledSwitchIndex(
Direct_Build.Cal_Collections_Set_directBuild_1346_9,
"Cal.Core.Prelude.Nil");
}
case 1: {
// Cal.Core.Prelude.Cons
// Decompose data type to access members.
RTValue y1 = $case2.get_head();
RTValue list2 = $case2.get_tail();
TYPE_List $case3;
switch (($case3 = (((TYPE_List)(java.lang.Object)list2.evaluate($ec)))).getOrdinalValue()) {
case 0: {
// Cal.Core.Prelude.Nil
return
unhandledSwitchIndex(
Direct_Build.Cal_Collections_Set_directBuild_1348_9,
"Cal.Core.Prelude.Nil");
}
case 1: {
// Cal.Core.Prelude.Cons
// Decompose data type to access members.
RTValue y2 = $case3.get_head();
RTValue list3 = $case3.get_tail();
TYPE_List $case4;
switch (($case4 = (((TYPE_List)(java.lang.Object)list3.evaluate($ec)))).getOrdinalValue()) {
case 0: {
// Cal.Core.Prelude.Nil
return
unhandledSwitchIndex(
Direct_Build.Cal_Collections_Set_directBuild_1350_9,
"Cal.Core.Prelude.Nil");
}
case 1: {
// Cal.Core.Prelude.Cons
// Decompose data type to access members.
RTValue y3 = $case4.get_head();
RTValue list4 =
$case4.get_tail();
TYPE_List $case5;
switch (($case5 = (((TYPE_List)(java.lang.Object)list4.evaluate($ec)))).getOrdinalValue()) {
case 0: {
// Cal.Core.Prelude.Nil
return
unhandledSwitchIndex(
Direct_Build.Cal_Collections_Set_directBuild_1352_9,
"Cal.Core.Prelude.Nil");
}
case 1: {
// Cal.Core.Prelude.Cons
// Decompose data type to access members.
RTValue y4 =
$case5.get_head();
RTValue list5 =
$case5.get_tail();
TYPE_List $case6;
switch (($case6 = (((TYPE_List)(java.lang.Object)list5.evaluate($ec)))).getOrdinalValue()) {
case 0: {
// Cal.Core.Prelude.Nil
return
unhandledSwitchIndex(
Direct_Build.Cal_Collections_Set_directBuild_1354_9,
"Cal.Core.Prelude.Nil");
}
case 1: {
// Cal.Core.Prelude.Cons
// Decompose data type to access members.
RTValue y5 =
$case6.get_head();
return
new TYPE_Set.CAL_Bin(
5,
y4,
new TYPE_Set.CAL_Bin(
3,
y2,
Single.$instance.f1S(
y1,
$ec).evaluate(
$ec),
Single.$instance.f1S(
y3,
$ec).evaluate(
$ec)),
Single.$instance.f1S(
y5,
$ec).evaluate(
$ec));
}
default: {
return
badSwitchIndex(
Direct_Build.Cal_Collections_Set_directBuild_1354_9);
}
}
}
default: {
return
badSwitchIndex(
Direct_Build.Cal_Collections_Set_directBuild_1352_9);
}
}
}
default: {
return
badSwitchIndex(
Direct_Build.Cal_Collections_Set_directBuild_1350_9);
}
}
}
default: {
return
badSwitchIndex(
Direct_Build.Cal_Collections_Set_directBuild_1348_9);
}
}
}
default: {
return
badSwitchIndex(
Direct_Build.Cal_Collections_Set_directBuild_1346_9);
}
}
}
default: {
int letVar_nLeft$U =
Direct_Build.nLeft$12$def_Unboxed(n, $ec);
TYPE_List $case7;
switch (($case7 = (((TYPE_List)(java.lang.Object)Drop.$instance.f2S(letVar_nLeft$U, list.evaluate($ec), $ec).evaluate($ec)))).getOrdinalValue()) {
case 0: {
// Cal.Core.Prelude.Nil
return
unhandledSwitchIndex(
Direct_Build.Cal_Collections_Set_directBuild_1365_13,
"Cal.Core.Prelude.Nil");
}
case 1: {
// Cal.Core.Prelude.Cons
// Decompose data type to access members.
RTValue root = $case7.get_head();
RTValue rightList = $case7.get_tail();
RTValue letVar_nRight =
Direct_Build.nRight$13$def_Lazy(
n,
RTData.CAL_Int.make(letVar_nLeft$U),
$ec);