Tue Feb 7 06:54:54 EST 2012 Ben Lippmeier <[email protected]>
* Rename TyConComp -> TyConSpec to reflect universe namechange
M ./packages/ddc-core-simpl/DDC/Type/Transform/Rename.hs -1 +1
M ./packages/ddc-core/DDC/Core/Check/CheckExp.hs -1 +1
M ./packages/ddc-core/DDC/Core/Check/TaggedClosure.hs -2 +2
M ./packages/ddc-core/DDC/Type/Check.hs -1 +1
M ./packages/ddc-core/DDC/Type/Check/CheckCon.hs -1 +1
M ./packages/ddc-core/DDC/Type/Compounds.hs -4 +4
M ./packages/ddc-core/DDC/Type/Equiv.hs -4 +4
M ./packages/ddc-core/DDC/Type/Exp.hs -30 +44
M ./packages/ddc-core/DDC/Type/Parser.hs -2 +2
M ./packages/ddc-core/DDC/Type/Pretty.hs -3 +3
M ./packages/ddc-core/DDC/Type/Sum.hs -2 +2
M ./packages/ddc-core/DDC/Type/Transform/Crush.hs -4 +4
M ./packages/ddc-core/DDC/Type/Transform/SubstituteT.hs -5 +5
M ./packages/ddc-core/DDC/Type/Transform/Trim.hs -3 +3
M ./packages/ddc-core/DDC/Type/Universe.hs -5 +5
--
Disciple-Cafe mailing list
http://groups.google.com/group/disciple-cafe
