hoopl 3.10.0.1 → 3.10.0.2
raw patch · 5 files changed
+24/−23 lines, 5 filesdep ~basePVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: base
API changes (from Hackage documentation)
- Compiler.Hoopl: bp_lattice :: BwdPass m n f -> DataflowLattice f
- Compiler.Hoopl: bp_rewrite :: BwdPass m n f -> BwdRewrite m n f
- Compiler.Hoopl: bp_transfer :: BwdPass m n f -> BwdTransfer n f
- Compiler.Hoopl: fact_bot :: DataflowLattice a -> a
- Compiler.Hoopl: fact_join :: DataflowLattice a -> JoinFun a
- Compiler.Hoopl: fact_name :: DataflowLattice a -> String
- Compiler.Hoopl: fp_lattice :: FwdPass m n f -> DataflowLattice f
- Compiler.Hoopl: fp_rewrite :: FwdPass m n f -> FwdRewrite m n f
- Compiler.Hoopl: fp_transfer :: FwdPass m n f -> FwdTransfer n f
- Compiler.Hoopl: getBRewrite3 :: BwdRewrite m n f -> (n C O -> f -> m (Maybe (Graph n C O, BwdRewrite m n f)), n O O -> f -> m (Maybe (Graph n O O, BwdRewrite m n f)), n O C -> FactBase f -> m (Maybe (Graph n O C, BwdRewrite m n f)))
- Compiler.Hoopl: getBTransfer3 :: BwdTransfer n f -> (n C O -> f -> f, n O O -> f -> f, n O C -> FactBase f -> f)
- Compiler.Hoopl: getFRewrite3 :: FwdRewrite m n f -> (n C O -> f -> m (Maybe (Graph n C O, FwdRewrite m n f)), n O O -> f -> m (Maybe (Graph n O O, FwdRewrite m n f)), n O C -> f -> m (Maybe (Graph n O C, FwdRewrite m n f)))
- Compiler.Hoopl: getFTransfer3 :: FwdTransfer n f -> (n C O -> f -> f, n O O -> f -> f, n O C -> f -> FactBase f)
- Compiler.Hoopl.Internals: bp_lattice :: BwdPass m n f -> DataflowLattice f
- Compiler.Hoopl.Internals: bp_rewrite :: BwdPass m n f -> BwdRewrite m n f
- Compiler.Hoopl.Internals: bp_transfer :: BwdPass m n f -> BwdTransfer n f
- Compiler.Hoopl.Internals: fact_bot :: DataflowLattice a -> a
- Compiler.Hoopl.Internals: fact_join :: DataflowLattice a -> JoinFun a
- Compiler.Hoopl.Internals: fact_name :: DataflowLattice a -> String
- Compiler.Hoopl.Internals: fp_lattice :: FwdPass m n f -> DataflowLattice f
- Compiler.Hoopl.Internals: fp_rewrite :: FwdPass m n f -> FwdRewrite m n f
- Compiler.Hoopl.Internals: fp_transfer :: FwdPass m n f -> FwdTransfer n f
- Compiler.Hoopl.Internals: getBRewrite3 :: BwdRewrite m n f -> (n C O -> f -> m (Maybe (Graph n C O, BwdRewrite m n f)), n O O -> f -> m (Maybe (Graph n O O, BwdRewrite m n f)), n O C -> FactBase f -> m (Maybe (Graph n O C, BwdRewrite m n f)))
- Compiler.Hoopl.Internals: getBTransfer3 :: BwdTransfer n f -> (n C O -> f -> f, n O O -> f -> f, n O C -> FactBase f -> f)
- Compiler.Hoopl.Internals: getFRewrite3 :: FwdRewrite m n f -> (n C O -> f -> m (Maybe (Graph n C O, FwdRewrite m n f)), n O O -> f -> m (Maybe (Graph n O O, FwdRewrite m n f)), n O C -> f -> m (Maybe (Graph n O C, FwdRewrite m n f)))
- Compiler.Hoopl.Internals: getFTransfer3 :: FwdTransfer n f -> (n C O -> f -> f, n O O -> f -> f, n O C -> f -> FactBase f)
- Compiler.Hoopl.Passes.Dominator: instance [safe] Show DPath
- Compiler.Hoopl.Passes.Dominator: instance [safe] Show DominatorNode
- Compiler.Hoopl.Passes.Dominator: instance [safe] Show DominatorTree
+ Compiler.Hoopl: [bp_lattice] :: BwdPass m n f -> DataflowLattice f
+ Compiler.Hoopl: [bp_rewrite] :: BwdPass m n f -> BwdRewrite m n f
+ Compiler.Hoopl: [bp_transfer] :: BwdPass m n f -> BwdTransfer n f
+ Compiler.Hoopl: [fact_bot] :: DataflowLattice a -> a
+ Compiler.Hoopl: [fact_join] :: DataflowLattice a -> JoinFun a
+ Compiler.Hoopl: [fact_name] :: DataflowLattice a -> String
+ Compiler.Hoopl: [fp_lattice] :: FwdPass m n f -> DataflowLattice f
+ Compiler.Hoopl: [fp_rewrite] :: FwdPass m n f -> FwdRewrite m n f
+ Compiler.Hoopl: [fp_transfer] :: FwdPass m n f -> FwdTransfer n f
+ Compiler.Hoopl: [getBRewrite3] :: BwdRewrite m n f -> (n C O -> f -> m (Maybe (Graph n C O, BwdRewrite m n f)), n O O -> f -> m (Maybe (Graph n O O, BwdRewrite m n f)), n O C -> FactBase f -> m (Maybe (Graph n O C, BwdRewrite m n f)))
+ Compiler.Hoopl: [getBTransfer3] :: BwdTransfer n f -> (n C O -> f -> f, n O O -> f -> f, n O C -> FactBase f -> f)
+ Compiler.Hoopl: [getFRewrite3] :: FwdRewrite m n f -> (n C O -> f -> m (Maybe (Graph n C O, FwdRewrite m n f)), n O O -> f -> m (Maybe (Graph n O O, FwdRewrite m n f)), n O C -> f -> m (Maybe (Graph n O C, FwdRewrite m n f)))
+ Compiler.Hoopl: [getFTransfer3] :: FwdTransfer n f -> (n C O -> f -> f, n O O -> f -> f, n O C -> f -> FactBase f)
+ Compiler.Hoopl.Internals: [bp_lattice] :: BwdPass m n f -> DataflowLattice f
+ Compiler.Hoopl.Internals: [bp_rewrite] :: BwdPass m n f -> BwdRewrite m n f
+ Compiler.Hoopl.Internals: [bp_transfer] :: BwdPass m n f -> BwdTransfer n f
+ Compiler.Hoopl.Internals: [fact_bot] :: DataflowLattice a -> a
+ Compiler.Hoopl.Internals: [fact_join] :: DataflowLattice a -> JoinFun a
+ Compiler.Hoopl.Internals: [fact_name] :: DataflowLattice a -> String
+ Compiler.Hoopl.Internals: [fp_lattice] :: FwdPass m n f -> DataflowLattice f
+ Compiler.Hoopl.Internals: [fp_rewrite] :: FwdPass m n f -> FwdRewrite m n f
+ Compiler.Hoopl.Internals: [fp_transfer] :: FwdPass m n f -> FwdTransfer n f
+ Compiler.Hoopl.Internals: [getBRewrite3] :: BwdRewrite m n f -> (n C O -> f -> m (Maybe (Graph n C O, BwdRewrite m n f)), n O O -> f -> m (Maybe (Graph n O O, BwdRewrite m n f)), n O C -> FactBase f -> m (Maybe (Graph n O C, BwdRewrite m n f)))
+ Compiler.Hoopl.Internals: [getBTransfer3] :: BwdTransfer n f -> (n C O -> f -> f, n O O -> f -> f, n O C -> FactBase f -> f)
+ Compiler.Hoopl.Internals: [getFRewrite3] :: FwdRewrite m n f -> (n C O -> f -> m (Maybe (Graph n C O, FwdRewrite m n f)), n O O -> f -> m (Maybe (Graph n O O, FwdRewrite m n f)), n O C -> f -> m (Maybe (Graph n O C, FwdRewrite m n f)))
+ Compiler.Hoopl.Internals: [getFTransfer3] :: FwdTransfer n f -> (n C O -> f -> f, n O O -> f -> f, n O C -> f -> FactBase f)
+ Compiler.Hoopl.Passes.Dominator: instance GHC.Show.Show Compiler.Hoopl.Passes.Dominator.DPath
+ Compiler.Hoopl.Passes.Dominator: instance GHC.Show.Show Compiler.Hoopl.Passes.Dominator.DominatorNode
+ Compiler.Hoopl.Passes.Dominator: instance GHC.Show.Show Compiler.Hoopl.Passes.Dominator.DominatorTree
- Compiler.Hoopl: joinOutFacts :: NonLocal node => DataflowLattice f -> node O C -> FactBase f -> f
+ Compiler.Hoopl: joinOutFacts :: (NonLocal node) => DataflowLattice f -> node O C -> FactBase f -> f
- Compiler.Hoopl: showGraph :: NonLocal n => Showing n -> Graph n e x -> String
+ Compiler.Hoopl: showGraph :: (NonLocal n) => Showing n -> Graph n e x -> String
Files
- changelog.md +6/−0
- hoopl.cabal +4/−16
- src/Compiler/Hoopl/Dataflow.hs +6/−4
- src/Compiler/Hoopl/Unique.hs +5/−2
- src/Compiler/Hoopl/XUtil.hs +3/−1
changelog.md view
@@ -1,5 +1,11 @@ # Changelog for [`hoopl` package](http://hackage.haskell.org/package/hoopl) +## 3.10.0.2 *Dec 2014*++ - Add support for `base-4.8.0.0` package version++ - Mark a few modules as Safe rather than Trustworthy+ ## 3.10.0.1 *Mar 2014* - Remove UTF8 character from hoopl.cabal to workaround issue
hoopl.cabal view
@@ -1,13 +1,6 @@ Name: hoopl-Version: 3.10.0.1--- NOTE: Don't forget to update 'repository this' tag when incrementing version!--- GHC 7.6.1 released with 3.9.0.0--- version 3.8.6.0 is the version that goes with the camera-ready Haskell'10 paper--- version 3.8.7.0 works with GHC 7--- version 3.8.7.1 adds some unnamed functions without breaking compatibility--- version 3.8.7.2 adds Compiler.Hoopl.Fuel.liftFuel--- version 3.8.7.4 re-exports runWithFuel--- version 3.9.0.0 adds the new API for working with blocks, and lots of internal refactoring+Version: 3.10.0.2+-- NOTE: Don't forget to update ./changelog.md Description: Higher-order optimization library .@@ -24,18 +17,13 @@ Cabal-Version: >=1.10 Synopsis: A library to support dataflow analysis and optimization Category: Compilers/Interpreters-Tested-With: GHC==7.6.3, GHC==7.6.2, GHC==7.6.1, GHC==7.4.2, GHC==7.4.1, GHC==7.2.2, GHC==7.0.4, GHC==7.0.3, GHC==7.0.2, GHC==7.0.1+Tested-With: GHC>=7.0.1 Extra-Source-Files: README, hoopl.pdf, changelog.md Source-repository head Type: git Location: http://git.haskell.org/packages/hoopl.git -Source-repository this- Type: git- Location: http://git.haskell.org/packages/hoopl.git- Tag: hoopl-3.10.0.1-release- Library Default-Language: Haskell2010 Other-Extensions: CPP@@ -52,7 +40,7 @@ Other-Extensions: Safe Trustworthy Hs-Source-Dirs: src- Build-Depends: base >= 4.3 && < 4.8, containers >= 0.4 && < 0.6+ Build-Depends: base >= 4.3 && < 4.9, containers >= 0.4 && < 0.6 Exposed-Modules: Compiler.Hoopl, Compiler.Hoopl.Internals, Compiler.Hoopl.Wrappers,
src/Compiler/Hoopl/Dataflow.hs view
@@ -1,9 +1,11 @@ {-# LANGUAGE CPP, RankNTypes, ScopedTypeVariables, GADTs, TypeFamilies, MultiParamTypeClasses #-}-#if __GLASGOW_HASKELL__ >= 703-{- OPTIONS_GHC -fprof-auto #-}-#endif-#if __GLASGOW_HASKELL__ >= 701+#if __GLASGOW_HASKELL__ >= 709+{-# LANGUAGE Safe #-}+#elif __GLASGOW_HASKELL__ >= 701 {-# LANGUAGE Trustworthy #-}+#endif+#if __GLASGOW_HASKELL__ >= 703+{-# OPTIONS_GHC -fprof-auto #-} #endif #if __GLASGOW_HASKELL__ < 701 {-# OPTIONS_GHC -fno-warn-incomplete-patterns #-}
src/Compiler/Hoopl/Unique.hs view
@@ -1,8 +1,11 @@ {-# LANGUAGE CPP, TypeFamilies #-}-#if __GLASGOW_HASKELL__ >= 701+#if __GLASGOW_HASKELL__ >= 709+{-# LANGUAGE Safe #-}+#elif __GLASGOW_HASKELL__ >= 701 {-# LANGUAGE Trustworthy #-} #endif + module Compiler.Hoopl.Unique ( Unique, intToUnique , UniqueSet, UniqueMap@@ -21,7 +24,7 @@ import qualified Data.IntMap as M import qualified Data.IntSet as S -import Control.Applicative (Applicative(..))+import Control.Applicative import Control.Monad (ap,liftM) -----------------------------------------------------------------------------
src/Compiler/Hoopl/XUtil.hs view
@@ -1,5 +1,7 @@ {-# LANGUAGE CPP, GADTs, RankNTypes, ScopedTypeVariables, TypeFamilies #-}-#if __GLASGOW_HASKELL__ >= 701+#if __GLASGOW_HASKELL__ >= 709+{-# LANGUAGE Safe #-}+#elif __GLASGOW_HASKELL__ >= 701 {-# LANGUAGE Trustworthy #-} #endif