patch ddc-head: ddc-core: rejig witness constructors and rename Share to Use

[Ben Lippmeier]

Fri Dec 16 23:35:05 EST 2011  Ben Lippmeier <b...@ouroborus.net>
  * ddc-core: rejig witness constructors and rename Share to Use

    M ./packages/ddc-core-interpreter/DDCI/Core/Prim/Env.hs -2 +2
    M ./packages/ddc-core/DDC/Core/Check.hs -4 +10
    M ./packages/ddc-core/DDC/Core/Exp.hs -13 +66
    M ./packages/ddc-core/DDC/Core/Parser.hs -6 +16
    M ./packages/ddc-core/DDC/Core/Parser/Lexer.hs -7 +12
    M ./packages/ddc-core/DDC/Core/Pretty.hs -3 +4
    M ./packages/ddc-core/DDC/Core/Step.hs -1 +1
    M ./packages/ddc-core/DDC/Core/Transform/Spread.hs -1 +14
    M ./packages/ddc-core/DDC/Type/Check/CheckCon.hs -5 +7
    M ./packages/ddc-core/DDC/Type/Compounds.hs -9 +22
    M ./packages/ddc-core/DDC/Type/Exp.hs -8 +17
    M ./packages/ddc-core/DDC/Type/Operators/Trim.hs -12 +12
    M ./packages/ddc-core/DDC/Type/Parser/Lexer.hs -2 +3
    M ./packages/ddc-core/DDC/Type/Pretty.hs -4 +9
    M ./packages/ddc-core/DDC/Type/Sum.hs -4 +4
    M ./test/98-DDCi-core/20-Typing/10-Simple/Test.stdout.check -6 +6
    A ./test/98-DDCi-core/20-Typing/40-Purify/
    A ./test/98-DDCi-core/20-Typing/40-Purify/Test.dcx

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