blob: 0d08120e4395b78541675cedee0e4e1bbe34b94e (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
|
/* NSC -- new Scala compiler
*
* Copyright 2011-2013 LAMP/EPFL
* @author Adriaan Moors
*/
package scala.tools.nsc.transform.patmat
/** Segregating this super hacky CPS code. */
trait MatchCps {
self: PatternMatching =>
import global._
// duplicated from CPSUtils (avoid dependency from compiler -> cps plugin...)
private object CpsSymbols {
private def cpsSymbol(name: String) = rootMirror.getClassIfDefined(s"scala.util.continuations.$name")
val MarkerCPSAdaptPlus = cpsSymbol("cpsPlus")
val MarkerCPSAdaptMinus = cpsSymbol("cpsMinus")
val MarkerCPSSynth = cpsSymbol("cpsSynth")
val MarkerCPSTypes = cpsSymbol("cpsParam")
val stripTriggerCPSAnns = Set[Symbol](MarkerCPSSynth, MarkerCPSAdaptMinus, MarkerCPSAdaptPlus)
val strippedCPSAnns = stripTriggerCPSAnns + MarkerCPSTypes
// when one of the internal cps-type-state annotations is present, strip all CPS annotations
// a cps-type-state-annotated type makes no sense as an expected type (matchX.tpe is used as pt in translateMatch)
// (only test availability of MarkerCPSAdaptPlus assuming they are either all available or none of them are)
def removeCPSFromPt(pt: Type): Type = (
if (MarkerCPSAdaptPlus.exists && (stripTriggerCPSAnns exists pt.hasAnnotation))
pt filterAnnotations (ann => !(strippedCPSAnns exists ann.matches))
else
pt
)
}
def removeCPSFromPt(pt: Type): Type = CpsSymbols removeCPSFromPt pt
}
|