Allow top-level splices for types

odersky · odersky · commit 02714dfe6f2c · 2018-01-27T13:02:32.000+01:00
diff --git a/compiler/src/dotty/tools/dotc/transform/ReifyQuotes.scala b/compiler/src/dotty/tools/dotc/transform/ReifyQuotes.scala
@@ -228,7 +228,7 @@ class ReifyQuotes extends MacroTransformWithImplicits {
           case tp: NamedType if tp.symbol.isSplice =>
             if (inQuote) outer.checkType(pos).foldOver(acc, tp)
             else {
-              spliceOutsideQuotes(pos)
+              if (tp.isTerm) spliceOutsideQuotes(pos)
               tp
             }
           case tp: NamedType =>

Original file line number	Diff line number	Diff line change
`@@ -228,7 +228,7 @@ class ReifyQuotes extends MacroTransformWithImplicits {`
`228`	`228`	`case tp: NamedType if tp.symbol.isSplice =>`
`229`	`229`	`if (inQuote) outer.checkType(pos).foldOver(acc, tp)`
`230`	`230`	`else {`
`231`		`- spliceOutsideQuotes(pos)`
	`231`	`+ if (tp.isTerm) spliceOutsideQuotes(pos)`
`232`	`232`	`tp`
`233`	`233`	`}`
`234`	`234`	`case tp: NamedType =>`