Scala example source code file (inliner-infer.scala)

This example Scala source code file (inliner-infer.scala) 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

app, app, mylist, mylist, mynil, mynil, test, unit, unit

The Scala inliner-infer.scala source code

/** Test that the inliner is not inferring that `xs' is
 *  always Nil, removing the call to isEmpty.
 */
object Test extends App {

  @annotation.tailrec
  def walk(xs: MyList): Unit = {
    if (xs.isEmpty) 
      println("empty") 
    else {
      println("non-empty")
      walk(MyNil)
    }
  }

  walk(new MyList)
}

class MyList {
  def isEmpty = false
}

object MyNil extends MyList {
  override def isEmpty = true
}