Repository : ssh://[email protected]/ghc On branch : type-nats-simple Link : http://ghc.haskell.org/trac/ghc/changeset/bce80c5fac93356fba30fc855b006cbe39b3e5fb/ghc
>--------------------------------------------------------------- commit bce80c5fac93356fba30fc855b006cbe39b3e5fb Author: Iavor S. Diatchki <[email protected]> Date: Sat Sep 7 12:24:50 2013 -0700 Redo axiom rules, so that they just keep a FastString rather than a Name. This is simpler, and sufficient, because CoAxiomRules are only ever built into the compier, and there is no way for the user to introduce them (at least, not yet!) >--------------------------------------------------------------- bce80c5fac93356fba30fc855b006cbe39b3e5fb compiler/basicTypes/Unique.lhs | 7 --- compiler/coreSyn/CoreLint.lhs | 2 +- compiler/coreSyn/TrieMap.lhs | 10 +-- compiler/iface/IfaceSyn.lhs | 6 +- compiler/iface/IfaceType.lhs | 4 +- compiler/iface/MkIface.lhs | 2 - compiler/iface/TcIface.lhs | 8 ++- compiler/main/HscTypes.lhs | 2 - compiler/main/PprTyThing.hs | 2 - compiler/prelude/PrelInfo.lhs | 8 +-- compiler/typecheck/TcEvidence.lhs | 2 +- compiler/typecheck/TcTypeNats.hs | 108 +++++++++++---------------------- compiler/typecheck/TcTypeNats.hs-boot | 4 +- compiler/types/CoAxiom.lhs | 13 ++-- compiler/types/TypeRep.lhs | 3 - ghc/GhciTags.hs | 2 - 16 files changed, 63 insertions(+), 120 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 bce80c5fac93356fba30fc855b006cbe39b3e5fb _______________________________________________ ghc-commits mailing list [email protected] http://www.haskell.org/mailman/listinfo/ghc-commits
