seqaid 0.1.5 → 0.1.6.0
raw patch · 3 files changed
+7/−25 lines, 3 filesdep ~deepseq-bounded
Dependency ranges changed: deepseq-bounded
Files
- HTML/seqaid.html +2/−2
- Seqaid/Demo.hs +1/−1
- seqaid.cabal +4/−22
HTML/seqaid.html view
@@ -160,9 +160,9 @@ For technical reasons <span style="font-size: 80%">[no good reason really...]</span>, this presently also requires adding a <a href="http://hackage.haskell.org/package/seqaid/docs/Seqaid-Ann.html#t:SeqaidAnnManual"><tt>SeqaidAnnManual</tt></a> annotation for each bind you edit. <!--span style="font-size: 80%;">[That document is still not written, but <tt>leaky</tt> at <tt>FORCING_STRATEGY=4</tt> is a demonstation.]</span--> -<h3><tt>leaky</tt> Contrived to Showcase <tt>seqaid</tt>?</h3>+<h3>Leaky Contrived to Showcase Seqaid?</h3> -Some words about the derivation of <tt>leaky</tt> are <a href="extra.html">here</a>, where the output of seqaid applied to <tt>leaky</tt> is also discussed.+Some words about the derivation of leaky are <a href="extra.html">here</a>, where the output of seqaid applied to leaky is also discussed. <h3>Work in Progress...</h3>
Seqaid/Demo.hs view
@@ -25,7 +25,7 @@ import System.Process import System.Exit - leaky_version = "0.1.0.5" -- XXX need a better way!!....+ leaky_version = "0.1.6.0" -- XXX need a better way!!.... main :: IO ExitCode main = do
seqaid.cabal view
@@ -1,6 +1,6 @@ name: seqaid-version: 0.1.5+version: 0.1.6.0 synopsis: Dynamic strictness control, including space leak repair description: Seqaid is a GHC plugin for non-invasive auto-instrumentation of dynamic strictness (and parallelism) control, shortly to include optimisation for automated space leak relief using minimal strictification. [The optimiser is still in development however.] .@@ -13,8 +13,8 @@ author: Andrew G. Seniuk maintainer: Andrew Seniuk <rasfar@gmail.com> category: Compiler Plugin---bug-reports: bug-reports: Andrew Seniuk <rasfar@gmail.com>+--bug-reports: http://fremissant.net/seqaid/trac build-type: Simple cabal-version: >= 1.10 tested-with: GHC==7.8.1, GHC==7.8.3@@ -30,15 +30,6 @@ -- type: git -- location: --- XXX--- A few of the latest flags are not used very consistently,--- and there are probably bugs related:--- ONLY_TOP_LEVEL_INJECTIONS--- INFER_TOP_LEVEL_TYPES--- SEQAIDPP_TYPES--- (DEMO_MODE)--- (... the rest, basically! ...)- -- There were about twice as many flags, so I've done what I can, -- but not ready to throw away the alternative code branches -- for the remaining yet. In a few minor version bumps, will@@ -127,7 +118,7 @@ -- Not used in Core.hs plugin part anymore; but there may -- be GHC API code coming in Seqaid.TH that uses GHC.Paths.--- , ghc-paths <= 0.1.0.9+-- , ghc-paths == 0.1.* -- used to try to bring types into scope that are needed -- for CoreM-level (Simplifier) injections; works except@@ -139,7 +130,7 @@ , th-expand-syns == 0.3.* -- low-level forcing libraries- , deepseq-bounded >= 0.5.0 && <= 0.5.3+ , deepseq-bounded == 0.5.* -- at least for IntMap , containers == 0.5.*@@ -152,13 +143,6 @@ -- , mtl == 2.1.3.* -- , mtl == 2.1.3.1 - -- In the end (although it's already a sub-dep), seqaid did end up- -- depending directly on SOP, since now there's a splice in Seqaid.TH- -- which calls a generics-sop TH splice itself.- -- ... But that doesn't save us, because the "deriving instance"- -- decls are put there by seqaidpp [indeed that was the whole reason- -- I finally crumbed and reached for a preprocessor!] -- that's- -- pre-TH, so pre our ability to know whether it's a synonym or not... -- , generics-sop == 0.1.* if flag(SEQABLE_ONLY)@@ -198,7 +182,6 @@ -- can start at the left margin! ghc-options: -pgmP cpphs -optP --cpp - if flag(SEQABLE_ONLY) cpp-options: -DSEQABLE_ONLY=1 else@@ -301,7 +284,6 @@ , process == 1.2.* , directory == 1.2.* , Cabal >= 1.18---ghc-options: default-language: Haskell2010 ghc-options: -pgmP cpphs -optP --cpp ghc-options: -optP-Wundef -fno-warn-overlapping-patterns