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

Reply via email to