diff options
| author | Martin Odersky <odersky@gmail.com> | 2013-08-16 19:01:08 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2013-08-16 19:01:08 +0200 |
| commit | 502f426981105df448896f635ef559cd72787c43 (patch) | |
| tree | ca3a85271ae10c7f697dd3e88b07b7045bf81e2e /src/dotty/tools/dotc/ast/TypedTrees.scala | |
| parent | f540194f1b04c044c969772d5989d129264ea781 (diff) | |
| download | dotty-502f426981105df448896f635ef559cd72787c43.tar.gz dotty-502f426981105df448896f635ef559cd72787c43.tar.bz2 dotty-502f426981105df448896f635ef559cd72787c43.zip | |
Various bugfixes for namer/typer/trees
Diffstat (limited to 'src/dotty/tools/dotc/ast/TypedTrees.scala')
| -rw-r--r-- | src/dotty/tools/dotc/ast/TypedTrees.scala | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/dotty/tools/dotc/ast/TypedTrees.scala b/src/dotty/tools/dotc/ast/TypedTrees.scala index 3530accfc..9942728b3 100644 --- a/src/dotty/tools/dotc/ast/TypedTrees.scala +++ b/src/dotty/tools/dotc/ast/TypedTrees.scala @@ -393,6 +393,10 @@ object tpd extends Trees.Instance[Type] with TypedTreeInfo { new TreeMapper(ownerMap = (sym => if (sym == from) to else sym)).apply(tree) } + implicit class ListOfTreeDecorator(val xs: List[tpd.Tree]) extends AnyVal { + def tpes: List[Type] = xs map (_.tpe) + } + class TreeMapper(val typeMap: TypeMap = IdentityTypeMap, val ownerMap: Symbol => Symbol = identity)(implicit ctx: Context) extends TreeTransformer { override def transform(tree: tpd.Tree)(implicit ctx: Context): tpd.Tree = super.transform { tree.withType(typeMap(tree.tpe)) match { |