[commit: ghc] type-nats: Disable widening rules for the moment. (fc2a968)

[Iavor Diatchki]

Repository : ssh://darcs.haskell.org//srv/darcs/ghc

On branch  : type-nats

http://hackage.haskell.org/trac/ghc/changeset/fc2a968886a5b1335658062b2119e7d45b16c1e7

>---------------------------------------------------------------

commit fc2a968886a5b1335658062b2119e7d45b16c1e7
Author: Iavor S. Diatchki <diatchki at galois.com>
Date:   Mon Jul 23 10:26:35 2012 -0700

    Disable widening rules for the moment.

>---------------------------------------------------------------

 compiler/typecheck/TcTypeNatsRules.hs |    5 +++--
 1 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/compiler/typecheck/TcTypeNatsRules.hs b/compiler/typecheck/TcTypeNatsRules.hs
index 388d94b..ff0348d 100644
--- a/compiler/typecheck/TcTypeNatsRules.hs
+++ b/compiler/typecheck/TcTypeNatsRules.hs
@@ -153,7 +153,8 @@ theRules =
 
 
 widenRules :: [(Bool,CoAxiomRule)]
-widenRules =
+widenRules = []
+{-
   [ (True, mkAx 40 "AddComm" (take 3 natVars)
             [ mkAdd a b === c ] (mkAdd b a === c))
 
@@ -165,7 +166,7 @@ widenRules =
   ]
   where
   a : b : c : _ = map mkTyVarTy natVars
-
+-}