@@ -100,16 +100,16 @@ object MatchTypeTrace:
100
100
case TryReduce (scrut : Type ) =>
101
101
i " trying to reduce $scrut"
102
102
case NoMatches (scrut, cases) =>
103
- i """ failed since selector $scrut
103
+ i """ failed since selector $scrut
104
104
| matches none of the cases
105
105
|
106
106
| ${casesText(cases)}"""
107
107
case EmptyScrutinee (scrut) =>
108
- i """ failed since selector $scrut
108
+ i """ failed since selector $scrut
109
109
| is uninhabited (there are no values of that type). """
110
110
case Stuck (scrut, stuckCase, otherCases) =>
111
111
val msg =
112
- i """ failed since selector $scrut
112
+ i """ failed since selector $scrut
113
113
| does not match ${caseText(stuckCase)}
114
114
| and cannot be shown to be disjoint from it either. """
115
115
if otherCases.length == 0 then msg
@@ -121,14 +121,14 @@ object MatchTypeTrace:
121
121
| ${casesText(otherCases)}"""
122
122
case NoInstance (scrut, stuckCase, fails) =>
123
123
def params = if fails.length == 1 then " parameter" else " parameters"
124
- i """ failed since selector $scrut
124
+ i """ failed since selector $scrut
125
125
| does not uniquely determine $params ${fails.map(_._1)}%, % in
126
126
| ${caseText(stuckCase)}
127
127
| The computed bounds for the $params are:
128
128
| ${fails.map((name, bounds) => i " $name$bounds" )}%\n % """
129
129
130
130
def noMatchesText (scrut : Type , cases : List [Type ])(using Context ): String =
131
- i """ failed since selector $scrut
131
+ i """ failed since selector $scrut
132
132
|matches none of the cases
133
133
|
134
134
| ${casesText(cases)}"""
0 commit comments