From ca04dea79c891e462ba6d5b2e4e749d112e76622 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Sun, 19 May 2013 20:50:24 +0000 Subject: * algebra/aggcat2.spad.pamphlet: Use ShallowlyMutableAggregate. --- src/ChangeLog | 4 ++++ src/algebra/aggcat2.spad.pamphlet | 4 ++-- 2 files changed, 6 insertions(+), 2 deletions(-) (limited to 'src') diff --git a/src/ChangeLog b/src/ChangeLog index e8299e4c..91302ecf 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,7 @@ +2013-05-19 Gabriel Dos Reis + + * algebra/aggcat2.spad.pamphlet: Use ShallowlyMutableAggregate. + 2013-05-19 Gabriel Dos Reis * algebra/newdata.spad.pamphlet (SplittingTree): Include diff --git a/src/algebra/aggcat2.spad.pamphlet b/src/algebra/aggcat2.spad.pamphlet index 816a467c..cf668b32 100644 --- a/src/algebra/aggcat2.spad.pamphlet +++ b/src/algebra/aggcat2.spad.pamphlet @@ -66,7 +66,7 @@ FiniteLinearAggregateFunctions2(S, A, R, B): empty? l => ident reduce(fn, rest l, fn(first l, ident)) - if B has ListAggregate(R) or not(B has shallowlyMutable) then + if B has ListAggregate(R) or not(B has ShallowlyMutableAggregate R) then -- A is a list-oid, and B is either list-oids or not mutable map(f, l) == construct [f s for s in entries l] @@ -108,7 +108,7 @@ FiniteLinearAggregateFunctions2(S, A, R, B): reverse! w else -- A and B are array-oid's - if B has shallowlyMutable then -- B is also mutable + if B has ShallowlyMutableAggregate R then -- B is also mutable map(f, v) == w := new(#v,getRSample())$B for i in minIndex w .. maxIndex w repeat -- cgit v1.2.3