Changeset 12730

Show
Ignore:
Timestamp:
26.10.2009 17:16:14 (4 weeks ago)
Author:
maeder
Message:

removed redundant imports

Location:
trunk
Files:
62 modified

Legend:

Unmodified
Added
Removed

  • trunk/CASL/CompositionTable/ModelChecker.hs

    r11620 r12730  
    3030import Data.Maybe 
    3131import Data.List 
    32 import Control.Monad 
    3332 
    3433modelCheck :: SIMPLE_ID -> (Sign () (), [Named (FORMULA ())]) 

  • trunk/CASL/QuickCheck.hs

    r12661 r12730  
    3939import Control.Monad.Error 
    4040import Control.Concurrent 
    41 import Control.Concurrent.MVar 
    42  
    43 import System.IO 
    4441 
    4542import GUI.GenericATP 

  • trunk/CASL_DL/StatAna.hs

    r12405 r12730  
    4545import Common.ConvertLiteral 
    4646import Common.ExtSign 
    47  
    48 import Data.List 
    4947 
    5048instance FreeVars DL_FORMULA where 

  • trunk/CMDL/ConsCommands.hs

    r12530 r12730  
    4040import qualified Common.OrderedMap as OMap 
    4141 
    42 import System.IO(IO) 
    4342import Data.Graph.Inductive.Graph(LNode, LEdge) 
    44 import Data.Char(String) 
    45 import Data.List((++), map, groupBy, find, sortBy, concatMap) 
     43import Data.List (groupBy, find, sortBy) 
    4644 
    4745-- Command that processes the input and applies a 

  • trunk/CMDL/DataTypesUtils.hs

    r12587 r12730  
    4747 
    4848import Data.Graph.Inductive.Graph(LNode, LEdge, Node) 
    49 import Data.List((++), filter, find, null) 
     49import Data.List (find) 
    5050 
    5151import Common.Result(Result(maybeResult, Result)) 

  • trunk/CMDL/DgCommands.hs

    r12626 r12730  
    6464import Common.AS_Annotation 
    6565 
    66 import Control.Monad 
    6766 
    6867import Data.Graph.Inductive.Graph (LEdge) 
    6968import qualified Data.Map as Map 
    7069import qualified Data.Set as Set 
    71 import Data.Maybe 
    7270 
    7371-- | Wraps Result structure around the result of a dg all style command 

  • trunk/CMDL/InfoCommands.hs

    r12639 r12730  
    6262import Data.List 
    6363import qualified Data.Set as Set 
    64 import qualified Data.Map as Map 
    6564 
    6665import Logic.Logic (Sentences(sym_of)) 
    … …  
    7271import Interfaces.Command (cmdNameStr, describeCmd, showCmd) 
    7372import Interfaces.DataTypes 
    74 import Interfaces.Utils (getAllEdges, getAllNodes) 
     73import Interfaces.Utils (getAllEdges) 
    7574 
    7675-- show list of all goals(i.e. prints their name) 

  • trunk/CMDL/ProveCommands.hs

    r12661 r12730  
    4141import Common.Utils(trim) 
    4242 
    43 import Data.List((++), filter, map, find, nub, words, concatMap) 
     43import Data.List (find, nub) 
    4444 
    4545import Comorphisms.LogicGraph(lookupComorphism_in_LG) 
    … …  
    5555import System.Posix.Signals(Handler(Catch), installHandler, sigINT) 
    5656#endif 
    57 import System.IO(IO) 
    5857 
    5958import Interfaces.GenericATPState(ATPTacticScript(tsTimeLimit, tsExtraOpts)) 

  • trunk/CMDL/Shell.hs

    r12661 r12730  
    5151import Data.List 
    5252import System.Directory(doesDirectoryExist, getDirectoryContents) 
    53 import System.IO(IO) 
    5453 
    5554register2history :: CmdlCmdDescription -> CmdlState -> IO CmdlState 

  • trunk/CMDL/UndoRedo.hs

    r12484 r12730  
    1515       , cRedo 
    1616       ) where 
    17  
    18  
    19 import Data.List((++)) 
    20  
    21 import System.IO(IO) 
    2217 
    2318import Interfaces.History(redoOneStep, undoOneStep) 

  • trunk/CMDL/Utils.hs

    r12525 r12730  
    3939import Data.List 
    4040import Data.Maybe 
    41 import Data.Char(Char, String, isDigit, isSpace) 
     41import Data.Char (isDigit, isSpace) 
    4242import Data.Graph.Inductive.Graph(LNode, LEdge) 
    4343 

  • trunk/Common/ProverTools.hs

    r11854 r12730  
    1717import Common.Utils 
    1818 
    19 import System.IO 
    2019import System.Directory 
    21 import Data.List 
    2220import System.IO.Unsafe 
    2321 

  • trunk/Comorphisms/CASL2PCFOL.hs

    r12721 r12730  
    1818import Logic.Comorphism 
    1919 
    20 import Data.List 
    2120import qualified Data.Set as Set 
    2221 

  • trunk/Comorphisms/CASL_DL2CASL.hs

    r12398 r12730  
    3232import CASL_DL.PredefinedSign 
    3333import CASL_DL.StatAna -- DLSign 
    34 import CASL_DL.PredefinedSign 
    3534import CASL_DL.Sublogics 
    3635 
    … …  
    4241import CASL.Sublogic as Sublogic 
    4342 
    44 import Data.List 
    4543import qualified Data.Set as Set 
    4644 

  • trunk/Comorphisms/CoCASL2CoPCFOL.hs

    r11695 r12730  
    2828import CASL.Sign 
    2929import CASL.Morphism 
    30 import CASL.Sublogic 
    3130import CASL.Inject 
    3231import CASL.Project 

  • trunk/Comorphisms/CoCASL2CoSubCFOL.hs

    r11695 r12730  
    2626import CASL.Sign 
    2727import CASL.Morphism 
    28 import CASL.Sublogic 
    2928import CASL.Fold 
    3029import CASL.Simplify 

  • trunk/Comorphisms/Haskell2IsabelleHOLCF.hs

    r10552 r12730  
    2727import Isabelle.IsaSign as IsaSign 
    2828import Isabelle.Logic_Isabelle 
    29  
    30 -- Programatica 
    31 import PNT 
    32 import TiPropDecorate 
    3329 
    3430-- * Comorphisms 

  • trunk/Comorphisms/Hs2HOLCF.hs

    r12314 r12730  
    3030 
    3131import TiTypes 
    32 import TiKinds 
    3332 
    3433import PNT 
    3534import UniqueNames 
    3635 
    37 import SyntaxRec 
    3836import TiPropDecorate 
    3937import PropSyntaxStruct 

  • trunk/Comorphisms/Hs2HOLCFaux.hs

    r12314 r12730  
    8888import SourceNames 
    8989import TiTypes 
    90 import TiKinds 
    9190import TiInstanceDB 
    9291 
    … …  
    9594import UniqueNames 
    9695 
    97 import SyntaxRec 
    9896import TiPropDecorate 
    9997import PropSyntaxStruct as HsName 

  • trunk/Comorphisms/LogicGraph.hs

    r12684 r12730  
    4646    ) where 
    4747 
    48 import Data.Maybe 
    4948import Data.List 
    5049import qualified Data.Map as Map 

  • trunk/Comorphisms/OWL2CASL.hs

    r11988 r12730  
    3030import OWL.Sublogic 
    3131import OWL.Morphism 
    32 import OWL.AS 
    3332import qualified OWL.Sign as OS 
    3433--CASL_DL = codomain 

  • trunk/CspCASL/StatAnaCSP.hs

    r12398 r12730  
    2020import qualified Control.Monad as Monad 
    2121import qualified Data.Map as Map 
    22 import qualified Data.Maybe as Maybe 
    2322import qualified Data.Set as S 
    2423import CASL.AS_Basic_CASL (FORMULA(..), OpKind(..), SORT, TERM(..), VAR, 

  • trunk/Driver/Options.hs

    r12707 r12730  
    5454import System.Directory 
    5555import System.Console.GetOpt 
    56 import System.IO.Error 
    5756import System.Exit 
    5857 

  • trunk/GUI/AbstractGraphView.hs

    r11649 r12730  
    5656import GUI.UDGUtils 
    5757import qualified UDrawGraph.Types as DVT 
    58 import Util.Computation 
    5958 
    6059import ATC.DevGraph() 

  • trunk/GUI/GraphAbstraction.hs

    r12462 r12730  
    4242import GUI.Utils (pulseBar) 
    4343import qualified UDrawGraph.Types as DVT 
    44 import qualified UDrawGraph.Basic as DVB 
    4544import Events.Destructible as Destructible 
    4645import Reactor.BSem 
    … …  
    5352import qualified Data.Map as Map 
    5453import Data.Graph.Inductive.Graph (LEdge) 
    55 import qualified Data.Graph.Inductive.Graph as Graph 
    5654import Data.Maybe (isNothing) 
    5755 

  • trunk/GUI/GraphLogic.hs

    r12717 r12730  
    8383import Data.Char(toLower) 
    8484import Data.List(partition, delete, isPrefixOf) 
    85 import Data.Maybe 
    8685import Data.Graph.Inductive.Graph (Node, LEdge, LNode) 
    8786import qualified Data.Map as Map 

  • trunk/HasCASL/ConvertTypePattern.hs

    r9214 r12730  
    1717    , convertTypePattern 
    1818    ) where 
    19  
    20 import Data.Maybe 
    2119 
    2220import Common.Lexer 

  • trunk/HasCASL/Merge.hs

    r11351 r12730  
    3737 
    3838import Control.Monad(foldM) 
    39 import Data.List 
    4039 
    4140mergeTypeInfo :: ClassMap -> TypeInfo -> TypeInfo -> Result TypeInfo 

  • trunk/HasCASL/OpDecl.hs

    r12103 r12730  
    2525 
    2626import Common.Id 
    27 import Common.AS_Annotation 
    2827import Common.Lib.State as State 
    2928import Common.Result 

  • trunk/HasCASL/ParseTerm.hs

    r12725 r12730  
    2424 
    2525import Text.ParserCombinators.Parsec 
    26  
    27 import Control.Monad 
    2826 
    2927import Data.List ((\\)) 

  • trunk/HasCASL/TypeAna.hs

    r12549 r12730  
    2727import Common.Lib.State 
    2828import Data.List as List 
    29 import Data.Maybe 
    3029import Control.Monad 
    3130 

  • trunk/HasCASL/TypeCheck.hs

    r12551 r12730  
    4848import Common.Lib.State 
    4949 
    50 import Data.List as List 
    5150import Data.Maybe (catMaybes) 
    5251import Control.Monad (when, unless) 

  • trunk/Interfaces/GenericATPState.hs

    r12661 r12730  
    2929import Common.Utils 
    3030 
    31 import Data.List 
    3231import Data.Maybe (fromMaybe) 
    3332import Data.Time (TimeOfDay, midnight) 

  • trunk/Interfaces/History.hs

    r12493 r12730  
    3131 
    3232import qualified Data.Map as Map 
    33 import Data.List 
    3433 
    3534-- | Datatype used to differentiate between the two actions (so that code does 

  • trunk/Logic/Morphism.hs

    r12526 r12730  
    2828import Logic.Comorphism 
    2929import qualified Data.Set as Set 
    30 import Data.Maybe 
    3130import Data.Typeable 
    3231import ATerm.Lib -- (ShATermConvertible) 

  • trunk/Maude/Language.hs

    r12355 r12730  
    2828) where 
    2929 
    30 import Text.ParserCombinators.Parsec (ParseError, CharParser) 
    31 import Text.ParserCombinators.Parsec.Prim ((<|>)) 
    32 import Text.ParserCombinators.Parsec.Char 
    33 import Text.ParserCombinators.Parsec.Combinator 
     30import Text.ParserCombinators.Parsec hiding (parseFromFile, parse) 
    3431import qualified Text.ParserCombinators.Parsec.Token as Token 
    3532import qualified Text.ParserCombinators.Parsec.Language as Language 

  • trunk/Maude/Logic_Maude.hs

    r12681 r12730  
    2323import Maude.Morphism (Morphism) 
    2424import qualified Maude.Symbol   as Symbol 
    25 import qualified Maude.Sentence as Sentence 
    2625import qualified Maude.Sign     as Sign 
    2726import qualified Maude.Morphism as Morphism 
    … …  
    3534import Common.ExtSign 
    3635import System.IO.Unsafe 
    37  
    38 import Data.Maybe 
    39  
    4036 
    4137-- | Lid for Maude 

  • trunk/Maude/Morphism.hs

    r12653 r12730  
    5454import Maude.Sentence (Sentence) 
    5555import qualified Maude.Sign as Sign 
    56 import qualified Maude.Sentence as Sen 
    5756 
    5857import Data.List (partition) 
    … …  
    6261 
    6362import Common.Result (Result) 
    64 import qualified Common.Result as Result 
    6563 
    6664import Common.Doc hiding (empty) 
    … …  
    8987instance Pretty Morphism where 
    9088    pretty mor = let 
    91         pr'pair txt left right = hsep  
     89        pr'pair txt left right = hsep 
    9290            [txt, pretty left, text "to", pretty right] 
    9391        pr'ops src tgt = pr'pair (text "op") src (getName tgt) 
    … …  
    168166    ren'sort = mapOpMap $ uncurry renameSortOpMap syms 
    169167    add'labl = mapLabelMap $ uncurry Map.insert syms 
    170     use'labl = if apply  
     168    use'labl = if apply 
    171169        then mapTarget $ uncurry Sign.renameLabel syms 
    172170        else id 

  • trunk/Maude/Symbol.hs

    r12361 r12730  
    4242import Common.Lib.Rel (Rel) 
    4343import qualified Data.Set as Set 
    44 import qualified Data.Map as Map 
    4544import qualified Common.Lib.Rel as Rel 
    4645 

  • trunk/OMDoc/Export.hs

    r12493 r12730  
    3232 
    3333import Data.Graph.Inductive.Graph 
    34 import Data.List 
    3534import Data.Maybe 
    3635 

  • trunk/OWL/Conservativity.hs

    r12527 r12730  
    2020 
    2121import Control.Concurrent 
    22 import Control.Concurrent.MVar 
    2322import Data.Time.Clock (UTCTime(..), getCurrentTime) 
    2423 

  • trunk/OWL/ProvePellet.hs

    r12661 r12730  
    5050import Control.Monad (when) 
    5151import Control.Concurrent 
    52 import Control.Concurrent.MVar 
    5352 
    5453data PelletProverState = PelletProverState 

  • trunk/PGIP/XMLparsing.hs

    r12657 r12730  
    4141 
    4242import Data.List (isInfixOf) 
    43 import Control.Monad 
    4443 
    4544-- | Generates the XML packet that contains information about what 

  • trunk/Proofs/Composition.hs

    r12527 r12730  
    3333import qualified Data.Map as Map 
    3434import Data.Graph.Inductive.Graph 
    35 import Data.List 
    3635 
    3736compositionCreatingEdgesFromList :: LibName -> [LEdge DGLinkLab] -> LibEnv 

  • trunk/Proofs/Global.hs

    r12677 r12730  
    2323import Data.Graph.Inductive.Graph 
    2424import qualified Data.Map as Map 
    25 import Data.List 
    2625 
    2726import Static.GTheory 

  • trunk/Proofs/HideTheoremShift.hs

    r12527 r12730  
    4242import qualified Data.Map as Map 
    4343import Data.Graph.Inductive.Graph 
    44 import Data.List 
    4544 
    4645type ListSelector m a = [a] -> m (Maybe a) 

  • trunk/Proofs/Local.hs

    r12604 r12730  
    4545import qualified Data.Map as Map 
    4646import Data.Graph.Inductive.Graph 
    47 import Data.List 
    4847 
    4948-- | local decomposition 

  • trunk/Proofs/SimpleTheoremHideShift.hs

    r12493 r12730  
    3939import qualified Data.Map as Map 
    4040import Data.Graph.Inductive.Graph 
    41 import Data.List 
    4241 
    4342-- | rule name 

  • trunk/Propositional/Analysis.hs

    r12726 r12730  
    2626    where 
    2727 
    28 import qualified Propositional.AS_BASIC_Propositional as AS_BASIC 
    29 import Propositional.Sign as Sign 
    30 import qualified Common.GlobalAnnotations as GlobalAnnos 
    31 import qualified Common.AS_Annotation as AS_Anno 
    32 import qualified Common.Result as Result 
    33 import qualified Common.Id as Id 
    34 import qualified Data.List as List 
    35 import qualified Data.Set as Set 
    36 import qualified Data.Map as Map 
    37 import qualified Propositional.Symbol as Symbol 
    38 import qualified Propositional.Morphism as Morphism 
    39 import Common.Doc () 
    40 import Common.DocUtils 
    4128import Common.ExtSign 
    4229import Common.Lib.Graph 
     30import Common.SetColimit 
    4331import Data.Graph.Inductive.Graph 
    44 import Common.SetColimit 
     32import Propositional.Sign as Sign 
     33import qualified Common.AS_Annotation as AS_Anno 
     34import qualified Common.GlobalAnnotations as GlobalAnnos 
     35import qualified Common.Id as Id 
     36import qualified Common.Result as Result 
     37import qualified Data.List as List 
     38import qualified Data.Map as Map 
     39import qualified Data.Set as Set 
     40import qualified Propositional.AS_BASIC_Propositional as AS_BASIC 
     41import qualified Propositional.Morphism as Morphism 
     42import qualified Propositional.Symbol as Symbol 
    4543 
    4644-- | Datatype for formulas with diagnosis data 

  • trunk/Propositional/Conservativity.hs

    r12527 r12730  
    2626import System.Exit 
    2727import System.IO.Unsafe 
    28 import Control.Monad 
    2928import qualified Data.Map as Map 
    30 import Common.Id 
    3129import System.Cmd 
    3230import System.Directory 

  • trunk/Propositional/Parse_AS_Basic.hs

    r12725 r12730  
    3333import Propositional.AS_BASIC_Propositional as AS_BASIC 
    3434import Text.ParserCombinators.Parsec 
    35  
    36 import Control.Monad 
    3735 
    3836propKeywords :: [String] 

  • trunk/Propositional/Prove.hs

    r12662 r12730  
    4848import qualified Control.Concurrent as Concurrent 
    4949import qualified Common.Exception as Exception 
    50 import Data.Char 
    5150import Data.List 
    5251import Data.Maybe 

  • trunk/Propositional/ProveMinisat.hs

    r12661 r12730  
    4343import Control.Monad (when) 
    4444import qualified Control.Concurrent as Concurrent 
    45 import Data.Char 
    46 import Data.List 
    47 import Data.Maybe 
    4845import Data.Time (timeToTimeOfDay) 
    4946import System.Directory 
    … …  
    5552 
    5653import Control.Concurrent 
    57 import Control.Concurrent.MVar 
    5854 
    5955-- * Prover implementation 

  • trunk/Propositional/ProveWithTruthTable.hs

    r12661 r12730  
    4444import qualified Common.Id as Id 
    4545 
    46 import Data.Char 
    47 import Data.List 
    48 import Data.Maybe 
    4946import qualified Data.Set as Set 
    5047import qualified Common.OrderedMap as OMap 
    51 import System.IO 
    5248import System.IO.Unsafe 
    5349 

  • trunk/RelationalScheme/StaticAnalysis.hs

    r11854 r12730  
    2020import RelationalScheme.AS 
    2121import RelationalScheme.Sign 
     22 
     23import Common.AS_Annotation 
    2224import Common.ExtSign 
    2325import Common.GlobalAnnotations 
     26import Common.Id 
    2427import Common.Result 
    25 import Common.AS_Annotation 
     28 
     29import Control.Monad 
     30 
     31import Data.Maybe 
    2632import qualified Data.Set as Set 
    27 import Common.Id 
    28 import Control.Monad 
    29 import Data.Maybe 
    30 import Data.List 
    3133 
    3234basic_Rel_analysis :: (RSScheme, Sign,GlobalAnnos) -> 

  • trunk/SoftFOL/MathServMapping.hs

    r12661 r12730  
    2323import SoftFOL.MathServParsing 
    2424import SoftFOL.Sign 
    25  
    26 import Data.Maybe 
    2725 
    2826import Interfaces.GenericATPState 

  • trunk/SoftFOL/PrintTPTP.hs

    r11954 r12730  
    1616 
    1717module SoftFOL.PrintTPTP where 
    18  
    19 import Data.Maybe 
    2018 
    2119import Common.AS_Annotation 

  • trunk/SoftFOL/ProverState.hs

    r12661 r12730  
    3030 
    3131import qualified Common.Exception as Exception 
    32  
    33 import Data.Maybe 
    3432 
    3533import Interfaces.GenericATPState 

  • trunk/Static/ToXml.hs

    r12493 r12730  
    3636import qualified Data.Map as Map 
    3737import qualified Data.Set as Set 
    38 import Data.List 
    3938 
    4039dGraph :: LibEnv -> DGraph -> Element 

  • trunk/Taxonomy/MMiSSOntology.hs

    r8473 r12730  
    6969    ) where 
    7070 
    71 import Control.Monad.Error 
     71import Control.Monad.Error () 
    7272import Data.List 
    7373import Data.Char (toLower) 

  • trunk/Taxonomy/MMiSSOntologyGraph.hs

    r11173 r12730  
    1616import Control.Monad 
    1717import Data.IORef 
    18 import Data.Char 
    1918 
    2019import GUI.UDGUtils 

  • trunk/VSE/Ana.hs

    r11990 r12730  
    4545import Data.Char (toLower) 
    4646import Data.List 
    47 import Data.Maybe 
    4847import qualified Data.Map as Map 
    4948import qualified Data.Set as Set