From c7f45440016ec1502209f13006682de89021eb3b Mon Sep 17 00:00:00 2001
From: simonpj <unknown>
Date: Wed, 2 Mar 2005 18:22:11 +0000
Subject: [PATCH] [project @ 2005-03-02 18:22:11 by simonpj] Add note about
 defaulting

---
 ghc/docs/users_guide/ghci.xml |    3 +++
 1 file changed, 3 insertions(+)

diff --git a/ghc/docs/users_guide/ghci.xml b/ghc/docs/users_guide/ghci.xml
index 8914901..1485485 100644
--- a/ghc/docs/users_guide/ghci.xml
+++ b/ghc/docs/users_guide/ghci.xml
@@ -664,6 +664,9 @@ Wed Mar 14 12:23:13 GMT 2001
    and at least one is either a numeric class <emphasis>or the <literal>Show</literal>, 
    <literal>Eq</literal>, or <literal>Ord</literal> class</emphasis>,
    GHCi will try to use one of the <literal>default</literal> types, just as described in the Report.
+   The standard defaulting rules require that one of the classes is numeric; the difference here
+   is that defaulting is also triggered at least one is <literal>Show</literal>, 
+   <literal>Eq</literal>, or <literal>Ord</literal>.  
    </para>
     </sect2>
   </sect1>
-- 
1.7.10.4