From 2a0f931411868b2da44771929b06b9bb65e32681 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ali=20Sinan=20K=C3=B6ksal?= <alisinan@gmail.com>
Date: Wed, 13 Jul 2011 04:32:20 +0000
Subject: [PATCH] last element of list
---
cp-demo/executing-specs/ListMethods.scala | 15 +++++++++++----
1 file changed, 11 insertions(+), 4 deletions(-)
diff --git a/cp-demo/executing-specs/ListMethods.scala b/cp-demo/executing-specs/ListMethods.scala
index 22c58243c..d3a093ae8 100644
--- a/cp-demo/executing-specs/ListMethods.scala
+++ b/cp-demo/executing-specs/ListMethods.scala
@@ -68,16 +68,23 @@ object ListMethods {
// val l = ((l : List) => size(l) == bound).solve
// val lists = for (i <- 1 to nbLists) yield ((l : List) => size(l) == bound).solve
- val lists = ((l : List) => size(l) == bound && valuesWithin(l, 0, bound - 1)).findAll.toList
+ // val lists = ((l : List) => size(l) == bound && valuesWithin(l, 0, bound - 1)).findAll.toList
+
+ val random = new scala.util.Random()
+ def randomList(s: Int): List = if (s <= 0) Nil() else Cons(random.nextInt(10), randomList(s - 1))
+ val lists = (1 to nbLists) map (i => randomList(bound))
println("Here are lists:")
println(lists.mkString("\n"))
// println("Here is its last element: " + last(l))
+ val lastElems = lists.map(l => last(l))
+ println("last elements:")
+ println(lastElems)
- val added = lists.map(appendElem(_, 42))
- println("Here are those lists with 42 added to them:")
- println(added.mkString("\n"))
+ // val added = lists.map(appendElem(_, 42))
+ // println("Here are those lists with 42 added to them:")
+ // println(added.mkString("\n"))
// val sorted = sort(added)
// println("Here is the previous list, this time sorted: " + sorted)
--
GitLab