Repository : ssh://[email protected]/ghc On branch : type-nats Link : http://ghc.haskell.org/trac/ghc/changeset/d1abc675a1f3e51e2ccc655270191785c39d5230/ghc
>--------------------------------------------------------------- commit d1abc675a1f3e51e2ccc655270191785c39d5230 Author: Iavor S. Diatchki <[email protected]> Date: Sun Sep 1 14:29:53 2013 -0700 Current implementation of type-nats solver. >--------------------------------------------------------------- d1abc675a1f3e51e2ccc655270191785c39d5230 compiler/basicTypes/Unique.lhs | 5 + compiler/coreSyn/CoreLint.lhs | 31 + compiler/coreSyn/MkExternalCore.lhs | 1 + compiler/coreSyn/TrieMap.lhs | 16 +- compiler/deSugar/DsBinds.lhs | 4 + compiler/ghc.cabal.in | 3 + compiler/iface/IfaceSyn.lhs | 5 + compiler/iface/IfaceType.lhs | 23 + compiler/iface/MkIface.lhs | 3 + compiler/iface/TcIface.lhs | 12 + compiler/main/HscTypes.lhs | 2 + compiler/main/PprTyThing.hs | 2 + compiler/prelude/PrelInfo.lhs | 3 + compiler/prelude/PrelNames.lhs | 41 +- compiler/prelude/TysWiredIn.lhs | 134 +++- compiler/typecheck/TcEvidence.lhs | 26 +- compiler/typecheck/TcHsSyn.lhs | 4 + compiler/typecheck/TcInteract.lhs | 5 +- compiler/typecheck/TcSMonad.lhs | 3 + compiler/typecheck/TcType.lhs | 2 + compiler/typecheck/TcTypeNats.hs | 1428 +++++++++++++++++++++++++++++++++ compiler/typecheck/TcTypeNatsEval.hs | 204 +++++ compiler/typecheck/TcTypeNatsRules.hs | 267 ++++++ compiler/types/CoAxiom.lhs | 83 +- compiler/types/Coercion.lhs | 38 + compiler/types/OptCoercion.lhs | 6 + compiler/types/Type.lhs | 60 ++ compiler/types/TypeRep.lhs | 4 + compiler/types/TypeRep.lhs-boot | 1 + ghc/GhciTags.hs | 3 + 30 files changed, 2401 insertions(+), 18 deletions(-) Diff suppressed because of size. To see it, use: git diff-tree --root --patch-with-stat --no-color --find-copies-harder --ignore-space-at-eol --cc d1abc675a1f3e51e2ccc655270191785c39d5230 _______________________________________________ ghc-commits mailing list [email protected] http://www.haskell.org/mailman/listinfo/ghc-commits
