Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : overlapping-tyfams
http://hackage.haskell.org/trac/ghc/changeset/467d575eb1280b16eccd60138acb4597cc86698f >--------------------------------------------------------------- commit 467d575eb1280b16eccd60138acb4597cc86698f Author: Richard Eisenberg <e...@cis.upenn.edu> Date: Wed Dec 5 12:29:55 2012 -0500 Made a new file types/CoAxiom.lhs to declare CoAxioms, and updated docs/core-spec to reflect new axioms. compiler/basicTypes/MkId.lhs | 1 + compiler/coreSyn/CoreLint.lhs | 31 +-- compiler/coreSyn/MkExternalCore.lhs | 1 + compiler/ghc.cabal.in | 1 + compiler/iface/IfaceType.lhs | 1 + compiler/iface/MkIface.lhs | 1 + compiler/iface/TcIface.lhs | 1 + compiler/main/HscTypes.lhs | 1 + compiler/typecheck/FamInst.lhs | 1 + compiler/typecheck/TcEnv.lhs | 1 + compiler/typecheck/TcEvidence.lhs | 1 + compiler/typecheck/TcGenDeriv.lhs | 1 + compiler/typecheck/TcGenGenerics.lhs | 1 + compiler/typecheck/TcInstDcls.lhs | 1 + compiler/typecheck/TcSplice.lhs | 1 + compiler/typecheck/TcType.lhs | 1 + compiler/types/CoAxiom.lhs | 258 +++++++++++++++++++++ compiler/types/Coercion.lhs | 1 + compiler/types/FamInstEnv.lhs | 1 + compiler/types/OptCoercion.lhs | 1 + compiler/types/TyCon.lhs | 232 +------------------ compiler/types/Type.lhs | 1 + compiler/types/TypeRep.lhs | 1 + compiler/vectorise/Vectorise/Generic/PADict.hs | 1 + compiler/vectorise/Vectorise/Generic/PAMethods.hs | 1 + compiler/vectorise/Vectorise/Type/Env.hs | 1 + compiler/vectorise/Vectorise/Utils/PADict.hs | 1 + docs/core-spec/CoreLint.ott | 36 +++- docs/core-spec/CoreSyn.ott | 37 ++- docs/core-spec/core-spec.mng | 21 ++- docs/core-spec/core-spec.pdf | Bin 303537 -> 308357 bytes 31 files changed, 366 insertions(+), 273 deletions(-) Diff suppressed because of size. To see it, use: git show 467d575eb1280b16eccd60138acb4597cc86698f _______________________________________________ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc