From 1d241c403c1d8e0b3f41093729efd967335c4b93 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Fri, 17 May 2013 00:48:29 +0000 Subject: * algebra/aggcat.spad.pamphlet (AssociationListAggregate) [assoc]: Change return type to instance of Maybe. * algebra/list.spad.pamphle (AssociationList): Reflect change. --- src/algebra/list.spad.pamphlet | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/algebra/list.spad.pamphlet') diff --git a/src/algebra/list.spad.pamphlet b/src/algebra/list.spad.pamphlet index 9f0cc282..78cb7133 100644 --- a/src/algebra/list.spad.pamphlet +++ b/src/algebra/list.spad.pamphlet @@ -506,8 +506,8 @@ AssociationList(Key:SetCategory, Entry:SetCategory): assoc(k, t) == for r in deref t repeat - k = r.key => return r - "failed" + k = r.key => return just r + nothing setelt(t:%, k:Key, e:Entry) == (r := assoc(k, t)) case Pair => (r::Pair).entry := e -- cgit v1.2.3