diff options
Diffstat (limited to 'test/files/run/gadts.scala')
-rw-r--r-- | test/files/run/gadts.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/files/run/gadts.scala b/test/files/run/gadts.scala index 11b094d99a..57c7fc8af0 100644 --- a/test/files/run/gadts.scala +++ b/test/files/run/gadts.scala @@ -6,7 +6,7 @@ case class If[T](c: Term[Boolean], t1: Term[T], t2: Term[T]) extends Term[T] -object Test extends Application { +object Test extends App { def eval[T](t: Term[T]): T = t match { case Lit(n) => n case Succ(u) => eval(u) + 1 |