diff options
| author | Martin Odersky <odersky@gmail.com> | 2006-08-14 16:08:35 +0000 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2006-08-14 16:08:35 +0000 |
| commit | c840d9f58c3d3dd9dbb5581df86985d6600fa09a (patch) | |
| tree | dd22188d2001ec5524a94cf2c7ac137a80826b61 /src/compiler/scala/tools/nsc/typechecker/Namers.scala | |
| parent | a959d0cd1054396113417ae0fc29117601811d6f (diff) | |
| download | scala-c840d9f58c3d3dd9dbb5581df86985d6600fa09a.tar.gz scala-c840d9f58c3d3dd9dbb5581df86985d6600fa09a.tar.bz2 scala-c840d9f58c3d3dd9dbb5581df86985d6600fa09a.zip | |
eliminated -Xgadt option.
Diffstat (limited to 'src/compiler/scala/tools/nsc/typechecker/Namers.scala')
| -rw-r--r-- | src/compiler/scala/tools/nsc/typechecker/Namers.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/compiler/scala/tools/nsc/typechecker/Namers.scala b/src/compiler/scala/tools/nsc/typechecker/Namers.scala index 42f073402e..74784bb9aa 100644 --- a/src/compiler/scala/tools/nsc/typechecker/Namers.scala +++ b/src/compiler/scala/tools/nsc/typechecker/Namers.scala @@ -212,7 +212,7 @@ trait Namers requires Analyzer { if (!tparams.isEmpty) { new Namer(context.makeNewScope(tree, tree.symbol)).enterSyms(tparams); ltype = new LazyPolyType(tparams map (.symbol), ltype); - if (tree.symbol.isTerm || settings.Xgadt.value) skolemize(tparams); + if (tree.symbol.isTerm) skolemize(tparams); } tree.symbol.setInfo(ltype); } |