@@ -1338,7 +1338,7 @@ object Scanners {
13381338 * InBraces a pair of braces { ... }
13391339 * Indented a pair of <indent> ... <outdent> tokens
13401340 */
1341- abstract class Region ( val code : String ) :
1341+ abstract class Region :
13421342 /** The region enclosing this one, or `null` for the outermost region */
13431343 def outer : Region | Null
13441344
@@ -1367,17 +1367,17 @@ object Scanners {
13671367 knownWidth = enclosing.knownWidth
13681368 end Region
13691369
1370- case class InString (multiLine : Boolean , outer : Region ) extends Region ( " IS " )
1371- case class InParens (prefix : Token , outer : Region ) extends Region ( " IP " )
1372- case class InBraces (outer : Region ) extends Region ( " IB " )
1373- case class InCase (outer : Region ) extends Region ( " IC " )
1370+ case class InString (multiLine : Boolean , outer : Region ) extends Region
1371+ case class InParens (prefix : Token , outer : Region ) extends Region
1372+ case class InBraces (outer : Region ) extends Region
1373+ case class InCase (outer : Region ) extends Region
13741374
13751375 /** A class describing an indentation region.
13761376 * @param width The principal indendation width
13771377 * @param others Other indendation widths > width of lines in the same region
13781378 * @param prefix The token before the initial <indent> of the region
13791379 */
1380- case class Indented (width : IndentWidth , others : Set [IndentWidth ], prefix : Token , outer : Region | Null ) extends Region ( " II " ) :
1380+ case class Indented (width : IndentWidth , others : Set [IndentWidth ], prefix : Token , outer : Region | Null ) extends Region :
13811381 knownWidth = width
13821382
13831383 def topLevelRegion (width : IndentWidth ) = Indented (width, Set (), EMPTY , null )
0 commit comments