diff options
author | Paul Phillips <paulp@improving.org> | 2011-01-19 03:53:15 +0000 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2011-01-19 03:53:15 +0000 |
commit | 5d8c6c898aa4031c69f9ef0f0dbe8a82e51f793e (patch) | |
tree | bdf576843e3e26934c490991418ca5348bd20ecc /src/compiler/scala/tools/nsc/transform/InfoTransform.scala | |
parent | c90ff3d95dde4b81583e445da2c125b5bed9ab53 (diff) | |
download | scala-5d8c6c898aa4031c69f9ef0f0dbe8a82e51f793e.tar.gz scala-5d8c6c898aa4031c69f9ef0f0dbe8a82e51f793e.tar.bz2 scala-5d8c6c898aa4031c69f9ef0f0dbe8a82e51f793e.zip |
There was a bunch of work adriaan and I did whi...
There was a bunch of work adriaan and I did which ended up in some git
backwaters. I think he is still working with the main code pieces but I
didn't want to lose a couple comments/clarifications. No review.
Diffstat (limited to 'src/compiler/scala/tools/nsc/transform/InfoTransform.scala')
-rw-r--r-- | src/compiler/scala/tools/nsc/transform/InfoTransform.scala | 15 |
1 files changed, 9 insertions, 6 deletions
diff --git a/src/compiler/scala/tools/nsc/transform/InfoTransform.scala b/src/compiler/scala/tools/nsc/transform/InfoTransform.scala index fa93a9b534..03076dc6aa 100644 --- a/src/compiler/scala/tools/nsc/transform/InfoTransform.scala +++ b/src/compiler/scala/tools/nsc/transform/InfoTransform.scala @@ -6,12 +6,15 @@ package scala.tools.nsc package transform -/** <p> - * A base class for transforms. - * </p> - * <p> - * A transform contains a compiler phase which applies a tree transformer. - * </p> +/** + * An InfoTransform contains a compiler phase that transforms trees and symbol infos -- making sure they stay consistent. + * The symbol info is transformed assuming it is consistent right before this phase. + * The info transformation is triggered by Symbol::rawInfo, which caches the results in the symbol's type history. + * This way sym.info (during an atPhase(p)) can look up what the symbol's info should look like at the beginning of phase p. + * (If the transformed info had not been stored yet, rawInfo will compute the info by composing the info-transformers + * of the most recent phase before p, up to the transformer of the phase right before p.) + * + * Concretely, atPhase(p) { sym.info } yields the info *before* phase p has transformed it. Imagine you're a phase and it all makes sense. */ trait InfoTransform extends Transform { import global.{Symbol, Type, InfoTransformer, infoTransformers} |