Scala example source code file (bug692.check)

This example Scala source code file (bug692.check) is included in the DevDaily.com "Java Source Code Warehouse" project. The intent of this project is to help you "Learn Java by Example" ^TM.

Java - Scala tags/keywords

bar, bartype, bartype, classtype, classtype, foo, foo, footype, reftype, reftype, t, type, type0

The Scala bug692.check source code

bug692.scala:3: error: not found: type T
  trait Type[T0] extends Type0[T];
                               ^
bug692.scala:10: error: class Foo takes type parameters
  case class FooType() extends ClassType[Foo,AnyRef](ObjectType());
                                         ^
bug692.scala:13: error: class Foo takes type parameters
  case class BarType[T3 <: Foo](tpeT : RefType[T3]) extends ClassType[Bar[T3],Foo](FooType);
                                                                              ^
bug692.scala:13: error: class Foo takes type parameters
  case class BarType[T3 <: Foo](tpeT : RefType[T3]) extends ClassType[Bar[T3],Foo](FooType);
                           ^
bug692.scala:14: error: class Foo takes type parameters
  implicit def typeOfBar[T4 <: Foo](implicit elem : RefType[T4]) : RefType[Bar[T4]] = 
                               ^
bug692.scala:15: error: type mismatch;
 found   : test3.this.BarType[T4]
 required: test3.this.RefType[test3.this.Bar[T4]]
    BarType(elem);
           ^
bug692.scala:19: error: class Foo takes type parameters
  class Bar[A <: Foo](implicit tpeA : Type[A]) extends Foo;
                 ^
7 errors found