patch ddc-head: Cleanup haddocks for type checker

[Ben Lippmeier]

Sat Feb 11 01:15:28 EST 2012  Ben Lippmeier <b...@ouroborus.net>
  * Cleanup haddocks for type checker

    M ./packages/ddc-base/DDC/Base/Lexer.hs -3 +4
    M ./packages/ddc-base/DDC/Base/Parser.hs -14 +14
    M ./packages/ddc-base/DDC/Base/Pretty.hs -4 +9
    M ./packages/ddc-core/DDC/Core/Check.hs -2 +8
    M ./packages/ddc-core/DDC/Core/Check/CheckExp.hs -32 +32
    M ./packages/ddc-core/DDC/Core/Check/CheckWitness.hs -24 +38
    M ./packages/ddc-core/DDC/Core/Check/Error.hs -48 +66
    M ./packages/ddc-core/DDC/Core/Check/ErrorMessage.hs +1
    M ./packages/ddc-core/DDC/Core/Check/TaggedClosure.hs -5 +12
    M ./packages/ddc-core/DDC/Core/Parser/Tokens.hs -2 +2
    M ./packages/ddc-core/ddc-core.cabal -2 +4

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