From: Mart Lubbers <mart@martlubbers.net>
Date: Wed, 30 Sep 2015 11:37:06 +0000 (+0200)
Subject: textsize supposed to be better then array size'
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=41dd45c653cf65750153b12a3097cd2baeb21317;p=ap2015.git

textsize supposed to be better then array size'
---

diff --git a/a4/mart/skeleton4.icl b/a4/mart/skeleton4.icl
index a521168..959e93c 100644
--- a/a4/mart/skeleton4.icl
+++ b/a4/mart/skeleton4.icl
@@ -8,7 +8,7 @@ Pieter Koopman, pieter@cs.ru.nl
 */
 
 import iTasks
-import StdArray // To check string length
+import Text // To check string length
 
 :: Idea:== String
 :: Name:== String
@@ -29,7 +29,7 @@ mainTask = doIdentified editIdea >>= viewInformation "The result" [
 		//Format the indices and the ideas
 		fideas i = map (\(x,y).toString (x+1) +++ ": " +++ y) (filt i)
 		//Filter the ideas on length and add indices
-		filt i = zip2 (indexList i) (filter (\x.size x > 10) i)
+		filt i = zip2 (indexList i) (filter (\x.textSize x > 10) i)
 
 Start :: *World -> *World
 Start world = startEngine mainTask world