diff options
| author | Alec Theriault <alec.theriault@gmail.com> | 2019-02-10 03:32:52 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-02-10 03:32:52 -0800 |
| commit | 4e8321de13225f1f5bdec8f39993e9b1aa0831a8 (patch) | |
| tree | 60921605598bbec75a6c5c0c2fa1ad2a8c973ff9 | |
| parent | 8ceef39304cf14741f08abdaac26099f9f1b8055 (diff) | |
Removes `haddock-test`s dependency on `xml`/`xhtml` (#1027)
This means that `html-test`, `latex-test`, `hoogle-test`, and
`hypsrc-test` now only depend on GHC boot libs. So we should
now be able to build and run these as part of GHC's testsuite. \o/
The reference output has changed very slightly, in three ways:
* we don't convert quotes back into `"` as the `xml` lib did
* we don't add extra ` ` as the `xml` lib did
* we now remove the entire footer `div` (instead of just emptying it)
117 files changed, 523 insertions, 710 deletions
diff --git a/haddock-test/haddock-test.cabal b/haddock-test/haddock-test.cabal index 8d6f986a..a656d707 100644 --- a/haddock-test/haddock-test.cabal +++ b/haddock-test/haddock-test.cabal @@ -16,7 +16,7 @@ library default-language: Haskell2010 ghc-options: -Wall hs-source-dirs: src - build-depends: base >= 4.3 && < 4.13, bytestring, directory, process, filepath, Cabal, xml, xhtml + build-depends: base >= 4.3 && < 4.13, bytestring, directory, process, filepath, Cabal exposed-modules: Test.Haddock diff --git a/haddock-test/src/Test/Haddock/Xhtml.hs b/haddock-test/src/Test/Haddock/Xhtml.hs index 6c19dbca..bca2c4cc 100644 --- a/haddock-test/src/Test/Haddock/Xhtml.hs +++ b/haddock-test/src/Test/Haddock/Xhtml.hs @@ -1,107 +1,126 @@ -{-# LANGUAGE RecordWildCards #-} -{-# LANGUAGE StandaloneDeriving #-} -{-# LANGUAGE TypeApplications #-} -{-# LANGUAGE ScopedTypeVariables #-} -{-# LANGUAGE GADTs #-} -{-# OPTIONS_GHC -fno-warn-orphans #-} - module Test.Haddock.Xhtml - ( Xml(..) + ( Xml , parseXml, dumpXml , stripLinks, stripLinksWhen, stripAnchorsWhen, stripIdsWhen, stripFooter ) where -import Data.Data ( Data(..), Typeable, eqT, (:~:)(..) ) -import Text.XML.Light -import Text.XHtml (Html, HtmlAttr, (!)) -import qualified Text.XHtml as Xhtml - - -newtype Xml = Xml - { xmlElement :: Element - } deriving Eq +{- +This module used to actually parse the HTML (using the `xml` parsing library) +which made it was possible to do more proper normalization of things like ids or +names. +However, in the interests of being able to run this from within the GHC +testsuite (where non-bootlib dependencies are a liability), this was swapped +out for some simple string manipulation. Since the test cases aren't very +and since the `xhtml` library already handles the pretty-printing aspect, +this would appear to be a reasonable compromise for now. +-} -deriving instance Eq Element -deriving instance Eq Content -deriving instance Eq CData - --- | Similar to @everywhere (mkT f) x@ from SYB. -gmapEverywhere :: forall a b. (Data a, Typeable b) => (b -> b) -> a -> a -gmapEverywhere f x = gmapT (gmapEverywhere f) $ case eqT @a @b of - Nothing -> x - Just Refl -> f x +import Data.List ( stripPrefix, isPrefixOf ) +import Data.Char ( isSpace ) +-- | Simple wrapper around the pretty-printed HTML source +newtype Xml = Xml { unXml :: String } +-- | Part of parsing involves dropping the @DOCTYPE@ line parseXml :: String -> Maybe Xml -parseXml = fmap Xml . parseXMLDoc - +parseXml = Just . Xml . dropDocTypeLine + where + dropDocTypeLine bs + | "<!DOCTYPE" `isPrefixOf` bs + = drop 1 (dropWhile (/= '\n') bs) + | otherwise + = bs dumpXml :: Xml -> String -dumpXml = Xhtml.renderHtmlFragment. xmlElementToXhtml . xmlElement - - +dumpXml = unXml + +type Attr = String +type Value = String + +-- | Almost all sanitization operations take the form of: +-- +-- * match an attribute key +-- * check something about the value +-- * if the check succeeded, replace the value with a dummy value +-- +stripAttrValueWhen + :: Attr -- ^ attribute key + -> Value -- ^ dummy attribute value + -> (Value -> Bool) -- ^ determine whether we should modify the attribute + -> Xml -- ^ input XML + -> Xml -- ^ output XML +stripAttrValueWhen key fallback p (Xml body) = Xml (filterAttrs body) + where + keyEq = key ++ "=\"" + + filterAttrs "" = "" + filterAttrs b@(c:cs) + | Just valRest <- stripPrefix keyEq b + , Just (val,rest) <- spanToEndOfString valRest + = if p val + then keyEq ++ fallback ++ "\"" ++ filterAttrs rest + else keyEq ++ val ++ "\"" ++ filterAttrs rest + + | otherwise + = c : filterAttrs cs + +-- | Spans to the next (unescaped) @\"@ character. +-- +-- >>> spanToEndOfString "no closing quotation" +-- Nothing +-- >>> spanToEndOfString "foo\" bar \"baz\"" +-- Just ("foo", " bar \"baz\"") +-- >>> spanToEndOfString "foo\\\" bar \"baz\"" +-- Just ("foo\\\" bar ", "baz\"") +-- +spanToEndOfString :: String -> Maybe (String, String) +spanToEndOfString ('"':rest) = Just ("", rest) +spanToEndOfString ('\\':c:rest) + | Just (str, rest') <- spanToEndOfString rest + = Just ('\\':c:str, rest') +spanToEndOfString (c:rest) + | Just (str, rest') <- spanToEndOfString rest + = Just (c:str, rest') +spanToEndOfString _ = Nothing + + +-- | Replace hyperlink targets with @\"#\"@ if they match a predicate +stripLinksWhen :: (Value -> Bool) -> Xml -> Xml +stripLinksWhen = stripAttrValueWhen "href" "#" + +-- | Replace all hyperlink targets with @\"#\"@ stripLinks :: Xml -> Xml stripLinks = stripLinksWhen (const True) +-- | Replace id's with @\"\"@ if they match a predicate +stripIdsWhen :: (Value -> Bool) -> Xml -> Xml +stripIdsWhen = stripAttrValueWhen "id" "" -stripLinksWhen :: (String -> Bool) -> Xml -> Xml -stripLinksWhen p = - processAnchors unlink - where - unlink attr@(Attr { attrKey = key, attrVal = val }) - | qName key == "href" && p val = attr { attrVal = "#" } - | otherwise = attr - - -stripAnchorsWhen :: (String -> Bool) -> Xml -> Xml -stripAnchorsWhen p = - processAnchors unname - where - unname attr@(Attr { attrKey = key, attrVal = val }) - | qName key == "name" && p val = attr { attrVal = "" } - | otherwise = attr - -stripIdsWhen :: (String -> Bool) -> Xml -> Xml -stripIdsWhen p = - processAnchors unname - where - unname attr@(Attr { attrKey = key, attrVal = val }) - | qName key == "id" && p val = attr { attrVal = "" } - | otherwise = attr - - -processAnchors :: (Attr -> Attr) -> Xml -> Xml -processAnchors f = Xml . gmapEverywhere f . xmlElement - +-- | Replace names's with @\"\"@ if they match a predicate +stripAnchorsWhen :: (Value -> Bool) -> Xml -> Xml +stripAnchorsWhen = stripAttrValueWhen "name" "" +-- | Remove the @div@ which has @id=\"footer\"@ stripFooter :: Xml -> Xml -stripFooter = - Xml . gmapEverywhere defoot . xmlElement - where - defoot el - | isFooter el = el { elContent = [] } - | otherwise = el - isFooter el = any isFooterAttr $ elAttribs el - isFooterAttr (Attr { .. }) = and - [ qName attrKey == "id" - , attrVal == "footer" - ] - - -xmlElementToXhtml :: Element -> Html -xmlElementToXhtml (Element { .. }) = - Xhtml.tag (qName elName) contents ! attrs +stripFooter (Xml body) = Xml (findDiv body) where - contents = mconcat $ map xmlContentToXhtml elContent - attrs = map xmlAttrToXhtml elAttribs + findDiv "" = "" + findDiv b@(c:cs) + | Just divRest <- stripPrefix "<div id=\"footer\"" b + , Just rest <- dropToDiv divRest + = rest + | otherwise + = c : findDiv cs -xmlContentToXhtml :: Content -> Html -xmlContentToXhtml (Elem el) = xmlElementToXhtml el -xmlContentToXhtml (Text text) = Xhtml.toHtml $ cdData text -xmlContentToXhtml (CRef _) = Xhtml.noHtml + dropToDiv "" = Nothing + dropToDiv b@(_:cs) + | Just valRest <- stripPrefix "</div" b + , valRest' <- dropWhile isSpace valRest + , Just valRest'' <- stripPrefix ">" valRest' + = Just valRest'' + | otherwise + = dropToDiv cs -xmlAttrToXhtml :: Attr -> HtmlAttr -xmlAttrToXhtml (Attr { .. }) = Xhtml.strAttr (qName attrKey) attrVal diff --git a/html-test/ref/A.html b/html-test/ref/A.html index 567e23f2..482180fc 100644 --- a/html-test/ref/A.html +++ b/html-test/ref/A.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -106,7 +106,7 @@ >A</a ></td ><td class="doc empty" - ></td + > </td ></tr ></table ></div @@ -181,8 +181,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html > diff --git a/html-test/ref/Bold.html b/html-test/ref/Bold.html index 67db2642..21eb99c7 100644 --- a/html-test/ref/Bold.html +++ b/html-test/ref/Bold.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -93,8 +93,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html > diff --git a/html-test/ref/Bug1.html b/html-test/ref/Bug1.html index 56f70d1f..99a5ff9d 100644 --- a/html-test/ref/Bug1.html +++ b/html-test/ref/Bug1.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -89,15 +89,13 @@ >T</a ></td ><td class="doc empty" - ></td + > </td ></tr ></table ></div ></div ></div ></div - ><div id="footer" - ></div ></body ></html > diff --git a/html-test/ref/Bug195.html b/html-test/ref/Bug195.html index fc86fa34..3a292244 100644 --- a/html-test/ref/Bug195.html +++ b/html-test/ref/Bug195.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -64,7 +64,7 @@ >A</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -102,7 +102,7 @@ >B</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -140,7 +140,7 @@ >C</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -177,8 +177,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html > diff --git a/html-test/ref/Bug2.html b/html-test/ref/Bug2.html index 0ae3fa50..6a3b91d4 100644 --- a/html-test/ref/Bug2.html +++ b/html-test/ref/Bug2.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -57,8 +57,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html > diff --git a/html-test/ref/Bug201.html b/html-test/ref/Bug201.html index c7a72711..718d95fd 100644 --- a/html-test/ref/Bug201.html +++ b/html-test/ref/Bug201.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -98,8 +98,6 @@ because there's a space before closing @ ></div ></div ></div - ><div id="footer" - ></div ></body ></html > diff --git a/html-test/ref/Bug253.html b/html-test/ref/Bug253.html index a1c0f905..ef225aec 100644 --- a/html-test/ref/Bug253.html +++ b/html-test/ref/Bug253.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -93,8 +93,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html > diff --git a/html-test/ref/Bug26.html b/html-test/ref/Bug26.html index d2b31f12..9547b82a 100644 --- a/html-test/ref/Bug26.html +++ b/html-test/ref/Bug26.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -205,8 +205,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Bug280.html b/html-test/ref/Bug280.html index 76ff4bf1..a29b28b3 100644 --- a/html-test/ref/Bug280.html +++ b/html-test/ref/Bug280.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -73,8 +73,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html > diff --git a/html-test/ref/Bug294.html b/html-test/ref/Bug294.html index 9e5794fc..1a75c1aa 100644 --- a/html-test/ref/Bug294.html +++ b/html-test/ref/Bug294.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -77,7 +77,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -119,7 +119,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -217,7 +217,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -279,7 +279,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -339,7 +339,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -367,8 +367,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Bug298.html b/html-test/ref/Bug298.html index 79271c3c..30d87d42 100644 --- a/html-test/ref/Bug298.html +++ b/html-test/ref/Bug298.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -135,8 +135,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html > diff --git a/html-test/ref/Bug3.html b/html-test/ref/Bug3.html index 54f99469..ea2d32d2 100644 --- a/html-test/ref/Bug3.html +++ b/html-test/ref/Bug3.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -76,8 +76,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html > diff --git a/html-test/ref/Bug308.html b/html-test/ref/Bug308.html index 366950a3..fa2f8afc 100644 --- a/html-test/ref/Bug308.html +++ b/html-test/ref/Bug308.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -107,8 +107,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html > diff --git a/html-test/ref/Bug308CrossModule.html b/html-test/ref/Bug308CrossModule.html index c7cabc23..68b2ae76 100644 --- a/html-test/ref/Bug308CrossModule.html +++ b/html-test/ref/Bug308CrossModule.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -85,8 +85,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html > diff --git a/html-test/ref/Bug310.html b/html-test/ref/Bug310.html index 7e958f2d..98dbe03f 100644 --- a/html-test/ref/Bug310.html +++ b/html-test/ref/Bug310.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -99,8 +99,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Bug313.html b/html-test/ref/Bug313.html index 10ff8f30..f144e5c7 100644 --- a/html-test/ref/Bug313.html +++ b/html-test/ref/Bug313.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -128,8 +128,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html > diff --git a/html-test/ref/Bug335.html b/html-test/ref/Bug335.html index ede41836..a6d2f388 100644 --- a/html-test/ref/Bug335.html +++ b/html-test/ref/Bug335.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -125,8 +125,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html > diff --git a/html-test/ref/Bug387.html b/html-test/ref/Bug387.html index ec9bbe8f..7e532aa0 100644 --- a/html-test/ref/Bug387.html +++ b/html-test/ref/Bug387.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -113,8 +113,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Bug4.html b/html-test/ref/Bug4.html index 45a52f8d..1b3e6182 100644 --- a/html-test/ref/Bug4.html +++ b/html-test/ref/Bug4.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -75,8 +75,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html > diff --git a/html-test/ref/Bug458.html b/html-test/ref/Bug458.html index 4c655e8d..96844558 100644 --- a/html-test/ref/Bug458.html +++ b/html-test/ref/Bug458.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -77,8 +77,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html > diff --git a/html-test/ref/Bug546.html b/html-test/ref/Bug546.html index 7ae15ba8..29ba04fd 100644 --- a/html-test/ref/Bug546.html +++ b/html-test/ref/Bug546.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -270,8 +270,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html > diff --git a/html-test/ref/Bug548.html b/html-test/ref/Bug548.html index e040e603..b46b278b 100644 --- a/html-test/ref/Bug548.html +++ b/html-test/ref/Bug548.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -70,7 +70,7 @@ >WrapArrow</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -84,7 +84,7 @@ >unwrapArrow</a > :: a b c</dfn ><div class="doc empty" - ></div + > </div ></li ></ul ></div @@ -115,7 +115,7 @@ >)</span ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -415,7 +415,7 @@ > a b c)</span ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -625,8 +625,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Bug574.html b/html-test/ref/Bug574.html index 592dd735..f087302c 100644 --- a/html-test/ref/Bug574.html +++ b/html-test/ref/Bug574.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -83,8 +83,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Bug6.html b/html-test/ref/Bug6.html index 97fb0c02..7acad1ea 100644 --- a/html-test/ref/Bug6.html +++ b/html-test/ref/Bug6.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -158,7 +158,7 @@ >Int</a ></td ><td class="doc empty" - ></td + > </td ></tr ></table ></div @@ -189,7 +189,7 @@ >Int</a ></td ><td class="doc empty" - ></td + > </td ></tr ></table ></div @@ -229,7 +229,7 @@ >C</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -245,7 +245,7 @@ >Int</a ></dfn ><div class="doc empty" - ></div + > </div ></li ><li ><dfn class="src" @@ -255,7 +255,7 @@ >Int</a ></dfn ><div class="doc empty" - ></div + > </div ></li ></ul ></div @@ -292,7 +292,7 @@ >Int</a ></td ><td class="doc empty" - ></td + > </td ></tr ></table ></div @@ -322,15 +322,13 @@ >Int</a ></td ><td class="doc empty" - ></td + > </td ></tr ></table ></div ></div ></div ></div - ><div id="footer" - ></div ></body ></html > diff --git a/html-test/ref/Bug613.html b/html-test/ref/Bug613.html index 8fb07e6d..4bcfcb13 100644 --- a/html-test/ref/Bug613.html +++ b/html-test/ref/Bug613.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -117,7 +117,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -159,7 +159,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -214,7 +214,7 @@ >ThreeVars</a > a b</td ><td class="doc empty" - ></td + > </td ></tr ></table ></div @@ -239,7 +239,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -273,8 +273,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Bug647.html b/html-test/ref/Bug647.html index 56197b09..549cb6bd 100644 --- a/html-test/ref/Bug647.html +++ b/html-test/ref/Bug647.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -99,8 +99,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html > diff --git a/html-test/ref/Bug679.html b/html-test/ref/Bug679.html index fe838b6a..9b7dcb86 100644 --- a/html-test/ref/Bug679.html +++ b/html-test/ref/Bug679.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -64,7 +64,7 @@ >Bar</a ></td ><td class="doc empty" - ></td + > </td ></tr ></table ></div @@ -89,7 +89,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -163,7 +163,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -197,8 +197,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Bug7.html b/html-test/ref/Bug7.html index 52d2d195..82d193f4 100644 --- a/html-test/ref/Bug7.html +++ b/html-test/ref/Bug7.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -99,7 +99,7 @@ >Foo</a ></td ><td class="doc empty" - ></td + > </td ></tr ></table ></div @@ -204,8 +204,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Bug8.html b/html-test/ref/Bug8.html index 170e0d9f..cc89a9ef 100644 --- a/html-test/ref/Bug8.html +++ b/html-test/ref/Bug8.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -68,7 +68,7 @@ >Typ</a >])</td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td class="src" @@ -80,7 +80,7 @@ >Typ</a >])</td ><td class="doc empty" - ></td + > </td ></tr ></table ></div @@ -143,8 +143,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html > diff --git a/html-test/ref/Bug85.html b/html-test/ref/Bug85.html index 57eaeb36..641d00bb 100644 --- a/html-test/ref/Bug85.html +++ b/html-test/ref/Bug85.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -68,7 +68,7 @@ >Foo</a > f (f x)</td ><td class="doc empty" - ></td + > </td ></tr ></table ></div @@ -96,7 +96,7 @@ >Baz</a ></td ><td class="doc empty" - ></td + > </td ></tr ></table ></div @@ -124,15 +124,13 @@ >Qux</a ></td ><td class="doc empty" - ></td + > </td ></tr ></table ></div ></div ></div ></div - ><div id="footer" - ></div ></body ></html > diff --git a/html-test/ref/Bug865.html b/html-test/ref/Bug865.html index c86d8ca3..b38acd12 100644 --- a/html-test/ref/Bug865.html +++ b/html-test/ref/Bug865.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -81,8 +81,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Bug923.html b/html-test/ref/Bug923.html index 1ad81835..47fced8e 100644 --- a/html-test/ref/Bug923.html +++ b/html-test/ref/Bug923.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -100,7 +100,7 @@ >(,)</a > a)</td ><td class="doc empty" - ></td + > </td ></tr ></table ></div @@ -193,8 +193,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Bug953.html b/html-test/ref/Bug953.html index 21976848..dde11618 100644 --- a/html-test/ref/Bug953.html +++ b/html-test/ref/Bug953.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -100,7 +100,7 @@ >Foo'</a ></td ><td class="doc empty" - ></td + > </td ></tr ></table ></div @@ -136,15 +136,13 @@ >Bar'</a ></td ><td class="doc empty" - ></td + > </td ></tr ></table ></div ></div ></div ></div - ><div id="footer" - ></div ></body ></html > diff --git a/html-test/ref/BugDeprecated.html b/html-test/ref/BugDeprecated.html index 0a3133e4..0d6fc277 100644 --- a/html-test/ref/BugDeprecated.html +++ b/html-test/ref/BugDeprecated.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -189,8 +189,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html > diff --git a/html-test/ref/BugExportHeadings.html b/html-test/ref/BugExportHeadings.html index 2e22cad1..d12ccafe 100644 --- a/html-test/ref/BugExportHeadings.html +++ b/html-test/ref/BugExportHeadings.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -223,8 +223,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Bugs.html b/html-test/ref/Bugs.html index ab658165..e5194bf7 100644 --- a/html-test/ref/Bugs.html +++ b/html-test/ref/Bugs.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -66,15 +66,13 @@ >Int</a >)</td ><td class="doc empty" - ></td + > </td ></tr ></table ></div ></div ></div ></div - ><div id="footer" - ></div ></body ></html > diff --git a/html-test/ref/BundledPatterns.html b/html-test/ref/BundledPatterns.html index 2840b3c7..afa12e2b 100644 --- a/html-test/ref/BundledPatterns.html +++ b/html-test/ref/BundledPatterns.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -165,7 +165,7 @@ >Vec</a > 0 a</td ><td class="doc empty" - ></td + > </td ></tr ></table ></div @@ -453,8 +453,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html > diff --git a/html-test/ref/BundledPatterns2.html b/html-test/ref/BundledPatterns2.html index a0bac80b..48493cf9 100644 --- a/html-test/ref/BundledPatterns2.html +++ b/html-test/ref/BundledPatterns2.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -272,7 +272,7 @@ >Vec</a > 0 a</td ><td class="doc empty" - ></td + > </td ></tr ></table ></div @@ -451,8 +451,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html > diff --git a/html-test/ref/ConstructorArgs.html b/html-test/ref/ConstructorArgs.html index cb677240..96f7d44c 100644 --- a/html-test/ref/ConstructorArgs.html +++ b/html-test/ref/ConstructorArgs.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -717,8 +717,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/ConstructorPatternExport.html b/html-test/ref/ConstructorPatternExport.html index c50d059a..c00401c9 100644 --- a/html-test/ref/ConstructorPatternExport.html +++ b/html-test/ref/ConstructorPatternExport.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -113,8 +113,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/DeprecatedClass.html b/html-test/ref/DeprecatedClass.html index f9321c87..1b77f6e0 100644 --- a/html-test/ref/DeprecatedClass.html +++ b/html-test/ref/DeprecatedClass.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -155,8 +155,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html > diff --git a/html-test/ref/DeprecatedData.html b/html-test/ref/DeprecatedData.html index c8a9c3c9..17dd2fb6 100644 --- a/html-test/ref/DeprecatedData.html +++ b/html-test/ref/DeprecatedData.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -185,8 +185,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html > diff --git a/html-test/ref/DeprecatedFunction.html b/html-test/ref/DeprecatedFunction.html index 787bdc15..ede78b2d 100644 --- a/html-test/ref/DeprecatedFunction.html +++ b/html-test/ref/DeprecatedFunction.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -103,8 +103,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html > diff --git a/html-test/ref/DeprecatedFunction2.html b/html-test/ref/DeprecatedFunction2.html index d1682d4e..31763f48 100644 --- a/html-test/ref/DeprecatedFunction2.html +++ b/html-test/ref/DeprecatedFunction2.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -77,8 +77,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html > diff --git a/html-test/ref/DeprecatedFunction3.html b/html-test/ref/DeprecatedFunction3.html index 4b946c65..84089112 100644 --- a/html-test/ref/DeprecatedFunction3.html +++ b/html-test/ref/DeprecatedFunction3.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -77,8 +77,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html > diff --git a/html-test/ref/DeprecatedModule.html b/html-test/ref/DeprecatedModule.html index f993d49a..ebb95524 100644 --- a/html-test/ref/DeprecatedModule.html +++ b/html-test/ref/DeprecatedModule.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -73,8 +73,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html > diff --git a/html-test/ref/DeprecatedModule2.html b/html-test/ref/DeprecatedModule2.html index 886eb45a..ff1af715 100644 --- a/html-test/ref/DeprecatedModule2.html +++ b/html-test/ref/DeprecatedModule2.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -67,8 +67,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html > diff --git a/html-test/ref/DeprecatedNewtype.html b/html-test/ref/DeprecatedNewtype.html index 6a1e4339..e4187d0e 100644 --- a/html-test/ref/DeprecatedNewtype.html +++ b/html-test/ref/DeprecatedNewtype.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -151,8 +151,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html > diff --git a/html-test/ref/DeprecatedReExport.html b/html-test/ref/DeprecatedReExport.html index e1d226c0..d739a5a1 100644 --- a/html-test/ref/DeprecatedReExport.html +++ b/html-test/ref/DeprecatedReExport.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -124,8 +124,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/DeprecatedRecord.html b/html-test/ref/DeprecatedRecord.html index 54b087dc..295fd95e 100644 --- a/html-test/ref/DeprecatedRecord.html +++ b/html-test/ref/DeprecatedRecord.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -98,7 +98,7 @@ >Foo</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -143,8 +143,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html > diff --git a/html-test/ref/DeprecatedTypeFamily.html b/html-test/ref/DeprecatedTypeFamily.html index 90f9e64b..f2292c79 100644 --- a/html-test/ref/DeprecatedTypeFamily.html +++ b/html-test/ref/DeprecatedTypeFamily.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -101,8 +101,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html > diff --git a/html-test/ref/DeprecatedTypeSynonym.html b/html-test/ref/DeprecatedTypeSynonym.html index 6ee1a4e2..f428c8b7 100644 --- a/html-test/ref/DeprecatedTypeSynonym.html +++ b/html-test/ref/DeprecatedTypeSynonym.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -109,8 +109,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html > diff --git a/html-test/ref/DuplicateRecordFields.html b/html-test/ref/DuplicateRecordFields.html index be7c23fa..7c892419 100644 --- a/html-test/ref/DuplicateRecordFields.html +++ b/html-test/ref/DuplicateRecordFields.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -64,7 +64,7 @@ >RawReplay</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -153,8 +153,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html > diff --git a/html-test/ref/Examples.html b/html-test/ref/Examples.html index aa975a38..cd04c69f 100644 --- a/html-test/ref/Examples.html +++ b/html-test/ref/Examples.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -168,8 +168,6 @@ bar ></div ></div ></div - ><div id="footer" - ></div ></body ></html > diff --git a/html-test/ref/Extensions.html b/html-test/ref/Extensions.html index d013fe22..f0dc1c0b 100644 --- a/html-test/ref/Extensions.html +++ b/html-test/ref/Extensions.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -83,8 +83,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html > diff --git a/html-test/ref/FunArgs.html b/html-test/ref/FunArgs.html index 59dfbb94..7a15eec6 100644 --- a/html-test/ref/FunArgs.html +++ b/html-test/ref/FunArgs.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -62,7 +62,7 @@ >Ord</a > a</td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td class="src" @@ -222,7 +222,7 @@ >()</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td class="src" @@ -277,8 +277,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/GADTRecords.html b/html-test/ref/GADTRecords.html index a551f29c..77202f99 100644 --- a/html-test/ref/GADTRecords.html +++ b/html-test/ref/GADTRecords.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -122,7 +122,7 @@ >H1</a > a b</td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td class="src" @@ -134,7 +134,7 @@ >H1</a > a a</td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td class="src" @@ -142,7 +142,7 @@ >C3</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -164,7 +164,7 @@ ></li ><li ><dfn class="src" - >} -> <a href="#" title="GADTRecords" + > } -> <a href="#" title="GADTRecords" >H1</a > <a href="#" title="Data.Int" >Int</a @@ -172,7 +172,7 @@ >Int</a ></dfn ><div class="doc empty" - ></div + > </div ></li ></ul ></div @@ -184,7 +184,7 @@ >C4</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -204,13 +204,13 @@ ></li ><li ><dfn class="src" - >} -> <a href="#" title="GADTRecords" + > } -> <a href="#" title="GADTRecords" >H1</a > <a href="#" title="Data.Int" >Int</a > a</dfn ><div class="doc empty" - ></div + > </div ></li ></ul ></div @@ -221,8 +221,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html > diff --git a/html-test/ref/GadtConstructorArgs.html b/html-test/ref/GadtConstructorArgs.html index ded7d58f..77e2f45b 100644 --- a/html-test/ref/GadtConstructorArgs.html +++ b/html-test/ref/GadtConstructorArgs.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -66,7 +66,7 @@ >Fot</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -92,7 +92,7 @@ ></li ><li ><dfn class="src" - >, <a id="v:y" class="def" + > , <a id="v:y" class="def" >y</a > :: <a href="#" title="Data.Int" >Int</a @@ -108,11 +108,11 @@ ></li ><li ><dfn class="src" - >} -> <a href="#" title="GadtConstructorArgs" + > } -> <a href="#" title="GadtConstructorArgs" >Boo</a ></dfn ><div class="doc empty" - ></div + > </div ></li ></ul ></div @@ -152,7 +152,7 @@ ></li ><li ><dfn class="src" - >, <a id="v:z" class="def" + > , <a id="v:z" class="def" >z</a > :: <a href="#" title="Data.Int" >Int</a @@ -168,7 +168,7 @@ ></li ><li ><dfn class="src" - >} -> <a href="#" title="GadtConstructorArgs" + > } -> <a href="#" title="GadtConstructorArgs" >Boo</a ></dfn ><div class="doc" @@ -189,8 +189,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Hash.html b/html-test/ref/Hash.html index 65b2037b..5df78cea 100644 --- a/html-test/ref/Hash.html +++ b/html-test/ref/Hash.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -314,7 +314,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -356,7 +356,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -400,7 +400,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -432,8 +432,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/HiddenInstances.html b/html-test/ref/HiddenInstances.html index be09cd3c..8cecc0b7 100644 --- a/html-test/ref/HiddenInstances.html +++ b/html-test/ref/HiddenInstances.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -315,8 +315,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/HiddenInstancesB.html b/html-test/ref/HiddenInstancesB.html index 67fc528b..4b50d65a 100644 --- a/html-test/ref/HiddenInstancesB.html +++ b/html-test/ref/HiddenInstancesB.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -175,8 +175,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Hyperlinks.html b/html-test/ref/Hyperlinks.html index fde9434d..4fa8576a 100644 --- a/html-test/ref/Hyperlinks.html +++ b/html-test/ref/Hyperlinks.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -81,8 +81,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html > diff --git a/html-test/ref/ImplicitParams.html b/html-test/ref/ImplicitParams.html index b331fda5..9163258c 100644 --- a/html-test/ref/ImplicitParams.html +++ b/html-test/ref/ImplicitParams.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -64,7 +64,7 @@ >X</a ></td ><td class="doc empty" - ></td + > </td ></tr ></table ></div @@ -109,8 +109,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html > diff --git a/html-test/ref/Instances.html b/html-test/ref/Instances.html index 0cf0fc92..949f85b0 100644 --- a/html-test/ref/Instances.html +++ b/html-test/ref/Instances.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -64,7 +64,7 @@ >Xyzzy</a > (b -> (a, a))</td ><td class="doc empty" - ></td + > </td ></tr ></table ></div @@ -89,7 +89,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -199,7 +199,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -249,7 +249,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -311,7 +311,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -377,7 +377,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -427,7 +427,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -489,7 +489,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -539,7 +539,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -603,7 +603,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -715,7 +715,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -817,7 +817,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -903,7 +903,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -963,7 +963,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -1055,7 +1055,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -1115,7 +1115,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -1279,7 +1279,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -1341,7 +1341,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -1403,7 +1403,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -1467,7 +1467,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -1541,7 +1541,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -1614,7 +1614,7 @@ >Qx</a > a</td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td class="src" @@ -1622,7 +1622,7 @@ >Qux</a > a b</td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td class="src" @@ -1630,7 +1630,7 @@ >Quux</a > a b c</td ><td class="doc empty" - ></td + > </td ></tr ></table ></div @@ -1655,7 +1655,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -1719,7 +1719,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -1821,7 +1821,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -1901,7 +1901,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -2015,7 +2015,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -2089,7 +2089,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -2141,8 +2141,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Math.html b/html-test/ref/Math.html index cd642198..c39c1257 100644 --- a/html-test/ref/Math.html +++ b/html-test/ref/Math.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -103,8 +103,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html > diff --git a/html-test/ref/Minimal.html b/html-test/ref/Minimal.html index 73f472ad..a9041ba1 100644 --- a/html-test/ref/Minimal.html +++ b/html-test/ref/Minimal.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -337,8 +337,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html > diff --git a/html-test/ref/ModuleWithWarning.html b/html-test/ref/ModuleWithWarning.html index 1ea464d9..ce5eccfb 100644 --- a/html-test/ref/ModuleWithWarning.html +++ b/html-test/ref/ModuleWithWarning.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -73,8 +73,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html > diff --git a/html-test/ref/NamedDoc.html b/html-test/ref/NamedDoc.html index 84198ca3..1fa80b26 100644 --- a/html-test/ref/NamedDoc.html +++ b/html-test/ref/NamedDoc.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -59,8 +59,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html > diff --git a/html-test/ref/Nesting.html b/html-test/ref/Nesting.html index cab1e220..7e001235 100644 --- a/html-test/ref/Nesting.html +++ b/html-test/ref/Nesting.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -353,8 +353,6 @@ with more of the indented list content.</p ></div ></div ></div - ><div id="footer" - ></div ></body ></html > diff --git a/html-test/ref/NoLayout.html b/html-test/ref/NoLayout.html index c14d6164..acce4d97 100644 --- a/html-test/ref/NoLayout.html +++ b/html-test/ref/NoLayout.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -79,8 +79,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html > diff --git a/html-test/ref/NonGreedy.html b/html-test/ref/NonGreedy.html index 40357f0d..9f7bf66b 100644 --- a/html-test/ref/NonGreedy.html +++ b/html-test/ref/NonGreedy.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -75,8 +75,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html > diff --git a/html-test/ref/Operators.html b/html-test/ref/Operators.html index d0c42a08..ae0ae299 100644 --- a/html-test/ref/Operators.html +++ b/html-test/ref/Operators.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -330,7 +330,7 @@ ></span ></td ><td class="doc empty" - ></td + > </td ></tr ></table ></div @@ -521,8 +521,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/OrphanInstances.html b/html-test/ref/OrphanInstances.html index b9f0b5be..3e77e867 100644 --- a/html-test/ref/OrphanInstances.html +++ b/html-test/ref/OrphanInstances.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -105,8 +105,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/OrphanInstancesClass.html b/html-test/ref/OrphanInstancesClass.html index d4b9d79b..0f066893 100644 --- a/html-test/ref/OrphanInstancesClass.html +++ b/html-test/ref/OrphanInstancesClass.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -125,8 +125,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/OrphanInstancesType.html b/html-test/ref/OrphanInstancesType.html index c3cd8cbf..873cb191 100644 --- a/html-test/ref/OrphanInstancesType.html +++ b/html-test/ref/OrphanInstancesType.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -66,7 +66,7 @@ >Int</a ></td ><td class="doc empty" - ></td + > </td ></tr ></table ></div @@ -127,8 +127,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/PR643.html b/html-test/ref/PR643.html index c36ef015..2881e697 100644 --- a/html-test/ref/PR643.html +++ b/html-test/ref/PR643.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -75,8 +75,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html > diff --git a/html-test/ref/PR643_1.html b/html-test/ref/PR643_1.html index ae905386..e23326e2 100644 --- a/html-test/ref/PR643_1.html +++ b/html-test/ref/PR643_1.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -75,8 +75,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html > diff --git a/html-test/ref/PatternSyns.html b/html-test/ref/PatternSyns.html index 6b4f8fda..1a1a49bb 100644 --- a/html-test/ref/PatternSyns.html +++ b/html-test/ref/PatternSyns.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -168,7 +168,7 @@ >FooCtor</a > x</td ><td class="doc empty" - ></td + > </td ></tr ></table ></div @@ -264,7 +264,7 @@ >BlubCtor</a > x</td ><td class="doc empty" - ></td + > </td ></tr ></table ></div @@ -318,7 +318,7 @@ >Empty</a ></td ><td class="doc empty" - ></td + > </td ></tr ></table ></div @@ -364,8 +364,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/PromotedTypes.html b/html-test/ref/PromotedTypes.html index 9f3395be..23e30e21 100644 --- a/html-test/ref/PromotedTypes.html +++ b/html-test/ref/PromotedTypes.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -64,7 +64,7 @@ >RNil</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td class="src" @@ -74,7 +74,7 @@ >:></a > a</td ><td class="doc empty" - ></td + > </td ></tr ></table ></div @@ -102,7 +102,7 @@ >Pattern</a > '[]</td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td class="src" @@ -116,7 +116,7 @@ >Pattern</a > (h ': t)</td ><td class="doc empty" - ></td + > </td ></tr ></table ></div @@ -148,7 +148,7 @@ >RNil</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td class="src" @@ -164,7 +164,7 @@ >:></a > h)</td ><td class="doc empty" - ></td + > </td ></tr ></table ></div @@ -192,15 +192,13 @@ >Tuple</a > '(a, b)</td ><td class="doc empty" - ></td + > </td ></tr ></table ></div ></div ></div ></div - ><div id="footer" - ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Properties.html b/html-test/ref/Properties.html index 8a5d1660..16874306 100644 --- a/html-test/ref/Properties.html +++ b/html-test/ref/Properties.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -85,8 +85,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html > diff --git a/html-test/ref/PruneWithWarning.html b/html-test/ref/PruneWithWarning.html index bc8a42d9..d0dd9afe 100644 --- a/html-test/ref/PruneWithWarning.html +++ b/html-test/ref/PruneWithWarning.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -60,8 +60,6 @@ ><div id="interface" ></div ></div - ><div id="footer" - ></div ></body ></html > diff --git a/html-test/ref/QuantifiedConstraints.html b/html-test/ref/QuantifiedConstraints.html index 9315b866..59000945 100644 --- a/html-test/ref/QuantifiedConstraints.html +++ b/html-test/ref/QuantifiedConstraints.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -97,8 +97,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/QuasiExpr.html b/html-test/ref/QuasiExpr.html index 0dcc8f6a..f719d067 100644 --- a/html-test/ref/QuasiExpr.html +++ b/html-test/ref/QuasiExpr.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -66,7 +66,7 @@ >Integer</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td class="src" @@ -76,7 +76,7 @@ >String</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td class="src" @@ -90,7 +90,7 @@ >Expr</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td class="src" @@ -100,7 +100,7 @@ >String</a ></td ><td class="doc empty" - ></td + > </td ></tr ></table ></div @@ -125,7 +125,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -198,7 +198,7 @@ >AddOp</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td class="src" @@ -206,7 +206,7 @@ >SubOp</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td class="src" @@ -214,7 +214,7 @@ >MulOp</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td class="src" @@ -222,7 +222,7 @@ >DivOp</a ></td ><td class="doc empty" - ></td + > </td ></tr ></table ></div @@ -247,7 +247,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -339,8 +339,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/QuasiQuote.html b/html-test/ref/QuasiQuote.html index 2a857433..edf14f4e 100644 --- a/html-test/ref/QuasiQuote.html +++ b/html-test/ref/QuasiQuote.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -57,8 +57,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html > diff --git a/html-test/ref/SpuriousSuperclassConstraints.html b/html-test/ref/SpuriousSuperclassConstraints.html index 81c80e77..8069db6c 100644 --- a/html-test/ref/SpuriousSuperclassConstraints.html +++ b/html-test/ref/SpuriousSuperclassConstraints.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -101,7 +101,7 @@ Fix spurious superclass constraints bug.</pre >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -155,7 +155,7 @@ Fix spurious superclass constraints bug.</pre >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -235,8 +235,6 @@ Fix spurious superclass constraints bug.</pre ></div ></div ></div - ><div id="footer" - ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/TH.html b/html-test/ref/TH.html index 051f7253..c8a7a6a3 100644 --- a/html-test/ref/TH.html +++ b/html-test/ref/TH.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -59,8 +59,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html > diff --git a/html-test/ref/TH2.html b/html-test/ref/TH2.html index 617cd1de..4a69bd01 100644 --- a/html-test/ref/TH2.html +++ b/html-test/ref/TH2.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -55,8 +55,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html > diff --git a/html-test/ref/Table.html b/html-test/ref/Table.html index 1b6f55fc..48bbeb74 100644 --- a/html-test/ref/Table.html +++ b/html-test/ref/Table.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -237,8 +237,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Test.html b/html-test/ref/Test.html index b76622e7..26e8c7e8 100644 --- a/html-test/ref/Test.html +++ b/html-test/ref/Test.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -794,7 +794,7 @@ >A1</a > a</td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td class="src" @@ -802,7 +802,7 @@ >B1</a > b</td ><td class="doc empty" - ></td + > </td ></tr ></table ></div @@ -826,7 +826,7 @@ >A2</a > a</td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td class="src" @@ -834,7 +834,7 @@ >B2</a > b</td ><td class="doc empty" - ></td + > </td ></tr ></table ></div @@ -968,7 +968,7 @@ >N1</a > a</td ><td class="doc empty" - ></td + > </td ></tr ></table ></div @@ -996,7 +996,7 @@ >N2</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -1010,7 +1010,7 @@ >n</a > :: a b</dfn ><div class="doc empty" - ></div + > </div ></li ></ul ></div @@ -1042,7 +1042,7 @@ >N3</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -1105,7 +1105,7 @@ >N5</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -1165,7 +1165,7 @@ >n6</a > :: a b</dfn ><div class="doc empty" - ></div + > </div ></li ></ul ></div @@ -1217,7 +1217,7 @@ >n7</a > :: a b</dfn ><div class="doc empty" - ></div + > </div ></li ></ul ></div @@ -1392,7 +1392,7 @@ >T5</a > () ()</dfn ><div class="doc empty" - ></div + > </div ></li ><li ><dfn class="src" @@ -1404,7 +1404,7 @@ >Int</a ></dfn ><div class="doc empty" - ></div + > </div ></li ></ul ></div @@ -1677,7 +1677,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -1729,7 +1729,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -2075,7 +2075,7 @@ is at the beginning of the line).</pre >Ex1</a > b</td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td class="src" @@ -2083,7 +2083,7 @@ is at the beginning of the line).</pre >Ex2</a > b</td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td class="src" @@ -2093,7 +2093,7 @@ is at the beginning of the line).</pre >Ex3</a > b</td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td class="src" @@ -2103,7 +2103,7 @@ is at the beginning of the line).</pre >forall</span > a. a -> a)</td ><td class="doc empty" - ></td + > </td ></tr ></table ></div @@ -2261,7 +2261,7 @@ is at the beginning of the line).</pre >R</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td class="src" @@ -2395,8 +2395,6 @@ is at the beginning of the line).</pre ></div ></div ></div - ><div id="footer" - ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Threaded.html b/html-test/ref/Threaded.html index 893135e6..96a4f060 100644 --- a/html-test/ref/Threaded.html +++ b/html-test/ref/Threaded.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -88,8 +88,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html > diff --git a/html-test/ref/Threaded_TH.html b/html-test/ref/Threaded_TH.html index 1ddd4bf8..0c09cf57 100644 --- a/html-test/ref/Threaded_TH.html +++ b/html-test/ref/Threaded_TH.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -93,8 +93,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html > diff --git a/html-test/ref/Ticket112.html b/html-test/ref/Ticket112.html index ba2bbf6a..4da5c459 100644 --- a/html-test/ref/Ticket112.html +++ b/html-test/ref/Ticket112.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -75,8 +75,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html > diff --git a/html-test/ref/Ticket61.html b/html-test/ref/Ticket61.html index 6d88d7ad..47e0a66d 100644 --- a/html-test/ref/Ticket61.html +++ b/html-test/ref/Ticket61.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -73,8 +73,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html > diff --git a/html-test/ref/Ticket75.html b/html-test/ref/Ticket75.html index b61d770a..426cae3d 100644 --- a/html-test/ref/Ticket75.html +++ b/html-test/ref/Ticket75.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -86,7 +86,7 @@ >Q</a ></td ><td class="doc empty" - ></td + > </td ></tr ></table ></div @@ -111,8 +111,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html > diff --git a/html-test/ref/TitledPicture.html b/html-test/ref/TitledPicture.html index 4fd7e113..6817eb7f 100644 --- a/html-test/ref/TitledPicture.html +++ b/html-test/ref/TitledPicture.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -105,8 +105,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html > diff --git a/html-test/ref/TypeFamilies.html b/html-test/ref/TypeFamilies.html index 8e1e7364..53a65db8 100644 --- a/html-test/ref/TypeFamilies.html +++ b/html-test/ref/TypeFamilies.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -235,7 +235,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -393,7 +393,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -435,7 +435,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -475,7 +475,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -629,7 +629,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -779,7 +779,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -817,7 +817,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -857,7 +857,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -987,7 +987,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -1038,7 +1038,7 @@ >ZA</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td class="src" @@ -1046,7 +1046,7 @@ >ZB</a ></td ><td class="doc empty" - ></td + > </td ></tr ></table ></div @@ -1700,7 +1700,7 @@ >X</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td class="src" @@ -1710,7 +1710,7 @@ >Y</a ></td ><td class="doc empty" - ></td + > </td ></tr ></table ></div @@ -1749,7 +1749,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -1793,7 +1793,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -1835,7 +1835,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -1897,7 +1897,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -1917,8 +1917,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/TypeFamilies2.html b/html-test/ref/TypeFamilies2.html index 1db8c3ec..450a69e3 100644 --- a/html-test/ref/TypeFamilies2.html +++ b/html-test/ref/TypeFamilies2.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -361,7 +361,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -389,8 +389,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/TypeFamilies3.html b/html-test/ref/TypeFamilies3.html index 22a3f8ff..f7d78999 100644 --- a/html-test/ref/TypeFamilies3.html +++ b/html-test/ref/TypeFamilies3.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -100,7 +100,7 @@ >Int</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td class="src" @@ -108,7 +108,7 @@ >Foo</a > _ = ()</td ><td class="doc empty" - ></td + > </td ></tr ></table ></div @@ -149,7 +149,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -185,7 +185,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -247,7 +247,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -289,7 +289,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -329,7 +329,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -357,8 +357,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/TypeOperators.html b/html-test/ref/TypeOperators.html index fa1550ef..45e6dbe4 100644 --- a/html-test/ref/TypeOperators.html +++ b/html-test/ref/TypeOperators.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -94,7 +94,7 @@ >O</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -108,7 +108,7 @@ >unO</a > :: g (f a)</dfn ><div class="doc empty" - ></div + > </div ></li ></ul ></div @@ -183,8 +183,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html > diff --git a/html-test/ref/UnboxedStuff.html b/html-test/ref/UnboxedStuff.html index 133aae6c..f9c7531a 100644 --- a/html-test/ref/UnboxedStuff.html +++ b/html-test/ref/UnboxedStuff.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -195,8 +195,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Unicode.html b/html-test/ref/Unicode.html index 8f7970d0..3f623274 100644 --- a/html-test/ref/Unicode.html +++ b/html-test/ref/Unicode.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -75,8 +75,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html > diff --git a/html-test/ref/Unicode2.html b/html-test/ref/Unicode2.html index 65e49e37..1eb7e0f0 100644 --- a/html-test/ref/Unicode2.html +++ b/html-test/ref/Unicode2.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -97,8 +97,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Visible.html b/html-test/ref/Visible.html index a480935c..77d59865 100644 --- a/html-test/ref/Visible.html +++ b/html-test/ref/Visible.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -59,8 +59,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html > diff --git a/hypsrc-test/ref/src/CPP.html b/hypsrc-test/ref/src/CPP.html index 2ebcae90..a50dce2d 100644 --- a/hypsrc-test/ref/src/CPP.html +++ b/hypsrc-test/ref/src/CPP.html @@ -224,4 +224,4 @@ ></pre ></body ></html ->
\ No newline at end of file +> diff --git a/hypsrc-test/ref/src/ClangCppBug.html b/hypsrc-test/ref/src/ClangCppBug.html index d03c92e1..b76b53a7 100644 --- a/hypsrc-test/ref/src/ClangCppBug.html +++ b/hypsrc-test/ref/src/ClangCppBug.html @@ -303,4 +303,4 @@ ></pre ></body ></html ->
\ No newline at end of file +> diff --git a/hypsrc-test/ref/src/Classes.html b/hypsrc-test/ref/src/Classes.html index 443d7f96..1bc42897 100644 --- a/hypsrc-test/ref/src/Classes.html +++ b/hypsrc-test/ref/src/Classes.html @@ -1451,4 +1451,4 @@ forall a b. a -> b -> a ></pre ></body ></html ->
\ No newline at end of file +> diff --git a/hypsrc-test/ref/src/Constructors.html b/hypsrc-test/ref/src/Constructors.html index 970ec741..4c6b6720 100644 --- a/hypsrc-test/ref/src/Constructors.html +++ b/hypsrc-test/ref/src/Constructors.html @@ -1338,4 +1338,4 @@ forall a b. (a -> b) -> a -> b ></pre ></body ></html ->
\ No newline at end of file +> diff --git a/hypsrc-test/ref/src/Identifiers.html b/hypsrc-test/ref/src/Identifiers.html index 5268031d..44430768 100644 --- a/hypsrc-test/ref/src/Identifiers.html +++ b/hypsrc-test/ref/src/Identifiers.html @@ -1482,4 +1482,4 @@ forall a b. (a -> b) -> a -> b ></pre ></body ></html ->
\ No newline at end of file +> diff --git a/hypsrc-test/ref/src/LinkingIdentifiers.html b/hypsrc-test/ref/src/LinkingIdentifiers.html index 52b20200..3a936842 100644 --- a/hypsrc-test/ref/src/LinkingIdentifiers.html +++ b/hypsrc-test/ref/src/LinkingIdentifiers.html @@ -569,4 +569,4 @@ forall a. Num a => a -> a -> a ></pre ></body ></html ->
\ No newline at end of file +> diff --git a/hypsrc-test/ref/src/Literals.html b/hypsrc-test/ref/src/Literals.html index f0d05fbc..0eb1c4ac 100644 --- a/hypsrc-test/ref/src/Literals.html +++ b/hypsrc-test/ref/src/Literals.html @@ -529,4 +529,4 @@ forall a. Num a => a -> a -> a ></pre ></body ></html ->
\ No newline at end of file +> diff --git a/hypsrc-test/ref/src/Operators.html b/hypsrc-test/ref/src/Operators.html index 4d5693c2..09f3355c 100644 --- a/hypsrc-test/ref/src/Operators.html +++ b/hypsrc-test/ref/src/Operators.html @@ -1141,4 +1141,4 @@ forall a b. (a -> b) -> a -> b ></pre ></body ></html ->
\ No newline at end of file +> diff --git a/hypsrc-test/ref/src/Polymorphism.html b/hypsrc-test/ref/src/Polymorphism.html index ec9c49e8..5c73153c 100644 --- a/hypsrc-test/ref/src/Polymorphism.html +++ b/hypsrc-test/ref/src/Polymorphism.html @@ -2646,4 +2646,4 @@ forall a. HasCallStack => a ></pre ></body ></html ->
\ No newline at end of file +> diff --git a/hypsrc-test/ref/src/PositionPragmas.html b/hypsrc-test/ref/src/PositionPragmas.html index ddd73f31..8ee123fa 100644 --- a/hypsrc-test/ref/src/PositionPragmas.html +++ b/hypsrc-test/ref/src/PositionPragmas.html @@ -169,4 +169,4 @@ ></pre ></body ></html ->
\ No newline at end of file +> diff --git a/hypsrc-test/ref/src/Records.html b/hypsrc-test/ref/src/Records.html index 5057b8a4..dc09ff82 100644 --- a/hypsrc-test/ref/src/Records.html +++ b/hypsrc-test/ref/src/Records.html @@ -1427,4 +1427,4 @@ forall a. Num a => a -> a -> a ></pre ></body ></html ->
\ No newline at end of file +> diff --git a/hypsrc-test/ref/src/Types.html b/hypsrc-test/ref/src/Types.html index 22012ad1..c0eef664 100644 --- a/hypsrc-test/ref/src/Types.html +++ b/hypsrc-test/ref/src/Types.html @@ -1279,4 +1279,4 @@ ></pre ></body ></html ->
\ No newline at end of file +> |