From 2d919a367139482cd76398ca1e90dff6f5427779 Mon Sep 17 00:00:00 2001 From: Alex Biehl Date: Fri, 23 Jun 2017 18:30:45 +0200 Subject: Don't include names with empty subordinates in maps (#644) These are unecessary anyway and just blow up interface size --- html-test/src/PR643.hs | 3 +++ html-test/src/PR643_1.hs | 7 +++++++ 2 files changed, 10 insertions(+) create mode 100644 html-test/src/PR643.hs create mode 100644 html-test/src/PR643_1.hs (limited to 'html-test/src') 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 = () -- cgit v1.2.3