Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats
http://hackage.haskell.org/trac/ghc/changeset/520d502d2257981afaae37a4454ad57e779125da >--------------------------------------------------------------- commit 520d502d2257981afaae37a4454ad57e779125da Author: Iavor S. Diatchki <iavor.diatc...@gmail.com> Date: Tue Dec 25 13:14:14 2012 -0800 Add TyThing entries for all rules. >--------------------------------------------------------------- compiler/typecheck/TcTypeNatsRules.hs | 4 +++- 1 files changed, 3 insertions(+), 1 deletions(-) diff --git a/compiler/typecheck/TcTypeNatsRules.hs b/compiler/typecheck/TcTypeNatsRules.hs index 8c12d65..9439081 100644 --- a/compiler/typecheck/TcTypeNatsRules.hs +++ b/compiler/typecheck/TcTypeNatsRules.hs @@ -24,13 +24,15 @@ import OccName ( mkOccName, tcName ) import Unique ( mkAxiomRuleUnique ) - typeNatRuleThings :: [TyThing] typeNatRuleThings = map ACoAxiomRule $ [ axAddDef, axMulDef, axExpDef, axLeqDef ] + ++ [ leq0, leqRefl, leqTrans, leqAsym ] ++ bRules ++ map snd impRules ++ map snd widenRules + ++ iffRules + -------------------------------------------------------------------------------- _______________________________________________ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc