Fixup Hackage benchmarks.
authorDavid Terei <davidterei@gmail.com>
Tue, 17 Jan 2012 08:34:43 +0000 (00:34 -0800)
committerDavid Terei <davidterei@gmail.com>
Tue, 17 Jan 2012 08:34:43 +0000 (00:34 -0800)
33 files changed:
fibon/Hackage/Cpsa/src/CPSA/Lib/Main.hs
fibon/Hackage/Cpsa/src/CPSA/Lib/Protocol.hs
fibon/Hackage/Cpsa/src/CPSA/Lib/Strand.hs
fibon/Hackage/Crypto/Codec/Encryption/AES.hs
fibon/Hackage/Funsat/fgl/Data/Graph/Inductive/Internal/FiniteMap.hs
fibon/Hackage/Funsat/syb/src/Data/Generics.hs
fibon/Hackage/Funsat/syb/src/Data/Generics/Instances.hs
fibon/Hackage/Gf/src/compiler/GF/Text/Coding.hs
fibon/Hackage/Gf/src/runtime/haskell/PGF/Expr.hs
fibon/Hackage/Happy/src/Lexer.lhs
fibon/Hackage/Hgalib/Chromosome/ANN.hs
fibon/Hackage/Hgalib/Chromosome/Bits.hs
fibon/Hackage/Hgalib/Chromosome/GP.hs
fibon/Hackage/Hgalib/GA.hs
fibon/Hackage/Hgalib/Hgalib.stdout
fibon/Hackage/Hgalib/Makefile
fibon/Hackage/Hgalib/Population/Array.hs
fibon/Hackage/Hgalib/Population/List.hs
fibon/Hackage/Hgalib/examples/ANNTest.hs
fibon/Hackage/Hgalib/examples/BitTest.hs
fibon/Hackage/Hgalib/examples/GPTest.hs
fibon/Hackage/Pappy/Makefile
fibon/Hackage/Pappy/java-parser/JavaMonad.hs
fibon/Hackage/Pappy/src/Parse.hs
fibon/Hackage/QuickCheck/Test/QuickCheck/Text.hs
fibon/Hackage/Simgi/Makefile
fibon/Hackage/Simgi/Simgi.stdout
fibon/Hackage/Simgi/src/CommandLine.hs
fibon/Hackage/Simgi/src/Engine.hs
fibon/Hackage/Simgi/src/simgi.hs
fibon/Hackage/Xsact/src/Cluster.lhs
fibon/Hackage/Xsact/src/Pairs.lhs
fibon/Hackage/Xsact/src/Stats.hs

index 6f9c607..ad6807e 100644 (file)
@@ -277,7 +277,7 @@ wrt p h sexpr =
     writeLnSEexpr h (margin p) sexpr
 
 -- A labeled and linked preskeleton
-data Algebra t p g s e c => LPreskel t p g s e c
+data LPreskel t p g s e c
     = LPreskel { content :: Preskel t p g s e c,
                  label :: Int,
                  parent :: Maybe (LPreskel t p g s e c) }
@@ -298,7 +298,7 @@ wasSeen g (g', _) = g == g'
 
 -- A seen history as a list.
 
-newtype Algebra t p g s e c => Seen t p g s e c = Seen [IPreskel t p g s e c]
+newtype Seen t p g s e c = Seen [IPreskel t p g s e c]
 
 -- Create a singleton seen history
 hist :: Algebra t p g s e c => IPreskel t p g s e c -> Seen t p g s e c
@@ -326,7 +326,7 @@ merge (Seen xs) (Seen ys) = Seen (xs ++ ys)
 -- Contains the result of applying the cohort reduction rule.  The
 -- last position is used to hold the reverse of the labels of the
 -- seen children
-data Algebra t p g s e c => Reduct t p g s e c  =
+data Reduct t p g s e c  =
     Reduct !(LPreskel t p g s e c) !Int !Bool ![Preskel t p g s e c] ![Int]
 
 seqList :: [a] -> [a]
index 5febad0..4488bbd 100644 (file)
@@ -35,7 +35,7 @@ addVars ts t = foldVars (flip adjoin) ts t
 
 -- Message events and traces
 
-data Algebra t p g s e c => Event t p g s e c
+data Event t p g s e c
     = In !t                      -- Inbound message
     | Out !t                     -- Outbound messasge
       deriving (Show, Eq, Ord)
@@ -149,7 +149,7 @@ comb f g x =
     S.fold h S.empty (g x)
     where h a s = S.union (f a) s
 
-data Algebra t p g s e c => Role t p g s e c = Role
+data Role t p g s e c = Role
     { rname :: !String,
       rvars :: ![t],            -- Set of role variables
                                 -- Events in causal order
@@ -207,7 +207,7 @@ mkRole name vars trace non unique comment =
 
 -- Protocols
 
-data Algebra t p g s e c => Prot t p g s e c
+data Prot t p g s e c
     = Prot { pname :: !String,  -- Name of the protocol
              alg :: !String,    -- Name of the algebra
              pgen :: !g,        -- Initial variable generator
@@ -221,3 +221,4 @@ mkProt :: Algebra t p g s e c => String -> String ->
 mkProt name alg gen roles comment =
     Prot { pname = name, alg = alg, pgen = gen,
            roles = roles, pcomment = comment }
+
index cc2e610..2a202d6 100644 (file)
@@ -83,7 +83,7 @@ useCheckVars = False
 
 type Sid = Int                  -- Strand Identifier
 
-data Algebra t p g s e c => Instance t p g s e c = Instance
+data Instance t p g s e c = Instance
     { role :: Role t p g s e c, -- Role from which this was
                                 -- instantiated
 
@@ -316,7 +316,7 @@ graphClose orderings =
 
 -- Preskeltons
 
-data Algebra t p g s e c => Preskel t p g s e c = Preskel
+data Preskel t p g s e c = Preskel
     { gen :: !g,
       protocol :: Prot t p g s e c,
       insts :: ![Instance t p g s e c],
@@ -356,13 +356,13 @@ type Edge t p g s e c
 -- Data structure for tracking the causes for the creation of
 -- preskeletons.
 
-data Algebra t p g s e c => Cause t p g s e c
+data Cause t p g s e c
     = Cause Direction Node t (Set t)
     deriving Show
 
 data Direction = Encryption | Nonce deriving Show
 
-data Algebra t p g s e c => Method t p g s e c
+data Method t p g s e c
     = Deleted Node
     | Weakened Pair
     | Separated t
@@ -372,7 +372,7 @@ data Algebra t p g s e c => Method t p g s e c
 -- the loader, a contraction, a regular augmentation, a listener
 -- augmentation, or a mininization.  The augmentation includes a role
 -- name and instance height.
-data Algebra t p g s e c => Operation t p g s e c
+data Operation t p g s e c
     = New
     | Contracted s (Cause t p g s e c)
     | Displaced Int Int String Int (Cause t p g s e c)
@@ -620,7 +620,7 @@ roleOrigCheck k =
 -- frequently, so an specialized data structure is used.  The gist of
 -- a skeleton is all that is needed for the test for equivalence.
 
-data Algebra t p g s e c => Gist t p g s e c = Gist
+data Gist t p g s e c = Gist
     { ggen :: g,
       gtraces :: [(Int, Trace t p g s e c)],
       gorderings :: [Pair],
index 2897968..9ff5b71 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE TypeSynonymInstances #-}
+{-# LANGUAGE TypeSynonymInstances, FlexibleInstances #-}
 -----------------------------------------------------------------------------
 -- |
 -- Module      :  Codec.Encryption.AES
index f5f55b8..b31f4f2 100644 (file)
@@ -19,7 +19,7 @@ module Data.Graph.Inductive.Internal.FiniteMap(
 
 import Data.Maybe (isJust)              
 
-data Ord a => FiniteMap a b =
+data FiniteMap a b =
     Empty | Node Int (FiniteMap a b) (a,b) (FiniteMap a b)
     deriving (Eq)
 
index 02129e7..25a217d 100644 (file)
@@ -29,27 +29,10 @@ module Data.Generics (
   module Data.Generics.Text,      -- generic read and show
   module Data.Generics.Twins,     -- twin traversal, e.g., generic eq
   module Data.Generics.Builders,  -- term builders
-
-#ifdef __GLASGOW_HASKELL__
-#ifndef __HADDOCK__
-        -- Data types for the sum-of-products type encoding;
-        -- included for backwards compatibility; maybe obsolete.
-        (:*:)(..), (:+:)(..), Unit(..)
-#endif
-#endif
-
  ) where
 
 ------------------------------------------------------------------------------
 
-#ifdef __GLASGOW_HASKELL__
-#ifndef __HADDOCK__
-        -- Data types for the sum-of-products type encoding;
-        -- included for backwards compatibility; maybe obsolete.
-import GHC.Base ( (:*:)(..), (:+:)(..), Unit(..) )
-#endif
-#endif
-
 import Data.Data
 import Data.Generics.Instances ()
 import Data.Generics.Aliases
index 742c003..e967fad 100644 (file)
@@ -1,4 +1,4 @@
-{-# OPTIONS_GHC -cpp                  #-}
+{-# LANGUAGE CPP, StandaloneDeriving #-}
 
 -----------------------------------------------------------------------------
 -- |
index a206bb4..b14d2aa 100644 (file)
@@ -23,7 +23,7 @@ encodeUnicode enc s =
   where
     translate cod cbuf
       | i < w     = do bbuf <- newByteBuffer 128 WriteBuffer
-                       (cbuf,bbuf) <- cod cbuf bbuf
+                       (_, cbuf,bbuf) <- cod cbuf bbuf
                        if isEmptyBuffer bbuf
                          then ioe_invalidCharacter
                          else do let bs = PS (bufRaw bbuf) (bufL bbuf) (bufR bbuf-bufL bbuf)
@@ -46,7 +46,7 @@ decodeUnicode enc (PS fptr l len) =
                                             return s
   where
     translate cod bbuf cbuf
-      | i < w     = do (bbuf,cbuf) <- cod bbuf cbuf
+      | i < w     = do (_, bbuf,cbuf) <- cod bbuf cbuf
                        if isEmptyBuffer cbuf
                          then ioe_invalidCharacter
                          else unpack cod bbuf cbuf
index 25d04a6..0943aa1 100644 (file)
@@ -23,8 +23,8 @@ import PGF.Type
 \r
 import Data.Char\r
 import Data.Maybe\r
-import Data.List as List\r
-import Data.Map as Map hiding (showTree)\r
+import Data.List as List hiding (foldl', foldl, foldr)\r
+import Data.Map as Map hiding (showTree, foldl, foldr)\r
 import Control.Monad\r
 import qualified Text.PrettyPrint as PP\r
 import qualified Text.ParserCombinators.ReadP as RP\r
index cd55bcd..cd926d3 100644 (file)
@@ -174,7 +174,7 @@ followed by a special identifier.
 This has to match for @}@ that are {\em not} in strings.  The code
 here is a bit tricky, but should work in most cases.
 
-> lexReadCode :: Num a
+> lexReadCode :: (Num a, Eq a)
 >             => String -> a -> String -> (Token -> P b) -> Int
 >             -> ParseResult b
 > lexReadCode s n c = case s of
index 8e8a4ea..cadd15e 100644 (file)
@@ -16,8 +16,8 @@ where
 
 import GA
 import Control.Monad.State.Strict
-import List
-import Random
+import Data.List
+import System.Random
 
 -- |An Artificial Neural Network
 type ANN = [Layer]
index 2998108..c6321e1 100644 (file)
@@ -8,8 +8,8 @@ module Chromosome.Bits (mutateBits,
                         config)
 where
 
-import List
-import Random
+import Data.List
+import System.Random
 import Control.Monad.State.Strict
 import GA
 
@@ -50,4 +50,4 @@ mutateBit r b = do
 bits2int :: [Bool] -> Int
 bits2int bs =
     sum [ x | (x, b) <- zip _2pwrs bs, b ]
-    where _2pwrs = 1 : map (*2) _2pwrs
\ No newline at end of file
+    where _2pwrs = 1 : map (*2) _2pwrs
index d23d590..317714d 100644 (file)
@@ -10,10 +10,10 @@ module Chromosome.GP (Op (..),
                       config)
 where
 
-import Array
+import Data.Array
 import qualified GA
 import Control.Monad.State.Strict
-import List
+import Data.List
 
 -- The config for the GP chromosome model. mutate, cross, and fitness must be defined.
 config = GA.ChromosomeConfig {
index a8b9963..1c94ad0 100644 (file)
@@ -16,8 +16,8 @@ module GA (Config (..),
            isDone)
 where
 
-import Maybe
-import Random
+import Data.Maybe
+import System.Random
 import Control.Monad.State.Strict
 
 type GAState c p = State (Config c p)
index 8c2a39e..55bf4a9 100644 (file)
@@ -1,2 +1,2 @@
 (* (- (+ x x) 1) x)
-(* 1 (+ 1 (+ (* x (+ x x)) (* x x))))
+(- 1 (- (- 1 1) (* x (+ (+ x x) x))))
index 85d7640..7267a74 100644 (file)
@@ -5,5 +5,5 @@ SRCS = GA.hs \
        Chromosome/GP.hs \
        examples/GPTest.hs
 PROG_ARGS += 1000
-HC_OPTS += -i. -package array -package base -package haskell98 -package mtl
+HC_OPTS += -i. -package array -package base -package mtl -package random
 include $(TOP)/mk/target.mk
index 57a8cb1..fce709e 100644 (file)
@@ -8,7 +8,7 @@ import GA
 import Data.Array.Diff
 import Control.Monad
 import Control.Monad.State.Strict
-import List
+import Data.List
 
 -- |The type used to represent population arrays; is a diff array.
 type PArray c = DiffArray Int c
@@ -98,4 +98,4 @@ afoldl p seed arr =
     foldl p seed $ elems arr
 
 afoldl1 p arr =
-    foldl1 p $ elems arr
\ No newline at end of file
+    foldl1 p $ elems arr
index 3f4cbb2..5251631 100644 (file)
@@ -9,8 +9,8 @@ import GA
 
 import Control.Monad
 import Control.Monad.State.Strict
-import Random
-import List
+import System.Random
+import Data.List
 
 -- |Config for use of lists as the population model. Lists are deprecated in favor of arrays.
 config :: PopulationConfig c [c]
@@ -78,4 +78,4 @@ selectDistribution xs =
             test <- gaRand (0,1.0)
             if test < p / (1 - acc)
                then return a
-               else select (p + acc) xs
\ No newline at end of file
+               else select (p + acc) xs
index 0c7598f..9f83568 100644 (file)
@@ -1,8 +1,8 @@
 import GA
 import qualified Population.List as L
-import Random
+import System.Random
 import Control.Monad.State.Strict
-import List
+import Data.List
 import qualified Chromosome.ANN as ANN
 import Control.Monad
 
index 63390c4..75abae2 100644 (file)
@@ -1,8 +1,8 @@
 import GA
 import qualified Population.List as L
-import Random
+import System.Random
 import Control.Monad.State.Strict
-import List
+import Data.List
 import qualified Chromosome.Bits as B
 import Control.Monad
 
index 78734a7..e089b53 100644 (file)
@@ -1,8 +1,8 @@
 import GA
 import qualified Population.List as L
-import Random
+import System.Random
 import Control.Monad.State.Strict
-import List
+import Data.List
 import qualified Chromosome.GP as GP
 import Control.Monad
 import System.Environment
index 1fc5032..d45f4f2 100644 (file)
@@ -4,5 +4,5 @@ SRCS = src/Pos.hs \
        src/Parse.hs \
        java-parser/JavaMonad.hs
 PROG_ARGS += Scar.java SPEED.java Blowfish.java CAST5.java DES.java TestRijndael.java
-HC_OPTS += -isrc -ijava-parser -package base -package haskell98
+HC_OPTS += -isrc -ijava-parser -package base
 include $(TOP)/mk/target.mk
index 408d591..80ded93 100644 (file)
@@ -1,7 +1,7 @@
 module Main where
 
-import Char
-import List
+import Data.Char
+import Data.List
 
 import Pos
 import Parse
index efdabff..856c7dd 100644 (file)
@@ -1,7 +1,7 @@
 module Parse where
 
-import Char
-import List
+import Data.Char
+import Data.List
 
 import Pos
 
index d609e28..99fdb85 100644 (file)
@@ -40,7 +40,7 @@ newtype Str = MkStr String
 instance Show Str where
   show (MkStr s) = s
 
-ranges :: Integral a => a -> a -> Str
+ranges :: (Show a, Integral a) => a -> a -> Str
 ranges k n = MkStr (show n' ++ " -- " ++ show (n'+k-1))
  where
   n' = k * (n `div` k)
index d994f9c..f3550d8 100644 (file)
@@ -30,7 +30,7 @@ SRCS = parsec-2/Text/ParserCombinators/Parsec/Pos.hs \
        mersenne-random-pure64/cbits/mt19937-64-unsafe.c \
        mersenne-random-pure64/cbits/mt19937-64.c
 PROG_ARGS += oregonator.sgl
-HC_OPTS += -isrc -igenerated -iparsec-2 -imersenne-random-pure64 -package base -package containers -package haskell98 -package mtl -package old-time -package random -XExistentialQuantification -XPolymorphicComponents
+HC_OPTS += -isrc -igenerated -iparsec-2 -imersenne-random-pure64 -package base -package containers -package mtl -package old-time -package random -XExistentialQuantification -XPolymorphicComponents
 CC_OPTS += $(CONF_CC_OPTS_STAGE2) -Imersenne-random-pure64/include
 CLEAN_FILES += oregonator_output.dat mersenne-random-pure64/System/Random/Mersenne/Pure64/Base.hs mersenne-random-pure64/System/Random/Mersenne/Pure64/Base_hsc.c
 include $(TOP)/mk/target.mk
index 5a48550..a965a70 100644 (file)
@@ -1,49 +1 @@
-This is simgi v0.3 (c) 2009-2010 Markus Dittrich
-
--------- Simulation parameters ----------
-rng seed              : 1
-max time              : 15.0 s
-system volume         : nil
-data output frequency : 50000
-log output frequency  : 50000
-output filename       : oregonator_output.dat
------------------------------------------
-
-starting simulation ...
-
-iteration: 1           --> time: 0.00000 s
-iteration: 50000       --> time: 0.23476 s
-iteration: 100000      --> time: 0.68849 s
-iteration: 150000      --> time: 1.32624 s
-iteration: 200000      --> time: 1.41014 s
-iteration: 250000      --> time: 2.07497 s
-iteration: 300000      --> time: 2.36863 s
-iteration: 350000      --> time: 2.79856 s
-iteration: 400000      --> time: 3.45897 s
-iteration: 450000      --> time: 3.53978 s
-iteration: 500000      --> time: 4.21014 s
-iteration: 550000      --> time: 4.73332 s
-iteration: 600000      --> time: 4.90471 s
-iteration: 650000      --> time: 5.56812 s
-iteration: 700000      --> time: 5.66185 s
-iteration: 750000      --> time: 6.33115 s
-iteration: 800000      --> time: 6.91990 s
-iteration: 850000      --> time: 7.03911 s
-iteration: 900000      --> time: 7.66548 s
-iteration: 950000      --> time: 7.80602 s
-iteration: 1000000     --> time: 8.37098 s
-iteration: 1050000     --> time: 8.99979 s
-iteration: 1100000     --> time: 9.09234 s
-iteration: 1150000     --> time: 9.75003 s
-iteration: 1200000     --> time: 9.96604 s
-iteration: 1250000     --> time: 10.46699 s
-iteration: 1300000     --> time: 11.13416 s
-iteration: 1350000     --> time: 11.22317 s
-iteration: 1400000     --> time: 11.88750 s
-iteration: 1450000     --> time: 12.42168 s
-iteration: 1500000     --> time: 12.60482 s
-iteration: 1550000     --> time: 13.30166 s
-iteration: 1600000     --> time: 13.41285 s
-iteration: 1650000     --> time: 14.00190 s
-iteration: 1700000     --> time: 14.64748 s
-iteration: 1750000     --> time: 14.74625 s
+Done
index 06aa9a7..19eb5fa 100644 (file)
@@ -29,7 +29,8 @@ module CommandLine ( process_commandline
 -- imports
 import Data.Word
 import Prelude
-import System
+import System.IO
+import System.Exit
 import System.Console.GetOpt
 
 -- local imports
index c3ad902..190ad44 100644 (file)
@@ -355,8 +355,6 @@ create_initial_state state@(ModelState { seed = theSeed}) out =
 
 -- | routine for writing basic accounting info to stdout
 write_info :: Output -> IO ()
-write_info (Output {iteration = it, time = t}) = 
-    putStrLn $ printf "iteration: %-10d  --> time: %6.5g s" it t 
-
-
+write_info (Output {iteration = it, time = t}) = it `seq` t `seq` return ()
+    -- putStrLn $ printf "iteration: %-10d  --> time: %6.5g s" it t 
 
index fd3da7e..e7d33f0 100644 (file)
@@ -77,10 +77,13 @@ main =
                   >>= \handle -> 
 
                   -- print initial startup info
-                  startup_message initialState
+                  -- startup_message initialState
 
                   -- ready to run the simulation
-                  >> gillespie_driver handle totalTime dataDumpIter 
+                  gillespie_driver handle totalTime dataDumpIter 
                                   initialState 
-
+                  
+                  >> putStrLn "Done"
+                  
                   >> close_handle handle
+
index 03407ff..7405c65 100644 (file)
@@ -23,7 +23,7 @@ module Cluster (Cluster,cluster_single,cluster_simple,cluster_all
 import Indexed
 import EST(EST(..),mkshowlist,mkshowlist',label)
 import Pairs(SMPair, Pair(..),direction,elim_bs)
-import Data.Set hiding (insert)
+import Data.Set hiding (insert,foldl')
 import qualified Data.Set
 import Data.List(intersperse,sortBy)
 import qualified Data.List as L
index 3aa4c93..7f0c30d 100644 (file)
@@ -32,7 +32,7 @@ import System.Cmd (system)
 import System.Directory(doesFileExist,renameFile)
 import System.Posix.Files(getFileStatus,fileSize)
 import Data.List(sort,sortBy,partition,groupBy)
-import Data.Map hiding (map,insert,(!),filter,null,partition,adjust)
+import Data.Map hiding (map,insert,(!),filter,null,partition,adjust,foldl')
 import System.IO(hPutStrLn,stderr,openFile,IOMode(ReadMode),hIsEOF)
 import Control.Monad(mapM,when)
 import System.IO.Unsafe(unsafePerformIO,unsafeInterleaveIO)
index e808c8f..eac7183 100644 (file)
@@ -4,7 +4,7 @@ module Stats (UniVar(..),uniVar
               ,Quantiles(..),quantiles,histogram,display) where
 
 import Data.List (sort,sortBy,group)
-import Data.Map hiding (adjust, map)
+import Data.Map hiding (adjust, map, foldl)
 
 class Statistic s where
     samples :: s -> Int