From da6d68163ee3744ea8db66702b6937ebe57c86b2 Mon Sep 17 00:00:00 2001 From: David Waern Date: Tue, 27 Dec 2011 20:50:26 +0100 Subject: Complete support for inferring types for top-level bindings. --- tests/html-tests/tests/Bug8.hs | 3 --- tests/html-tests/tests/Bug8.html.ref | 36 ++++++++++++++++++++++++++++ tests/html-tests/tests/QuasiExpr.html.ref | 6 +++++ tests/html-tests/tests/TH2.hs | 1 - tests/html-tests/tests/TH2.html.ref | 10 +++++++- tests/html-tests/tests/TypeFamilies.html.ref | 22 +++++++++++++++++ 6 files changed, 73 insertions(+), 5 deletions(-) (limited to 'tests/html-tests') 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");}; >

(-->) :: t -> t1 -> Typ

(--->) :: [a] -> Typ -> Typ

s :: a

t :: a

main :: a

expr :: QuasiQuoter

parseExprExpTH2

Documentation

f :: t -> t

g :: B Int Integer