diff options
| author | dos-reis <gdr@axiomatics.org> | 2013-05-19 22:42:42 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2013-05-19 22:42:42 +0000 |
| commit | 549aab1d993019339d4eef36049e7639c37ca1b6 (patch) | |
| tree | d571869a664b7d305430b8269441fd29dbbfe785 /src/algebra/sortpak.spad.pamphlet | |
| parent | d8b5451ede6ce7a4e6927eda9068f3749e672cf0 (diff) | |
| download | open-axiom-549aab1d993019339d4eef36049e7639c37ca1b6.tar.gz | |
Use ShallowlyMutableAggregate.
Diffstat (limited to 'src/algebra/sortpak.spad.pamphlet')
| -rw-r--r-- | src/algebra/sortpak.spad.pamphlet | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/algebra/sortpak.spad.pamphlet b/src/algebra/sortpak.spad.pamphlet index f9823221..3b8d5cf0 100644 --- a/src/algebra/sortpak.spad.pamphlet +++ b/src/algebra/sortpak.spad.pamphlet @@ -16,7 +16,7 @@ ++ This package exports sorting algorithnms SortPackage(S,A) : Exports == Implementation where S: Type - A: Join(IndexedAggregate(Integer,S),FiniteAggregate S) with shallowlyMutable + A: Join(IndexedAggregate(Integer,S),FiniteAggregate S,ShallowlyMutableAggregate S) Exports == with bubbleSort!: (A,(S,S) -> Boolean) -> A |