@@ -1262,7 +1262,7 @@ object messages {
1262
1262
1263
1263
case class OverloadedOrRecursiveMethodNeedsResultType (cycleSym : Symbol )(implicit ctx : Context )
1264
1264
extends Message (OverloadedOrRecursiveMethodNeedsResultTypeID ) {
1265
- val kind = " Syntax "
1265
+ val kind = " Cyclic "
1266
1266
val msg = hl """ overloaded or recursive $cycleSym needs return type """
1267
1267
val explanation =
1268
1268
hl """ Case 1: $cycleSym is overloaded
@@ -1277,7 +1277,7 @@ object messages {
1277
1277
1278
1278
case class RecursiveValueNeedsResultType (cycleSym : Symbol )(implicit ctx : Context )
1279
1279
extends Message (RecursiveValueNeedsResultTypeID ) {
1280
- val kind = " Syntax "
1280
+ val kind = " Cyclic "
1281
1281
val msg = hl """ recursive $cycleSym needs type """
1282
1282
val explanation =
1283
1283
hl """ The definition of ` $cycleSym` is recursive and you need to specify its type.
@@ -1286,7 +1286,7 @@ object messages {
1286
1286
1287
1287
case class CyclicReferenceInvolving (denot : SymDenotation )(implicit ctx : Context )
1288
1288
extends Message (CyclicReferenceInvolvingID ) {
1289
- val kind = " Syntax "
1289
+ val kind = " Cyclic "
1290
1290
val msg = hl """ cyclic reference involving $denot"""
1291
1291
val explanation =
1292
1292
hl """ | $denot is declared as part of a cycle which makes it impossible for the
@@ -1297,7 +1297,7 @@ object messages {
1297
1297
1298
1298
case class CyclicReferenceInvolvingImplicit (cycleSym : Symbol )(implicit ctx : Context )
1299
1299
extends Message (CyclicReferenceInvolvingImplicitID ) {
1300
- val kind = " Syntax "
1300
+ val kind = " Cyclic "
1301
1301
val msg = hl """ cyclic reference involving implicit $cycleSym"""
1302
1302
val explanation =
1303
1303
hl """ | $cycleSym is declared as part of a cycle which makes it impossible for the
@@ -2113,7 +2113,7 @@ object messages {
2113
2113
// Relative of CyclicReferenceInvolvingImplicit and RecursiveValueNeedsResultType
2114
2114
case class TermMemberNeedsResultTypeForImplicitSearch (cycleSym : Symbol )(implicit ctx : Context )
2115
2115
extends Message (TermMemberNeedsNeedsResultTypeForImplicitSearchID ) {
2116
- val kind = " Syntax "
2116
+ val kind = " Cyclic "
2117
2117
val msg = hl """ $cycleSym needs result type because its right-hand side attempts implicit search """
2118
2118
val explanation =
2119
2119
hl """ |The right hand-side of $cycleSym's definition requires an implicit search at the highlighted position.
0 commit comments