diff options
| author | Martin Odersky <odersky@gmail.com> | 2003-07-09 17:26:59 +0000 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2003-07-09 17:26:59 +0000 |
| commit | 22e7c20e902dbd1c02ca3720ddd1f486dc6b05d8 (patch) | |
| tree | 656c51a4203713cb88ceba268cab4d23dabb57fa /sources | |
| parent | c2b559a9b27de3cc8e45097ea952b170b9e0a703 (diff) | |
| download | scala-22e7c20e902dbd1c02ca3720ddd1f486dc6b05d8.tar.gz scala-22e7c20e902dbd1c02ca3720ddd1f486dc6b05d8.tar.bz2 scala-22e7c20e902dbd1c02ca3720ddd1f486dc6b05d8.zip | |
*** empty log message ***
Diffstat (limited to 'sources')
| -rw-r--r-- | sources/scalac/typechecker/Analyzer.java | 1 | ||||
| -rw-r--r-- | sources/scalac/typechecker/RefCheck.java | 2 |
2 files changed, 2 insertions, 1 deletions
diff --git a/sources/scalac/typechecker/Analyzer.java b/sources/scalac/typechecker/Analyzer.java index 0dfba6795a..c47a675e3c 100644 --- a/sources/scalac/typechecker/Analyzer.java +++ b/sources/scalac/typechecker/Analyzer.java @@ -444,6 +444,7 @@ public class Analyzer extends Transformer implements Modifiers, Kinds { try { return checkNoEscapeMap.apply(tp); } catch (Type.Error ex) { + if (infer.isFullyDefined(pt)) return pt; error(pos, ex.msg + " as part of " + tp.unalias()); return Type.ErrorType; } diff --git a/sources/scalac/typechecker/RefCheck.java b/sources/scalac/typechecker/RefCheck.java index adb5cdd40b..656af0d4d8 100644 --- a/sources/scalac/typechecker/RefCheck.java +++ b/sources/scalac/typechecker/RefCheck.java @@ -110,7 +110,7 @@ public class RefCheck extends Transformer implements Modifiers, Kinds { /** Check that all conditions for overriding `other' by `member' are met. * That is for overriding member M and overridden member O: * - * 1. M must have the same or stronger access priviliges as O. + * 1. M must have the same or stronger access privileges as O. * 2. O must not be final. * 3. O is deferred, or M has `override' modifier. * 4. O is not a class, nor a class constructor. |