diff options
author | schinz <schinz@epfl.ch> | 2005-03-20 16:54:10 +0000 |
---|---|---|
committer | schinz <schinz@epfl.ch> | 2005-03-20 16:54:10 +0000 |
commit | 0cc197de4eb16ba06f227aa8257944e81e4f4372 (patch) | |
tree | b19e19f0773846a7737269625a191947152d77e2 /sources | |
parent | 1cd1331b299e75122615b1bcda606a5b9b0650a4 (diff) | |
download | scala-0cc197de4eb16ba06f227aa8257944e81e4f4372.tar.gz scala-0cc197de4eb16ba06f227aa8257944e81e4f4372.tar.bz2 scala-0cc197de4eb16ba06f227aa8257944e81e4f4372.zip |
- bug fix: increase the timeout while waiting f...
- bug fix: increase the timeout while waiting for the parents to be
computed
Diffstat (limited to 'sources')
-rw-r--r-- | sources/scala/runtime/types/ScalaClassType.java | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/sources/scala/runtime/types/ScalaClassType.java b/sources/scala/runtime/types/ScalaClassType.java index 728ac1b582..c338f17079 100644 --- a/sources/scala/runtime/types/ScalaClassType.java +++ b/sources/scala/runtime/types/ScalaClassType.java @@ -167,6 +167,7 @@ public class ScalaClassType extends ClassType { } catch (InterruptedException e) { throw new Error(e); } + timeout *= 2; if (timeout >= 1000) throw new Error("computation of parents apparently stuck for " + this); @@ -197,7 +198,7 @@ public class ScalaClassType extends ClassType { dci++; toAddParents = ancestorCode[dci++]; } - int toAddSelf = (!constr.isTrivial) && (l == level) ? 1 : 0; + int toAddSelf = (l == level) && (!constr.isTrivial) ? 1 : 0; int toAdd = toAddParents + toAddSelf; ScalaClassType[] initialRow; |