Repository : ssh://[email protected]/ghc On branch : type-nats-simple Link : http://ghc.haskell.org/trac/ghc/changeset/e27d1a8c81833a51e9eeb9f9418d95b216aad2a3/ghc
>--------------------------------------------------------------- commit e27d1a8c81833a51e9eeb9f9418d95b216aad2a3 Author: Iavor S. Diatchki <[email protected]> Date: Tue Sep 3 22:50:03 2013 -0700 Add a new evidence constructor: CoAxiomRule This is used to represent generic evidence rules of the form: forall as. (s1 ~ t1, ..., sn ~ tn) => (p ~ q) The plan is to use to record evidence for evaluating built-in type-level functions (e.g., evaluation of type-level natural numbers). >--------------------------------------------------------------- e27d1a8c81833a51e9eeb9f9418d95b216aad2a3 compiler/basicTypes/Unique.lhs | 7 +++++ compiler/coreSyn/CoreLint.lhs | 24 +++++++++++++++ compiler/coreSyn/MkExternalCore.lhs | 2 ++ compiler/coreSyn/TrieMap.lhs | 24 ++++++++++++--- compiler/deSugar/DsBinds.lhs | 5 ++++ compiler/iface/IfaceSyn.lhs | 4 +++ compiler/iface/IfaceType.lhs | 18 ++++++++++++ compiler/iface/MkIface.lhs | 2 ++ compiler/iface/TcIface.lhs | 10 +++++++ compiler/main/HscTypes.lhs | 2 ++ compiler/main/PprTyThing.hs | 2 ++ compiler/typecheck/TcEvidence.lhs | 30 +++++++++++++++++++ compiler/typecheck/TcHsSyn.lhs | 4 +++ compiler/typecheck/TcType.lhs | 2 ++ compiler/types/CoAxiom.lhs | 55 ++++++++++++++++++++++++++++++++++- compiler/types/Coercion.lhs | 51 ++++++++++++++++++++++++++++++++ compiler/types/OptCoercion.lhs | 9 ++++++ compiler/types/TypeRep.lhs | 3 ++ ghc/GhciTags.hs | 2 ++ 19 files changed, 251 insertions(+), 5 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 e27d1a8c81833a51e9eeb9f9418d95b216aad2a3 _______________________________________________ ghc-commits mailing list [email protected] http://www.haskell.org/mailman/listinfo/ghc-commits
