From c25dfacda02a40b2055328ba5898086c043e5427 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Thu, 25 Aug 2011 12:35:16 +0000
Subject: 	* interp/define.boot ($mutableDomain): Remove.  Adjust users. 
 ($mutableDomains): Likewise. 	* interp/database.boot (dbMutable?): Remove. 
 * interp/clam.boot (addToclam): Remove as unused. 	*
 algebra/modmon.spad.pamphlet: Do not make MoMonic mutable. 	*
 algebra/defaults.spad.pamphlet: Do not make RepeatedSquaring and 
 RepeatedDoubling, FiniteLinearAggregateSort mutable.

---
 src/algebra/defaults.spad.pamphlet | 16 ----------------
 src/algebra/modmon.spad.pamphlet   |  2 --
 2 files changed, 18 deletions(-)

(limited to 'src/algebra')

diff --git a/src/algebra/defaults.spad.pamphlet b/src/algebra/defaults.spad.pamphlet
index e5e47e40..fd88008b 100644
--- a/src/algebra/defaults.spad.pamphlet
+++ b/src/algebra/defaults.spad.pamphlet
@@ -16,11 +16,6 @@
 ++ Description:
 ++ Implements exponentiation by repeated squaring
 ++ RelatedOperations: expt
--- the following package is only instantiated over %
--- thus shouldn't be cached. We prevent it
--- from being cached by declaring it to be mutableDomains
-
-)bo PUSH('RepeatedSquaring, $mutableDomains) 
 
 RepeatedSquaring(S): Exports == Implementation where
    S: SetCategory with 
@@ -46,12 +41,6 @@ RepeatedSquaring(S): Exports == Implementation where
 ++ Description:
 ++ Implements multiplication by repeated addition
 ++ RelatedOperations: *
- 
--- the following package is only instantiated over %
--- thus shouldn't be cached. We prevent it
--- from being cached by declaring it to be mutableDomains
-
-)bo PUSH('RepeatedDoubling, $mutableDomains) 
 
 RepeatedDoubling(S):Exports ==Implementation where
    S: SetCategory with 
@@ -80,11 +69,6 @@ RepeatedDoubling(S):Exports ==Implementation where
 ++ Description:
 ++  This package exports 3 sorting algorithms which work over 
 ++  FiniteLinearAggregates.
--- the following package is only instantiated over %
--- thus shouldn't be cached. We prevent it
--- from being cached by declaring it to be mutableDomains
- 
-)bo PUSH('FiniteLinearAggregateSort, $mutableDomains) 
 
 FiniteLinearAggregateSort(S, V): Exports == Implementation where
   S: Type
diff --git a/src/algebra/modmon.spad.pamphlet b/src/algebra/modmon.spad.pamphlet
index 94872e38..be0e86e3 100644
--- a/src/algebra/modmon.spad.pamphlet
+++ b/src/algebra/modmon.spad.pamphlet
@@ -14,8 +14,6 @@
 )abbrev domain MODMON ModMonic
 ++ Description:
 ++ This package \undocumented
--- following line prevents caching ModMonic
-)bo PUSH('ModMonic, $mutableDomains)
  
 ModMonic(R,Rep): C == T
  where
-- 
cgit v1.2.3