patch ddc-head: ddc-core: dump separate TBot constructor, just use TSum

[Ben Lippmeier]

Sun Dec  4 04:00:44 EST 2011  Ben Lippmeier <b...@ouroborus.net>
  * ddc-core: dump separate TBot constructor, just use TSum

    M ./packages/ddc-core/DDC/Core/Check.hs -13 +14
    M ./packages/ddc-core/DDC/Core/Check/CheckError.hs -2 +2
    M ./packages/ddc-core/DDC/Type/Check.hs -5
    M ./packages/ddc-core/DDC/Type/Collect/Free.hs -1
    M ./packages/ddc-core/DDC/Type/Compounds.hs -3 +3
    M ./packages/ddc-core/DDC/Type/Exp.hs -3
    M ./packages/ddc-core/DDC/Type/Parser.hs -10 +10
    M ./packages/ddc-core/DDC/Type/Predicates.hs -11 +2
    M ./packages/ddc-core/DDC/Type/Pretty.hs -10 +10
    M ./packages/ddc-core/DDC/Type/Sum.hs -1
    M ./packages/ddc-core/DDC/Type/Transform/Anonymize.hs -1 +1
    M ./packages/ddc-core/DDC/Type/Transform/LiftT.hs -1
    M ./packages/ddc-core/DDC/Type/Transform/Rename.hs -1
    M ./packages/ddc-core/DDC/Type/Transform/Spread.hs -1
    M ./packages/ddc-core/DDC/Type/Transform/SubstituteT.hs -1
    M ./packages/ddc-core/DDC/Type/Universe.hs -3

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