aboutsummaryrefslogtreecommitdiff
path: root/html-test/src
diff options
context:
space:
mode:
authorAlex Biehl <alexbiehl@gmail.com>2017-06-23 18:30:45 +0200
committerGitHub <noreply@github.com>2017-06-23 18:30:45 +0200
commit2d919a367139482cd76398ca1e90dff6f5427779 (patch)
tree40a7faef20a633d831d8e098f02c2b6bfbfe61c0 /html-test/src
parentcf7addb983bd2079b221199f8ec09c8edaeb8956 (diff)
Don't include names with empty subordinates in maps (#644)
These are unecessary anyway and just blow up interface size
Diffstat (limited to 'html-test/src')
-rw-r--r--html-test/src/PR643.hs3
-rw-r--r--html-test/src/PR643_1.hs7
2 files changed, 10 insertions, 0 deletions
diff --git a/html-test/src/PR643.hs b/html-test/src/PR643.hs
new file mode 100644
index 00000000..565e5b57
--- /dev/null
+++ b/html-test/src/PR643.hs
@@ -0,0 +1,3 @@
+module PR643 (test) where
+
+import PR643_1
diff --git a/html-test/src/PR643_1.hs b/html-test/src/PR643_1.hs
new file mode 100644
index 00000000..ecd0db94
--- /dev/null
+++ b/html-test/src/PR643_1.hs
@@ -0,0 +1,7 @@
+module PR643_1 where
+
+infixr 5 `test`
+
+-- | Some big documentation
+test :: ()
+test = ()