New patches in /srv/darcs/git-mirrors/Cabal

[Ian Lynagh]

New patches in /srv/darcs/git-mirrors/Cabal

commit c604d69c057f3a38720d6c9fffb7bd360140a38b
Author: Mikhail Glushenkov <the.dead.shall.rise at gmail.com>
Date:   Tue Jun 12 17:52:20 2012 +0200

    Ignore the cabal-dev dir in .gitignore.

commit 6a16231e948bcbb0b3d6aae06c7dffa984bf4dc1
Author: Mikhail Glushenkov <the.dead.shall.rise at gmail.com>
Date:   Thu Jun 14 15:38:12 2012 +0200

    Fix warnings.

commit fe359e00b2da1ae46e20e0fd1e9c334dbb464d05
Author: Andres Loeh <mail at andres-loeh.de>
Date:   Wed Jun 6 22:50:41 2012 +0200

    Extended a comment.

commit 7fdd75b881031bf4795c7b72d4cbd0abc4f48c94
Author: Andres Loeh <andres at well-typed.com>
Date:   Wed Jun 6 09:54:52 2012 +0200

    Force the log for the error to be printed in parallel with the complete trace.
    
    This saves a bit of heap space when running the solver with unlimited
    backtracking enabled.

commit cc4a35d6963c97fc4c6cf47c102137338b491892
Author: Andres Loeh <andres at well-typed.com>
Date:   Wed Jun 6 09:54:02 2012 +0200

    Remove goal choice nodes after reordering is completed.
    
    This saves a lot of heap space while exploring the tree and backtracking.

commit fb32f8af836d1ab301536d2fac69b6ea952bbf74
Author: Andres Loeh <mail at andres-loeh.de>
Date:   Thu May 31 21:21:39 2012 +0200

    Make modular solver handle manual flags properly.

commit 613f385e2e5ce586ab7e0c580ce2336605b8befe
Author: Andres Loeh <mail at andres-loeh.de>
Date:   Thu May 31 20:29:45 2012 +0200

    Store manual flag info in search tree.

commit f0516b22682cb329a65bcabc37bf737d3de5646a
Author: Andres Loeh <mail at andres-loeh.de>
Date:   Thu May 31 20:10:53 2012 +0200

    Maintain info about manual flags in modular solver.