From 3cc7a2f8e494b237263c6ea76f45061cff5f740a Mon Sep 17 00:00:00 2001
From: Mirco Dotta <mirco.dotta@gmail.com>
Date: Tue, 7 Jul 2009 17:10:20 +0000
Subject: [PATCH] Removing @generator annotations, for List we must use the
built-in generator (this is something we might want to fiy later on to enable
flexibility).
---
tests/plugin/ListSet.scala | 6 ++++--
1 file changed, 4 insertions(+), 2 deletions(-)
diff --git a/tests/plugin/ListSet.scala b/tests/plugin/ListSet.scala
index c32a8e696..7035c7ddc 100644
--- a/tests/plugin/ListSet.scala
+++ b/tests/plugin/ListSet.scala
@@ -23,7 +23,8 @@ object ListSet {
case x :: xs => content(xs) + x
}
- @generator def insert(x: Int, xs: List[Int]): List[Int] = if(member(x, xs)) xs else x :: xs
+ //@generator
+ def insert(x: Int, xs: List[Int]): List[Int] = if(member(x, xs)) xs else x :: xs
def remove(x: Int, xs: List[Int]): List[Int] = xs match {
case Nil => Nil
@@ -41,5 +42,6 @@ object ListSet {
println("Done.")
}
- @generator def makeNil: List[Int] = Nil
+ //@generator
+ def makeNil: List[Int] = Nil
}
--
GitLab