From 44fd5e7272f7fbcc901d1ecaf563351217a50e7d Mon Sep 17 00:00:00 2001 From: michelou Date: Tue, 20 May 2008 10:17:41 +0000 Subject: int -> Int, etc.. --- test/files/run/gadts.scala | 16 +++++++--------- 1 file changed, 7 insertions(+), 9 deletions(-) (limited to 'test/files/run/gadts.scala') diff --git a/test/files/run/gadts.scala b/test/files/run/gadts.scala index 36d6fc9530..11b094d99a 100644 --- a/test/files/run/gadts.scala +++ b/test/files/run/gadts.scala @@ -1,10 +1,10 @@ -abstract class Term[T]; -case class Lit(x: int) extends Term[int]; -case class Succ(t: Term[int]) extends Term[int]; -case class IsZero(t: Term[int]) extends Term[boolean]; -case class If[T](c: Term[boolean], +abstract class Term[T] +case class Lit(x: Int) extends Term[Int] +case class Succ(t: Term[Int]) extends Term[Int] +case class IsZero(t: Term[Int]) extends Term[Boolean] +case class If[T](c: Term[Boolean], t1: Term[T], - t2: Term[T]) extends Term[T]; + t2: Term[T]) extends Term[T] object Test extends Application { def eval[T](t: Term[T]): T = t match { @@ -13,7 +13,5 @@ object Test extends Application { case IsZero(u) => eval(u) == 0 case If(c, u1, u2) => eval(if (eval(c)) u1 else u2) } - Console.println( - eval(If(IsZero(Lit(1)), Lit(41), Succ(Lit(41))))) + println(eval(If(IsZero(Lit(1)), Lit(41), Succ(Lit(41))))) } - -- cgit v1.2.3