patch ddc-head: More cleanup to solver error pretty printing

[Ben Lippmeier]

Tue Nov 23 21:23:58 EST 2010  Ben Lippmeier <b...@ouroborus.net>
  * More cleanup to solver error pretty printing

    M ./src/DDC/Main/Error.hs -2 +2
    M ./src/DDC/Solve/Error/Pretty.hs -20 +19
    M ./src/DDC/Solve/Location.hs -1 +1
    M ./src/DDC/Util/Pretty/Combinators.hs +8
    M ./test/15-Typing/Classing/OrphanInstance/Orphan.error.check +1
    M ./test/15-Typing/Closure/GetSetDangerous/Test.error.check -1
    M ./test/15-Typing/Closure/LateMutable/Main.error.check -6 +4
    M ./test/15-Typing/Closure/LateSig/LateSig.error.check -1
    M ./test/15-Typing/Closure/T84-LateExport/Main.error.check -6 +4
    M ./test/15-Typing/InfiniteTypes/InfiniteListType/Loop2.error.check -1 +1
    M ./test/15-Typing/InfiniteTypes/LoopsThroughClosures/Loop1.error.check -1 
+1
    M ./test/15-Typing/Main/MainString/Main.error.check -4 +3
    M ./test/15-Typing/Main/T100-MainType/Main.error.check -2 +1
    M ./test/15-Typing/Projection/T77-ProjTypeErrorPanic/Test.error.check -1
    M ./test/15-Typing/Purity/CannotPurifyTop2/Top2.error.check -2 +1
    M ./test/15-Typing/Purity/CannotPurifyWrite/Test.error.check -2 +1
    M ./test/15-Typing/Purity/ConstWrite/Test.error.check -2
    M ./test/15-Typing/Purity/DiagnoseLoop/Test.error.check -2 +1
    M ./test/15-Typing/Purity/PurifyReadWrite3/Test.error.check -3 +2
    M ./test/15-Typing/Signatures/Bad/LargerConstraints/Test.error.check -10 +9
    M ./test/15-Typing/Signatures/Bad/LargerEffect/Test.error.check -9 +8

View patch online:
http://disciple.ouroborus.net/darcs/ddc-head/_darcs/patches/20101124022358-08f32-7e9195858d336e436a56db42997cb9b283c5980a.gz

-- 
Disciple-Cafe mailing list
http://groups.google.com/group/disciple-cafe