PropLogic 0.9 → 0.9.0.1

raw patch · 8 files changed

+14/−14 lines, 8 filesdep +old-timedep +randomdep −haskell98

Dependencies added: old-time, random

Dependencies removed: haskell98

Files

Costack.hs +1/−1
DefaultPropLogic.hs +1/−1
FastPropLogic.hs +1/−1
Main.hs +1/−1
PropLogic.cabal +2/−2
PropLogicCore.hs +1/−1
PropLogicTest.hs +5/−5
TextDisplay.hs +2/−2

Costack.hs view

@@ -11,7 +11,7 @@   Costack.sort, Costack.strictSort, Costack.sorted, Costack.strictSorted, ) where --------------------------------------------------------------------------------------------------------------- -  import qualified List as L+  import qualified Data.List as L    data Costack a = COSTACK [a]     deriving (Show, Read, Eq)

DefaultPropLogic.hs view

@@ -901,7 +901,7 @@  -- import -  import qualified List        as L+  import qualified Data.List   as L   import qualified Olist       as O   import qualified TextDisplay as D   import PropLogicCore

FastPropLogic.hs view

@@ -268,7 +268,7 @@  -- import -  import qualified List        as L+  import qualified Data.List   as L   import qualified TextDisplay as D   import qualified Olist       as O   import qualified Costack     as C

Main.hs view

@@ -8,7 +8,7 @@  -- imports -  import System (getArgs)+  import System.Environment (getArgs)   import qualified TextDisplay as D   import qualified Costack as C   import PropLogic

PropLogic.cabal view

@@ -1,5 +1,5 @@ Name:           PropLogic-Version:        0.9+Version:        0.9.0.1 Cabal-Version:  >= 1.2 Build-type:     Simple License:        BSD3@@ -21,7 +21,7 @@   other-modules:     TextDisplay, Costack   build-depends:-    base < 5, haskell98+    base < 5, old-time, random   extensions:     TypeSynonymInstances, FlexibleInstances, MultiParamTypeClasses

PropLogicCore.hs view

@@ -97,7 +97,7 @@  -- imports -  import qualified List        as L+  import qualified Data.List   as L   import qualified TextDisplay as D   import qualified Olist       as O

PropLogicTest.hs view

@@ -244,12 +244,12 @@  ) where --------------------------------------------------------------------------------------------------------------- -  import Char (chr)-  import Ratio-  import Random (randomIO, randomRIO)+  import Data.Char (chr)+  import Data.Ratio+  import System.Random (randomIO, randomRIO)   import Control.Monad-  import CPUTime (getCPUTime)-  import qualified Time  as T+  import System.CPUTime (getCPUTime)+  import qualified System.Time  as T   import qualified Olist as O   import qualified TextDisplay as D   import qualified Costack as C

TextDisplay.hs view

@@ -157,8 +157,8 @@  -- import -  import qualified Char as Ch-  import qualified List as L+  import qualified Data.Char as Ch+  import qualified Data.List as L  -- basic definitions and basic functions