diff options
| author | Alex Biehl <alexbiehl@gmail.com> | 2017-06-23 18:30:45 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-06-23 18:30:45 +0200 |
| commit | 2d919a367139482cd76398ca1e90dff6f5427779 (patch) | |
| tree | 40a7faef20a633d831d8e098f02c2b6bfbfe61c0 /html-test/src | |
| parent | cf7addb983bd2079b221199f8ec09c8edaeb8956 (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.hs | 3 | ||||
| -rw-r--r-- | html-test/src/PR643_1.hs | 7 |
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 = () |