patch ddc-head: ddc-type: add 'Disjoint' witness constructor. nothing fancy.

Thu, 26 Jul 2012 00:28:49 -0700 

Thu Jul 26 02:46:24 EDT 2012  Amos Robinson <[email protected]>
  * ddc-type: add 'Disjoint' witness constructor. nothing fancy.

    M ./packages/ddc-core/DDC/Core/Lexer/Names.hs +1
    M ./packages/ddc-type/DDC/Type/Check/CheckCon.hs -1 +2
    M ./packages/ddc-type/DDC/Type/Exp.hs +3
    M ./packages/ddc-type/DDC/Type/Pretty.hs +1

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

Reply via email to