Complete support for inferring types for top-level bindings.

6 files changed, 73 insertions, 5 deletions

diff --git a/tests/html-tests/tests/Bug8.hs b/tests/html-tests/tests/Bug8.hs
index 0f279c29..18df63c8 100644
--- a/tests/html-tests/tests/Bug8.hs
+++ b/tests/html-tests/tests/Bug8.hs
@@ -1,6 +1,3 @@
-{- Note that declarations without type signatures are not included in the
-   documentation. They could be, but that's a missing feature. -}
-
 module Bug8 where
 
 infix -->
diff --git a/tests/html-tests/tests/Bug8.html.ref b/tests/html-tests/tests/Bug8.html.ref
index ee0637b9..05d3ebeb 100644
--- a/tests/html-tests/tests/Bug8.html.ref
+++ b/tests/html-tests/tests/Bug8.html.ref
@@ -82,6 +82,42 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug8.html");};
 	      ></table
 	    ></div
 	  ></div
+	><div class="top"
+	><p class="src"
+	  ><a name="v:-45--45--62-" class="def"
+	    >(--&gt;)</a
+	    > ::  t -&gt; t1 -&gt; <a href=""
+	    >Typ</a
+	    ></p
+	  ></div
+	><div class="top"
+	><p class="src"
+	  ><a name="v:-45--45--45--62-" class="def"
+	    >(---&gt;)</a
+	    > ::  [a] -&gt; <a href=""
+	    >Typ</a
+	    > -&gt; <a href=""
+	    >Typ</a
+	    ></p
+	  ></div
+	><div class="top"
+	><p class="src"
+	  ><a name="v:s" class="def"
+	    >s</a
+	    > ::  a</p
+	  ></div
+	><div class="top"
+	><p class="src"
+	  ><a name="v:t" class="def"
+	    >t</a
+	    > ::  a</p
+	  ></div
+	><div class="top"
+	><p class="src"
+	  ><a name="v:main" class="def"
+	    >main</a
+	    > ::  a</p
+	  ></div
 	></div
       ></div
     ><div id="footer"
diff --git a/tests/html-tests/tests/QuasiExpr.html.ref b/tests/html-tests/tests/QuasiExpr.html.ref
index 0d59ecc8..8241c3f7 100644
--- a/tests/html-tests/tests/QuasiExpr.html.ref
+++ b/tests/html-tests/tests/QuasiExpr.html.ref
@@ -196,6 +196,12 @@ window.onload = function () {pageLoad();setSynopsis("mini_QuasiExpr.html");};
 	  ></div
 	><div class="top"
 	><p class="src"
+	  ><a name="v:expr" class="def"
+	    >expr</a
+	    > :: QuasiQuoter</p
+	  ></div
+	><div class="top"
+	><p class="src"
 	  ><a name="v:parseExprExp" class="def"
 	    >parseExprExp</a
 	    > :: <a href=""
diff --git a/tests/html-tests/tests/TH2.hs b/tests/html-tests/tests/TH2.hs
index f8f27710..ea85e547 100644
--- a/tests/html-tests/tests/TH2.hs
+++ b/tests/html-tests/tests/TH2.hs
@@ -4,5 +4,4 @@ module TH2 where
 
 import TH
 
--- we can't add a type sig here, so we get no doc
 $( decl )
diff --git a/tests/html-tests/tests/TH2.html.ref b/tests/html-tests/tests/TH2.html.ref
index 9fc9a056..3d284850 100644
--- a/tests/html-tests/tests/TH2.html.ref
+++ b/tests/html-tests/tests/TH2.html.ref
@@ -42,7 +42,15 @@ window.onload = function () {pageLoad();setSynopsis("mini_TH2.html");};
 	>TH2</p
 	></div
       ><div id="interface"
-      ></div
+      ><h1
+	>Documentation</h1
+	><div class="top"
+	><p class="src"
+	  ><a name="v:f" class="def"
+	    >f</a
+	    > ::  t -&gt; t</p
+	  ></div
+	></div
       ></div
     ><div id="footer"
     ><p
diff --git a/tests/html-tests/tests/TypeFamilies.html.ref b/tests/html-tests/tests/TypeFamilies.html.ref
index 40c949b8..a3d94bb0 100644
--- a/tests/html-tests/tests/TypeFamilies.html.ref
+++ b/tests/html-tests/tests/TypeFamilies.html.ref
@@ -81,6 +81,16 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");};
 	    > <a href=""
 	    >F</a
 	    > a </li
+	  ><li class="src short"
+	  ><a href=""
+	    >g</a
+	    > :: <a href=""
+	    >B</a
+	    > <a href=""
+	    >Int</a
+	    > <a href=""
+	    >Integer</a
+	    ></li
 	  ></ul
 	></div
       ><div id="interface"
@@ -177,6 +187,18 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");};
 </p
 	    ></div
 	  ></div
+	><div class="top"
+	><p class="src"
+	  ><a name="v:g" class="def"
+	    >g</a
+	    > :: <a href=""
+	    >B</a
+	    > <a href=""
+	    >Int</a
+	    > <a href=""
+	    >Integer</a
+	    ></p
+	  ></div
 	></div
       ></div
     ><div id="footer"