2.8 bug

Hi Nils,
I have just tried with scalac (not only scala) version 2.8.0.r18502-b20090818020152 and it finally goes out of memory (yes, I was patient enough, but only after 3rd time :) ).
Exception in thread "main" java.lang.OutOfMemoryError: Java heap space at scala.tools.nsc.util.HashSet.growTable(HashSet.scala:59) at scala.tools.nsc.util.HashSet.addEntry(HashSet.scala:42) at scala.tools.nsc.symtab.Types$class.unique(Types.scala:2375) at scala.tools.nsc.symtab.Types$class.mkThisType(Types.scala:2043) at scala.tools.nsc.symtab.SymbolTable.mkThisType(SymbolTable.scala:13) at scala.tools.nsc.symtab.Symbols$ClassSymbol.thisType(Symbols.scala:1804) at scala.tools.nsc.symtab.Types$CompoundType.narrow(Types.scala:1138) at scala.tools.nsc.symtab.Types$Type.narrow(Types.scala:273) at scala.tools.nsc.symtab.Types$TypeRef.narrow(Types.scala:1471) at scala.tools.nsc.symtab.Types$Type.findMember(Types.scala:746) at scala.tools.nsc.symtab.Types$Type.nonPrivateMembers(Types.scala:389) at scala.tools.nsc.symtab.Types$class.lub0$1(Types.scala:4394) at scala.tools.nsc.symtab.Types$class.lub0$1(Types.scala:4349) at scala.tools.nsc.symtab.Types$class.lub(Types.scala:4418) at scala.tools.nsc.symtab.SymbolTable.lub(SymbolTable.scala:13) at scala.tools.nsc.symtab.Types$class.lubsym$1(Types.scala:4376) at scala.tools.nsc.symtab.Types$$anonfun$33.apply(Types.scala:4400) at scala.tools.nsc.symtab.Types$$anonfun$33.apply(Types.scala:4394) at scala.collection.generic.LinearSequenceTemplate$class.foreach(LinearSequenceTemplate.scala:82) at scala.collection.immutable.List.foreach(List.scala:27) at scala.tools.nsc.symtab.Types$class.lub0$1(Types.scala:4394) at scala.tools.nsc.symtab.Types$class.lub0$1(Types.scala:4349) at scala.tools.nsc.symtab.Types$class.lub(Types.scala:4418) at scala.tools.nsc.symtab.SymbolTable.lub(SymbolTable.scala:13) at scala.tools.nsc.symtab.Types$class.lubsym$1(Types.scala:4376) at scala.tools.nsc.symtab.Types$$anonfun$33.apply(Types.scala:4400) at scala.tools.nsc.symtab.Types$$anonfun$33.apply(Types.scala:4394) at scala.collection.generic.LinearSequenceTemplate$class.foreach(LinearSequenceTemplate.scala:82) at scala.collection.immutable.List.foreach(List.scala:27) at scala.tools.nsc.symtab.Types$class.lub0$1(Types.scala:4394) at scala.tools.nsc.symtab.Types$class.lub0$1(Types.scala:4349) at scala.tools.nsc.symtab.Types$class.lub(Types.scala:4418)
Can you try with trunk, in case something in the stacktrace changes? If it is not something already known, you should open a ticket.
I am attaching the file I tried to compile, for convenience.
Christos.

On Sep 1, 2009, at 20:13, Nils Kilden-Pedersen wrote:

This hangs forever on 2.8 nightly:

Welcome to Scala version 2.8.0.r18604-b20090830020201 (Java HotSpot(TM) 64-Bit Server VM, Java 1.6.0_16).
Type in expressions to have them evaluated.
Type :help for more information.

scala> val seq = if (true) 0 to 100 by 5 else List("1", "2", "3")

-- 
   __~O
  -\ <,       Christos KK Loverdos
(*)/ (*)      http://ckkloverdos.com

On Wed, Sep 02, 2009 at 12:22:31AM +0300, Christos KK Loverdos wrote:
> I have just tried with scalac (not only scala) version 2.8.0.r18502-
> b20090818020152 and it finally goes out of memory (yes, I was patient
> enough, but only after 3rd time :) ).

It's an infinite loop in the inference, trying to unify Range and
List[Int]. One way to head at such bugs directly is:

val x = List(null: Range, null: List[Int])

As far as I know this is unknown and should be reported.

On Sep 2, 2009, at 24:29, Paul Phillips wrote:

> On Wed, Sep 02, 2009 at 12:22:31AM +0300, Christos KK Loverdos wrote:
>> I have just tried with scalac (not only scala) version 2.8.0.r18502-
>> b20090818020152 and it finally goes out of memory (yes, I was patient
>> enough, but only after 3rd time :) ).
>
> It's an infinite loop in the inference, trying to unify Range and
> List[Int]. One way to head at such bugs directly is:
>
> val x = List(null: Range, null: List[Int])
>
> As far as I know this is unknown and should be reported.

Following your suggestion,

http://lampsvn.epfl.ch/trac/scala/ticket/2322

CKKL