[Adds a new "accum" flag to the UI (which is not yet used).
tobias@goedderz.info**20150311135723
 Ignore-this: 49b691366666278a1f0f836a838624fc
] hunk ./regression_tests/antiunifywildcard.out 18
+Accumulators         False
hunk ./regression_tests/put_last.out 18
+Accumulators         False
hunk ./regression_tests/subfunctionwildcard.out 18
+Accumulators         False
hunk ./src/Igor2/Config.hs 30
+    , scr_accum      :: Bool
hunk ./src/Igor2/Config.hs 52
+    , scr_accum      = False
hunk ./src/Igor2/Config.hs 79
+setAccum      v scr = scr{scr_accum = v}
hunk ./src/Igor2/Config.hs 105
+                fill 20 (text "Accumulators") <+> bool (scr_accum c) <$>
hunk ./src/Igor2/Data/IgorMonad.hs 13
-    
-    setTarget, getTarget, addBgk, remBgk, getEvidence, tick, tickT, 
-    loopCount, loopsCount, tierCount, isDebug, inEnhanced, ifIsSet, 
-    doGreedySplt, usePara, atMaxLoops, atMaxTiers, getPatComparison, background, 
-    targets, predicates, addIO, breakupM, coverAll, evalIO, 
-    
+
+    setTarget, getTarget, addBgk, remBgk, getEvidence, tick, tickT, loopCount,
+    loopsCount, tierCount, isDebug, inEnhanced, ifIsSet, doGreedySplt,
+    introduceAccums, usePara, atMaxLoops, atMaxTiers, getPatComparison,
+    background, targets, predicates, addIO, breakupM, coverAll, evalIO,
+
hunk ./src/Igor2/Data/IgorMonad.hs 125
+-- | introduce accumulator variables
+introduceAccums :: IM Bool
+introduceAccums = gets $ scr_accum.igor_cnf
+
hunk ./src/Igor2/UI/Help.hs 115
+    indent 5 (fill 20 (text "+accum") <>
+              align (fillwords "Automatically introduce accumulator variables. Results in longer running times when it's not needed.")) <$$>
+    indent 5 (fill 20 (text "-accum") <>
+              align (fillwords "No accumulators are introduced. This is the [default]")) <$$>
hunk ./src/Igor2/UI/Help.hs 201
-                        
-              
+
hunk ./src/Igor2/UI/UIStarter.hs 71
+accum     = scr_accum . config
hunk ./src/Igor2/UI/UIStarter.hs 431
+    , ("accum",             "introduce accumulator variables",
+            accum,     \ v s -> s{ config=(config s){scr_accum  = v }})
hunk ./tests/ack.out 18
+Accumulators         False
hunk ./tests/add.out 18
+Accumulators         False
hunk ./tests/addN.out 18
+Accumulators         False
hunk ./tests/anD.out 18
+Accumulators         False
hunk ./tests/andL.out 18
+Accumulators         False
hunk ./tests/appenD.out 18
+Accumulators         False
hunk ./tests/balloons.out 18
+Accumulators         False
hunk ./tests/droP.out 18
+Accumulators         False
hunk ./tests/enjoySport.out 18
+Accumulators         False
hunk ./tests/eq.out 18
+Accumulators         False
hunk ./tests/eveN.out 18
+Accumulators         False
hunk ./tests/evenpos.out 18
+Accumulators         False
hunk ./tests/evens.out 18
+Accumulators         False
hunk ./tests/fib.out 18
+Accumulators         False
hunk ./tests/fibAdd.out 18
+Accumulators         False
hunk ./tests/flatapp.out 18
+Accumulators         False
hunk ./tests/flatten.out 18
+Accumulators         False
hunk ./tests/hanoi.out 18
+Accumulators         False
hunk ./tests/heaD.out 18
+Accumulators         False
hunk ./tests/incr.out 18
+Accumulators         False
hunk ./tests/lasT.out 18
+Accumulators         False
hunk ./tests/lastM.out 18
+Accumulators         False
hunk ./tests/lasts.out 18
+Accumulators         False
hunk ./tests/lengtH.out 18
+Accumulators         False
hunk ./tests/lengths.out 18
+Accumulators         False
hunk ./tests/lenses.out 18
+Accumulators         False
hunk ./tests/mem.out 18
+Accumulators         False
hunk ./tests/member.out 18
+Accumulators         False
hunk ./tests/mirror.out 18
+Accumulators         False
hunk ./tests/multfst.out 18
+Accumulators         False
hunk ./tests/multlst.out 18
+Accumulators         False
hunk ./tests/negateAll.out 18
+Accumulators         False
hunk ./tests/odD.out 18
+Accumulators         False
hunk ./tests/oddpos.out 18
+Accumulators         False
hunk ./tests/pepper'.out 18
+Accumulators         False
hunk ./tests/pepper.out 18
+Accumulators         False
hunk ./tests/playTennis.out 18
+Accumulators         False
hunk ./tests/powapp.out 18
+Accumulators         False
hunk ./tests/powset.out 18
+Accumulators         False
hunk ./tests/reversE.out 18
+Accumulators         False
hunk ./tests/rocket.out 18
+Accumulators         False
hunk ./tests/shiftl.out 18
+Accumulators         False
hunk ./tests/shiftr.out 18
+Accumulators         False
hunk ./tests/snoc.out 18
+Accumulators         False
hunk ./tests/switch.out 18
+Accumulators         False
hunk ./tests/taiL.out 18
+Accumulators         False
hunk ./tests/takE.out 18
+Accumulators         False
hunk ./tests/weave.out 18
+Accumulators         False
hunk ./tests/zeros.out 18
+Accumulators         False