diff options
author | Alec Theriault <alec.theriault@gmail.com> | 2018-10-25 20:16:46 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-10-25 20:16:46 -0700 |
commit | cd520e9907b9a56cae5a2e51413eef1522a37bbb (patch) | |
tree | fdf7926aaa9b7a14dbf9b5bc864f19636facd80a /html-test/src | |
parent | b4b68d73df3485f3b0ea59c6170805788a09c593 (diff) |
Avoid more conflicts in generated ids (#954)
This fixes #953 by passing more names into the generated ids.
Diffstat (limited to 'html-test/src')
-rw-r--r-- | html-test/src/Bug953.hs | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/html-test/src/Bug953.hs b/html-test/src/Bug953.hs new file mode 100644 index 00000000..63f2c45a --- /dev/null +++ b/html-test/src/Bug953.hs @@ -0,0 +1,17 @@ +module Bug953 where + +{- | A foo + +==== __Examples__ + +Foo example body +-} +data Foo = Foo' + +{- | A bar + +==== __Examples__ + +Bar example body +-} +data Bar = Bar' |