More detail in explanation for 'traits cannot extend AnyVal'

ennru · ennru · commit 502e7e7080f4 · 2017-05-20T15:27:26.000+02:00
diff --git a/compiler/src/dotty/tools/dotc/reporting/diagnostic/messages.scala b/compiler/src/dotty/tools/dotc/reporting/diagnostic/messages.scala
@@ -1473,7 +1473,7 @@ object messages {
     val explanation =
       hl"""Only classes (not traits) are allowed to extend ${"AnyVal"}, but traits may extend
           |${"Any"} to become ${Green("\"universal traits\"")} which may only have ${"def"} members.
-          |Universal traits can be mixed in to classes that extend ${"AnyVal"}.
+          |Universal traits can be mixed into classes that extend ${"AnyVal"}.
           |"""
   }
 

Original file line number	Diff line number	Diff line change
`@@ -1473,7 +1473,7 @@ object messages {`
`1473`	`1473`	`val explanation =`
`1474`	`1474`	`hl"""Only classes (not traits) are allowed to extend ${"AnyVal"}, but traits may extend`
`1475`	`1475`	`\|${"Any"} to become ${Green("\"universal traits\"")} which may only have ${"def"} members.`
`1476`		`- \|Universal traits can be mixed in to classes that extend ${"AnyVal"}.`
	`1476`	`+ \|Universal traits can be mixed into classes that extend ${"AnyVal"}.`
`1477`	`1477`	`\|"""`
`1478`	`1478`	`}`
`1479`	`1479`