[haddock @ 2004-03-25 10:02:41 by simonmar]

Duplicate instance bug.

2 files changed, 16 insertions, 1 deletions

diff --git a/examples/Bug6.hs b/examples/Bug6.hs
index 88290009..498983df 100644
--- a/examples/Bug6.hs
+++ b/examples/Bug6.hs
@@ -1,5 +1,5 @@
 -- | Exporting records.
-module Bug6( A(A), B(B), b, C(C,c1,c2), D(D,d1) ) where
+module Bug6( A(A), B(B), b, C(C,c1,c2), D(D,d1), E(E) ) where
 
 -- |
 -- This record is exported without its field
@@ -18,3 +18,6 @@ data C = C { c1 :: Int, c2 :: Int }
 -- .. with only some of the fields exported (we can't handle this one -
 -- how do we render the declaration?)
 data D = D { d1 :: Int, d2 :: Int }
+
+-- | a newtype with a field
+newtype E = E { e :: Int }
diff --git a/examples/Bug7.hs b/examples/Bug7.hs
new file mode 100644
index 00000000..8cf57914
--- /dev/null
+++ b/examples/Bug7.hs
@@ -0,0 +1,12 @@
+-- | This module caused a duplicate instance in the documentation for the Foo
+-- type.
+module Bug7  where
+
+-- | The Foo datatype
+data Foo = Foo
+
+-- | The Bar class
+class Bar x y
+
+-- | Just one instance
+instance Bar Foo Foo