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