leaky-0.1.0.0: rough-fs-twiddling-guide.txt

Wed Dec 17 20:50:05 CST 2014
 - trying to go over the FS=0..6 again now
 - starting from a configuration for 6 (which is the default
   leaky distribution), will go back to 0 and work back up,
   noting what had to do
 - the same seqaid.config can be used in all cases

 - FS=0 (does no forcing)
    - leaky.cabal TURN_ON_SEQAID_PLUGIN flag must be False
       - invoke cabal configure --flag=-TURN_ON_SEQAID_PLUGIN
       - or, just edit the default in leaky.cabal

 - FS=1 (rnf)
    - you need the Types.hs module to do it's own SOP deriving, so:
        cp Types_explicit_SOP.hs Types.hs
    - this would perform immesurably worse if we turned on USE_INFINITE_LIST
    - (and leaky.cabal TURN_ON_SEQAID_PLUGIN flag must still be False)

 - FS=2 (rnfn)
    - no change needed from FS=1

 - FS=3 (rnfp)
    - no change needed from FS=1,2

 - FS=4 (manual seqaid)
    - leaky.cabal TURN_ON_SEQAID_PLUGIN flag must be True
    - need to uncomment the leaky.cabal plugin options (-fplugin and -F)
    - need to get non-explicit-SOP Types.hs in place:
        cp Types_no_SOP.hs Types.hs

 - FS=5 (top-level RHS's)
    - no change needed from FS=4

 - FS=6 (seqaid.config type-directed harnessing)
    - no change needed from FS=4