diff options
| -rw-r--r-- | examples/Bug6.hs | 5 | ||||
| -rw-r--r-- | examples/Bug7.hs | 12 |
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 |