Aladdin - Scala Bugtracking
[#261] project: compiler priority: low category: bug
submitter assigned to status date submitted
Philippe Martin fixed 2003-12-11 14:14:24.0
subject separate compilation problem
code 

	

	

		what happened
		
Do a make distclean; make, touch the file sources/scala/tools/scalac/typechecker/DeSugariz\
e.scala and redo a make. Here is what you get: 



Exception in thread "main" java.lang.AssertionError: class scala.tools.scalac.typechecker.Infer scala.Object cla\
ss scala.Object -1
	at scalac.symtab.TypeSymbol.adjustType(Symbol.java:1632)
	at scalac.symtab.TypeSymbol.adjustType(Symbol.java:1637)
	at scalac.symtab.TypeSymbol.computeClosureAt(Symbol.java:1600)
	at scalac.symtab.TypeSymbol.closure(Symbol.java:1556)
	at scalac.symtab.Symbol.closurePos(Symbol.java:1062)
	at scalac.symtab.Symbol.baseType(Symbol.java:1077)
	at scalac.symtab.Type.baseType(Type.java:1171)
	at scalac.symtab.Type.isSubType0(Type.java:1849)
	at scalac.symtab.Type.isSubType(Type.java:1800)
	at scala.tools.scalac.typechecker.Analyzer$class.adapt(sources/scala/tools/scalac/typechecker/Analyzer.scala:13\
76)
	at scala.tools.scalac.typechecker.Analyzer$class.adapt(sources/scala/tools/scalac/typechecker/Analyzer.scala:12\
61)
	at scala.tools.scalac.typechecker.Analyzer$class.transform(sources/scala/tools/scalac/typechecker/Analyzer.scal\
a:1833)
	at scala.tools.scalac.typechecker.Analyzer$class.transformArgs(sources/scala/tools/scalac/typechecker/Analyzer.\
scala:1725)
	at scala.tools.scalac.typechecker.Analyzer$$anon$37.handleApply$0(sources/scala/tools/scalac/typechecker/Analyz\
er.scala:2496)
	at scala.tools.scalac.typechecker.Analyzer$$anon$37.apply(sources/scala/tools/scalac/typechecker/Analyzer.scala\
:2581)
	at scala.tools.scalac.typechecker.Analyzer$$anon$37.apply(sources/scala/tools/scalac/typechecker/Analyzer.scala\
:1925)
	at scala.runtime.ResultOrException.tryBlock(ResultOrException.java:34)
	at scala.runtime.ScalaRunTime$.Try(sources/scala/runtime/ScalaRunTime.scala:19)
	at scala.tools.scalac.typechecker.Analyzer$class.transform(sources/scala/tools/scalac/typechecker/Analyzer.scal\
a:1924)
	at scala.tools.scalac.typechecker.Analyzer$class.transform(sources/scala/tools/scalac/typechecker/Analyzer.scal\
a:1833)
	at scala.tools.scalac.typechecker.Analyzer$$anon$37.apply(sources/scala/tools/scalac/typechecker/Analyzer.scala\
:1988)
	at scala.tools.scalac.typechecker.Analyzer$$anon$37.apply(sources/scala/tools/scalac/typechecker/Analyzer.scala\
:1925)
	at scala.runtime.ResultOrException.tryBlock(ResultOrException.java:34)
	at scala.runtime.ScalaRunTime$.Try(sources/scala/runtime/ScalaRunTime.scala:19)
	at scala.tools.scalac.typechecker.Analyzer$class.transform(sources/scala/tools/scalac/typechecker/Analyzer.scal\
a:1924)
	at scala.tools.scalac.typechecker.Analyzer$class.transform(sources/scala/tools/scalac/typechecker/Analyzer.scal\
a:1852)
	at scala.tools.scalac.typechecker.Analyzer$class.transformStatSeq(sources/scala/tools/scalac/typechecker/Analyz\
er.scala:1620)
	at scala.tools.scalac.typechecker.Analyzer$class.transformTemplate(sources/scala/tools/scalac/typechecker/Analy\
zer.scala:1683)
	at scala.tools.scalac.typechecker.Analyzer$$anon$37.apply(sources/scala/tools/scalac/typechecker/Analyzer.scala\
:1960)
	at scala.tools.scalac.typechecker.Analyzer$$anon$37.apply(sources/scala/tools/scalac/typechecker/Analyzer.scala\
:1925)
	at scala.runtime.ResultOrException.tryBlock(ResultOrException.java:34)
	at scala.runtime.ScalaRunTime$.Try(sources/scala/runtime/ScalaRunTime.scala:19)
	at scala.tools.scalac.typechecker.Analyzer$class.transform(sources/scala/tools/scalac/typechecker/Analyzer.scal\
a:1924)
	at scalac.ast.Transformer.transform(Transformer.java:277)
	at scala.tools.scalac.typechecker.Analyzer$class.transform(sources/scala/tools/scalac/typechecker/Analyzer.scal\
a:1874)
	at scala.tools.scalac.typechecker.Analyzer$$anon$37.apply(sources/scala/tools/scalac/typechecker/Analyzer.scala\
:1936)
	at scala.tools.scalac.typechecker.Analyzer$$anon$37.apply(sources/scala/tools/scalac/typechecker/Analyzer.scala\
:1925)
	at scala.runtime.ResultOrException.tryBlock(ResultOrException.java:34)
	at scala.runtime.ScalaRunTime$.Try(sources/scala/runtime/ScalaRunTime.scala:19)
	at scala.tools.scalac.typechecker.Analyzer$class.transform(sources/scala/tools/scalac/typechecker/Analyzer.scal\
a:1924)
	at scalac.ast.Transformer.transform(Transformer.java:277)
	at scala.tools.scalac.typechecker.Analyzer$class.transform(sources/scala/tools/scalac/typechecker/Analyzer.scal\
a:1874)
	at scala.tools.scalac.typechecker.Analyzer$$anon$37.apply(sources/scala/tools/scalac/typechecker/Analyzer.scala\
:1936)
	at scala.tools.scalac.typechecker.Analyzer$$anon$37.apply(sources/scala/tools/scalac/typechecker/Analyzer.scala\
:1925)
	at scala.runtime.ResultOrException.tryBlock(ResultOrException.java:34)
	at scala.runtime.ScalaRunTime$.Try(sources/scala/runtime/ScalaRunTime.scala:19)
	at scala.tools.scalac.typechecker.Analyzer$class.transform(sources/scala/tools/scalac/typechecker/Analyzer.scal\
a:1924)
	at scalac.ast.Transformer.transform(Transformer.java:277)
	at scala.tools.scalac.typechecker.Analyzer$class.transform(sources/scala/tools/scalac/typechecker/Analyzer.scal\
a:1874)
	at scala.tools.scalac.typechecker.Analyzer$$anon$37.apply(sources/scala/tools/scalac/typechecker/Analyzer.scala\
:1936)
	at scala.tools.scalac.typechecker.Analyzer$$anon$37.apply(sources/scala/tools/scalac/typechecker/Analyzer.scala\
:1925)
	at scala.runtime.ResultOrException.tryBlock(ResultOrException.java:34)
	at scala.runtime.ScalaRunTime$.Try(sources/scala/runtime/ScalaRunTime.scala:19)
	at scala.tools.scalac.typechecker.Analyzer$class.transform(sources/scala/tools/scalac/typechecker/Analyzer.scal\
a:1924)
	at scalac.ast.Transformer.transform(Transformer.java:277)
	at scala.tools.scalac.typechecker.Analyzer$class.transform(sources/scala/tools/scalac/typechecker/Analyzer.scal\
a:1874)
	at scala.tools.scalac.typechecker.Analyzer$$anon$37.apply(sources/scala/tools/scalac/typechecker/Analyzer.scala\
:1936)
	at scala.tools.scalac.typechecker.Analyzer$$anon$37.apply(sources/scala/tools/scalac/typechecker/Analyzer.scala\
:1925)
	at scala.runtime.ResultOrException.tryBlock(ResultOrException.java:34)
	at scala.runtime.ScalaRunTime$.Try(sources/scala/runtime/ScalaRunTime.scala:19)
	at scala.tools.scalac.typechecker.Analyzer$class.transform(sources/scala/tools/scalac/typechecker/Analyzer.scal\
a:1924)
	at scala.tools.scalac.typechecker.Analyzer$class.transform(sources/scala/tools/scalac/typechecker/Analyzer.scal\
a:1852)
	at scala.tools.scalac.typechecker.Analyzer$class.transformStatSeq(sources/scala/tools/scalac/typechecker/Analyz\
er.scala:1620)
	at scala.tools.scalac.typechecker.Analyzer$class.apply(sources/scala/tools/scalac/typechecker/Analyzer.scala:11\
5)
	at scalac.ast.Transformer.apply(Transformer.java:63)
	at scala.tools.scalac.typechecker.Analyzer$class.apply(sources/scala/tools/scalac/typechecker/Analyzer.scala:57\
)
	at scala.tools.scalac.typechecker.AnalyzerPhase$class.apply(sources/scala/tools/scalac/typechecker/AnalyzerPhas\
e.scala:61)
	at scalac.Global.compile(Global.java:300)
	at scalac.Global.compile(Global.java:272)
	at scala.tools.scalac.Main$.main(sources/scala/tools/scalac/Main.scala:33)
	at scala.tools.scalac.Main.main(sources/scala/tools/scalac/Main.scala)




	

	

		what expected
		No error.
	

	

	
  
      
      
        [back to overview]





  
          
            Changes of this bug report
          
        

        
        Martin  edited on  2004-01-05 17:06:37.0