diff options
| author | Lex Spoon <lex@lexspoon.org> | 2007-01-23 15:34:40 +0000 |
|---|---|---|
| committer | Lex Spoon <lex@lexspoon.org> | 2007-01-23 15:34:40 +0000 |
| commit | 8acb41bd0a4dc1a6a6e6c20f48cb1c508470551a (patch) | |
| tree | a65ac192ef81ab0e068e4891654511d5f0ff4982 /src/compiler/scala/tools/nsc/typechecker/RefChecks.scala | |
| parent | 76d0d7ad84a236a5b2fb52e83af158b25b817a85 (diff) | |
| download | scala-8acb41bd0a4dc1a6a6e6c20f48cb1c508470551a.tar.gz scala-8acb41bd0a4dc1a6a6e6c20f48cb1c508470551a.tar.bz2 scala-8acb41bd0a4dc1a6a6e6c20f48cb1c508470551a.zip | |
- Added default constructors for Settings and G...
- Added default constructors for Settings and Global
- Added attributed types, if -Xplugtypes is available. This enables
non-LAMP people to experiment with type attributes. (This is a merge
from the plugtypes branch, revision 9679) The attributes are ignored for
now, even with -Xplugtypes, but do get propagated.
Diffstat (limited to 'src/compiler/scala/tools/nsc/typechecker/RefChecks.scala')
| -rw-r--r-- | src/compiler/scala/tools/nsc/typechecker/RefChecks.scala | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala b/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala index 62d2185600..407068299b 100644 --- a/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala +++ b/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala @@ -366,6 +366,8 @@ abstract class RefChecks extends InfoTransform { validateVariance(result, variance) case PolyType(tparams, result) => validateVariance(result, variance) + case AttributedType(attribs, tp) => + validateVariance(tp, variance) } def validateVariances(tps: List[Type], variance: int): unit = |