From 41dd45c653cf65750153b12a3097cd2baeb21317 Mon Sep 17 00:00:00 2001 From: Mart Lubbers Date: Wed, 30 Sep 2015 13:37:06 +0200 Subject: [PATCH] textsize supposed to be better then array size' --- a4/mart/skeleton4.icl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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 -- 2.20.1