Changeset 12727

Timestamp:

26.10.2009 16:33:07 (4 weeks ago)

Author:

maeder

Message:

removed unused imports

Location:

trunk

Files:

• CASL/Monoton.hs (modified) (1 diff)
• CASL/Parse_AS_Basic.hs (modified) (1 diff)
• Common/OrderedMap.hs (modified) (1 diff)
• Common/SetColimit.hs (modified) (1 diff)
• CspCASL/LocalTop.hs (modified) (1 diff)
• DFOL/Analysis_DFOL.hs (modified) (1 diff)
• DFOL/Sign.hs (modified) (1 diff)
• OWL/Sublogic.hs (modified) (1 diff)
• OWL/Taxonomy.hs (modified) (2 diffs)
• RelationalScheme/Sign.hs (modified) (1 diff)

trunk/CASL/Monoton.hs

@@ -20 +20 @@
 import Common.AS_Annotation
 import Common.Utils
-import Data.List
 
 -- CASL

trunk/CASL/Parse_AS_Basic.hs

@@ -34 +34 @@
 
 import Text.ParserCombinators.Parsec
-
-import Control.Monad
 
 -- * signature items

trunk/Common/OrderedMap.hs

@@ -37 +37 @@
 import qualified Data.List as List
 import Data.Maybe
-import Control.Monad
 
 infix 9 \\ -- add a comment for cpp

trunk/Common/SetColimit.hs

@@ -27 +27 @@
 import qualified Data.Map as Map
 import qualified Data.Set as Set
-import Data.List
 import CASL.Overload(leqClasses)
 import Common.Id

trunk/CspCASL/LocalTop.hs

@@ -20 +20 @@
 
 import qualified Data.Set as S
-import Data.List
 import Data.Maybe
 

trunk/DFOL/Analysis_DFOL.hs

@@ -21 +21 @@
 import DFOL.Sign
 import DFOL.Symbol
+
 import Common.DocUtils
 import Common.ExtSign
 import Common.GlobalAnnotations
 import Common.Id
-import Data.Maybe
 import qualified Common.Result as Result
 import qualified Common.AS_Annotation as Anno
+
 import qualified Data.Set as Set
 import qualified Data.Map as Map

trunk/DFOL/Sign.hs

@@ -42 +42 @@
 import DFOL.Utils
 import DFOL.AS_DFOL
+
 import Common.Id
 import Common.Doc
 import Common.DocUtils
-import Data.List
-import Data.Maybe
 import qualified Common.Result as Result
+
 import qualified Data.Set as Set
 import qualified Data.Map as Map

trunk/OWL/Sublogic.hs

@@ -34 +34 @@
 import OWL.Morphism
 import OWL.Sign
-import qualified Data.Set as Set
 
 import qualified Data.Set as Set

trunk/OWL/Taxonomy.hs

@@ -34 +34 @@
 import Data.Time.Clock (UTCTime(..), getCurrentTime)
 
-import qualified Control.Concurrent as Concurrent
+import Control.Concurrent
 
 import System.Exit
@@ -40 +40 @@
 import System.Process
 import System.Directory
-
-import Control.Concurrent
-import Control.Concurrent.MVar
 
 import qualified Data.Foldable as Fold

trunk/RelationalScheme/Sign.hs

@@ -34 +34 @@
         where
 
-import Common.Id
+import RelationalScheme.Keywords
+
 import Common.AS_Annotation
 import Common.Doc
 import Common.DocUtils
-import RelationalScheme.Keywords
-import qualified Data.Set as Set
-import qualified Data.Map as Map
+import Common.Id
 import Common.Result
 import Common.Utils
-import Control.Monad
+
+import qualified Data.Map as Map
+import qualified Data.Set as Set
 
 type RSIsKey = Bool