diff options
Diffstat (limited to 'docs/examples/gadts.scala')
-rw-r--r-- | docs/examples/gadts.scala | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/docs/examples/gadts.scala b/docs/examples/gadts.scala index 88e1ff9fdb..d2792f4ada 100644 --- a/docs/examples/gadts.scala +++ b/docs/examples/gadts.scala @@ -3,10 +3,10 @@ package examples object gadts extends Application { 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], + 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] @@ -16,7 +16,7 @@ object gadts extends Application { case IsZero(u) => eval(u) == 0 case If(c, u1, u2) => eval(if (eval(c)) u1 else u2) } - Console.println( + println( eval(If(IsZero(Lit(1)), Lit(41), Succ(Lit(41))))) } |