Oleg Grenrus pushed to branch wip/shorter-this-module-links at Glasgow Haskell Compiler / GHC Commits: 9861b13e by Oleg Grenrus at 2025-09-14T23:50:20+03:00 Use showUnique in internalAnchorIdent Showing the key of Unique as a number is generally not a great idea. GHC Unique has a tag in high bits, so the raw number is unnecessarily big. So now we have ```html <a href="#l-rvgK"><span class="hs-identifier hs-var hs-var">bar</span></a> ``` instead of ```html <a href="#local-6989586621679015689"><span class="hs-identifier hs-var hs-var">bar</span></a> ``` Together with previous changes of shorter intra-module links the effect on compressed files is not huge, that is expected as we simply remove repetitive contents which pack well. ``` 12_694_206 Agda-2.9.0-docs-orig.tar.gz 12_566_065 Agda-2.9.0-docs.tar.gz ``` However when unpacked, the difference can be significant, e.g. Agda's largest module source got 5% reduction: ``` 14_230_117 Agda.Syntax.Parser.Parser.html 13_422_109 Agda.Syntax.Parser.Parser.html ``` The whole hyperlinked source code directory got similar reduction ``` 121M Agda-2.9.0-docs-orig/src 114M Agda-2.9.0-docs/src ``` For the reference, sources are about 2/3 of the generated haddocks ``` 178M Agda-2.9.0-docs-old 172M Agda-2.9.0-docs ``` so we get around 3.5% size reduction overall. Not bad for a small local changes. - - - - - 17 changed files: - utils/haddock/haddock-api/src/Haddock/Backends/Hyperlinker/Renderer.hs - utils/haddock/hypsrc-test/Main.hs - utils/haddock/hypsrc-test/ref/src/CPP.html - utils/haddock/hypsrc-test/ref/src/Classes.html - utils/haddock/hypsrc-test/ref/src/Constructors.html - utils/haddock/hypsrc-test/ref/src/Identifiers.html - utils/haddock/hypsrc-test/ref/src/LinkingIdentifiers.html - utils/haddock/hypsrc-test/ref/src/Literals.html - utils/haddock/hypsrc-test/ref/src/Operators.html - utils/haddock/hypsrc-test/ref/src/Polymorphism.html - utils/haddock/hypsrc-test/ref/src/PositionPragmas.html - utils/haddock/hypsrc-test/ref/src/Quasiquoter.html - utils/haddock/hypsrc-test/ref/src/Records.html - utils/haddock/hypsrc-test/ref/src/TemplateHaskellQuasiquotes.html - utils/haddock/hypsrc-test/ref/src/TemplateHaskellSplices.html - utils/haddock/hypsrc-test/ref/src/Types.html - utils/haddock/hypsrc-test/ref/src/UsingQuasiquotes.html Changes: ===================================== utils/haddock/haddock-api/src/Haddock/Backends/Hyperlinker/Renderer.hs ===================================== @@ -14,7 +14,7 @@ import GHC.Iface.Ext.Types import GHC.Iface.Ext.Utils (emptyNodeInfo, isEvidenceContext) import GHC.Types.Name (Name, getOccString, isInternalName, nameModule, nameUnique) import GHC.Types.SrcLoc -import GHC.Types.Unique (getKey) +import GHC.Types.Unique (showUnique) import GHC.Unit.Module (Module, ModuleName, moduleNameString) import GHC.Utils.Encoding (utf8DecodeByteString) import System.FilePath.Posix (()) @@ -254,7 +254,7 @@ externalAnchorIdent :: Name -> String externalAnchorIdent = hypSrcNameUrl internalAnchorIdent :: Name -> String -internalAnchorIdent = ("local-" ++) . show . getKey . nameUnique +internalAnchorIdent = ("l-" ++) . showUnique . nameUnique -- | Generate the HTML hyperlink for an identifier hyperlink :: Module -> SrcMaps -> Identifier -> Html -> Html ===================================== utils/haddock/hypsrc-test/Main.hs ===================================== @@ -22,9 +22,9 @@ checkConfig = CheckConfig where strip _ = fixPaths . stripAnchors' . stripLinks' . stripIds' . stripFooter - stripLinks' = stripLinksWhen $ \href -> "#local-" `isPrefixOf` href - stripAnchors' = stripAnchorsWhen $ \name -> "local-" `isPrefixOf` name - stripIds' = stripIdsWhen $ \name -> "local-" `isPrefixOf` name + stripLinks' = stripLinksWhen $ \href -> "#l-" `isPrefixOf` href + stripAnchors' = stripAnchorsWhen $ \name -> "l-" `isPrefixOf` name + stripIds' = stripIdsWhen $ \name -> "l-" `isPrefixOf` name -- One-shot hyperlinked source links to other modules as if they are in another package fixPaths = fixAttrValueWhen "href" (drop 7) ("../src/" `isPrefixOf`) ===================================== utils/haddock/hypsrc-test/ref/src/CPP.html ===================================== @@ -45,7 +45,7 @@ ><span id="line-7" ></span ><a href="#foo" ><span class="hs-identifier hs-type" >foo</span ><span class="annottext" >foo :: String <a href="#foo" ><span class="hs-identifier hs-var hs-var" >foo</span ><span id="line-14" ></span ><a href="#bar" ><span class="hs-identifier hs-type" >bar</span ><span class="annottext" >bar :: String <a href="#bar" ><span class="hs-identifier hs-var hs-var" >bar</span ><span id="line-26" ></span ><a href="#baz" ><span class="hs-identifier hs-type" >baz</span ><span class="annottext" >baz :: String <a href="#baz" ><span class="hs-identifier hs-var hs-var" >baz</span > </span ><span id="Foo" ><a href="#Foo" ><span class="hs-identifier hs-var" >Foo</span > </span ><span id="bar" ><a href="#bar" ><span class="hs-identifier hs-type" >bar</span > </span ><span id="baz" ><a href="#baz" ><span class="hs-identifier hs-type" >baz</span ><span > </span ><a href="#Foo" ><span class="hs-identifier hs-type" >Foo</span ><span class="annottext" >bar :: Int -> Int <a href="#bar" ><span class="hs-identifier hs-var hs-var hs-var" >bar</span ><span class="annottext" >baz :: Int -> (Int, Int) <a href="#baz" ><span class="hs-identifier hs-var hs-var hs-var" >baz</span > </span ><span id="" ><a href="#Foo" ><span class="hs-identifier hs-type" >Foo</span ><span class="annottext" >bar :: [a] -> Int <a href="#bar" ><span class="hs-identifier hs-var hs-var hs-var" >bar</span ><span class="annottext" >baz :: Int -> ([a], [a]) <a href="#baz" ><span class="hs-identifier hs-var hs-var hs-var" >baz</span ><span > </span ><a href="#Foo" ><span class="hs-identifier hs-type" >Foo</span > </span ><span id="Foo%27" ><a href="#Foo%27" ><span class="hs-identifier hs-var" >Foo'</span > </span ><span id="quux" ><a href="#quux" ><span class="hs-identifier hs-type" >quux</span > </span ><span id="" ><a href="#quux" ><span class="hs-identifier hs-var hs-var" >quux</span >[a] -> a forall a. Foo' a => [a] -> a <a href="#norf" ><span class="hs-identifier hs-var" >norf</span > </span ><span id="norf" ><a href="#norf" ><span class="hs-identifier hs-type" >norf</span > </span ><span id="" ><a href="#norf" ><span class="hs-identifier hs-var hs-var" >norf</span >(a, a) -> a forall a. Foo' a => (a, a) -> a <a href="#quux" ><span class="hs-identifier hs-var" >quux</span >Int -> (a, a) forall a. Foo a => Int -> (a, a) <a href="#baz" ><span class="hs-identifier hs-var" >baz</span >a -> Int forall a. Foo a => a -> Int <a href="#bar" ><span class="hs-identifier hs-var" >bar</span > </span ><span id="" ><a href="#Foo%27" ><span class="hs-identifier hs-type" >Foo'</span ><span class="annottext" >norf :: [Int] -> Int <a href="#norf" ><span class="hs-identifier hs-var hs-var hs-var" >norf</span ><span id="" ><span id="" ><a href="#Foo%27" ><span class="hs-identifier hs-type" >Foo'</span ><span class="annottext" >quux :: ([a], [a]) -> [a] <a href="#quux" ><span class="hs-identifier hs-var hs-var hs-var" >quux</span > </span ><span id="Plugh" ><a href="#Plugh" ><span class="hs-identifier hs-var" >Plugh</span > </span ><span id="plugh" ><a href="#plugh" ><span class="hs-identifier hs-type" >plugh</span ><span > </span ><a href="#Plugh" ><span class="hs-identifier hs-type" >Plugh</span ><span class="annottext" >plugh :: forall a b. Either a a -> Either b b -> Either (a -> b) (b -> a) <a href="#plugh" ><span class="hs-identifier hs-var hs-var hs-var" >plugh</span ><span > </span ><a href="#plugh" ><span class="hs-identifier hs-var" >plugh</span ><span > </span ><a href="#plugh" ><span class="hs-identifier hs-var" >plugh</span ><span > </span ><a href="#plugh" ><span class="hs-identifier hs-var" >plugh</span > </span ><span id="Foo" ><a href="#Foo" ><span class="hs-identifier hs-var" >Foo</span > </span ><span id="Bar" ><a href="#Bar" ><span class="hs-identifier hs-var" >Bar</span > </span ><span id="Baz" ><a href="#Baz" ><span class="hs-identifier hs-var" >Baz</span > </span ><span id="Quux" ><a href="#Quux" ><span class="hs-identifier hs-var" >Quux</span ><span > </span ><a href="#Foo" ><span class="hs-identifier hs-type" >Foo</span > </span ><span id="Norf" ><a href="#Norf" ><span class="hs-identifier hs-var" >Norf</span > </span ><span id="Norf" ><a href="#Norf" ><span class="hs-identifier hs-var" >Norf</span ><span class="hs-special" >(</span ><a href="#Foo" ><span class="hs-identifier hs-type" >Foo</span ><span class="hs-special" >[</span ><a href="#Foo" ><span class="hs-identifier hs-type" >Foo</span ><span > </span ><a href="#Foo" ><span class="hs-identifier hs-type" >Foo</span ><span id="line-13" ></span ><a href="#bar" ><span class="hs-identifier hs-type" >bar</span ><span > </span ><a href="#baz" ><span class="hs-identifier hs-type" >baz</span ><span > </span ><a href="#quux" ><span class="hs-identifier hs-type" >quux</span ><span > </span ><a href="#Foo" ><span class="hs-identifier hs-type" >Foo</span ><span class="annottext" >bar :: Foo <a href="#bar" ><span class="hs-identifier hs-var hs-var" >bar</span ><span class="annottext" >Foo <a href="#Bar" ><span class="hs-identifier hs-var" >Bar</span ><span class="annottext" >baz :: Foo <a href="#baz" ><span class="hs-identifier hs-var hs-var" >baz</span ><span class="annottext" >Foo <a href="#Baz" ><span class="hs-identifier hs-var" >Baz</span ><span class="annottext" >quux :: Foo <a href="#quux" ><span class="hs-identifier hs-var hs-var" >quux</span ><span class="annottext" >Foo -> Int -> Foo <a href="#Quux" ><span class="hs-identifier hs-var" >Quux</span ><span class="annottext" >Foo <a href="#quux" ><span class="hs-identifier hs-var" >quux</span ><span id="line-19" ></span ><a href="#unfoo" ><span class="hs-identifier hs-type" >unfoo</span ><span > </span ><a href="#Foo" ><span class="hs-identifier hs-type" >Foo</span ><span class="annottext" >unfoo :: Foo -> Int <a href="#unfoo" ><span class="hs-identifier hs-var hs-var" >unfoo</span ><span class="annottext" >Foo <a href="#Bar" ><span class="hs-identifier hs-var" >Bar</span ><span id="line-21" ></span ><a href="#unfoo" ><span class="hs-identifier hs-var" >unfoo</span ><span class="annottext" >Foo <a href="#Baz" ><span class="hs-identifier hs-var" >Baz</span ><span id="line-22" ></span ><a href="#unfoo" ><span class="hs-identifier hs-var" >unfoo</span ><span class="hs-special" >(</span ><a href="#Quux" ><span class="hs-identifier hs-type" >Quux</span ><span class="annottext" >Foo -> Int <a href="#unfoo" ><span class="hs-identifier hs-var" >unfoo</span ><span id="line-25" ></span ><a href="#unnorf" ><span class="hs-identifier hs-type" >unnorf</span ><span > </span ><a href="#Norf" ><span class="hs-identifier hs-type" >Norf</span ><span class="hs-special" >[</span ><a href="#Foo" ><span class="hs-identifier hs-type" >Foo</span ><span class="annottext" >unnorf :: Norf -> [Foo] <a href="#unnorf" ><span class="hs-identifier hs-var hs-var" >unnorf</span ><span class="hs-special" >(</span ><a href="#Norf" ><span class="hs-identifier hs-type" >Norf</span ><span class="annottext" >Foo <a href="#Bar" ><span class="hs-identifier hs-var" >Bar</span ><span class="annottext" >Foo <a href="#Bar" ><span class="hs-identifier hs-var" >Bar</span ><span id="line-27" ></span ><a href="#unnorf" ><span class="hs-identifier hs-var" >unnorf</span ><span class="hs-special" >(</span ><a href="#Norf" ><span class="hs-identifier hs-type" >Norf</span ><span class="annottext" >Foo <a href="#Baz" ><span class="hs-identifier hs-var" >Baz</span ><span class="annottext" >Foo <a href="#Baz" ><span class="hs-identifier hs-var" >Baz</span ><span id="line-28" ></span ><a href="#unnorf" ><span class="hs-identifier hs-var" >unnorf</span ><span id="line-31" ></span ><a href="#unnorf%27" ><span class="hs-identifier hs-type" >unnorf'</span ><span > </span ><a href="#Norf" ><span class="hs-identifier hs-type" >Norf</span ><span class="annottext" >unnorf' :: Norf -> Int <a href="#unnorf%27" ><span class="hs-identifier hs-var hs-var" >unnorf'</span ><span class="hs-special" >(</span ><a href="#Norf" ><span class="hs-identifier hs-type" >Norf</span ><span class="hs-special" >(</span ><a href="#Quux" ><span class="hs-identifier hs-type" >Quux</span ><span class="hs-special" >(</span ><a href="#Quux" ><span class="hs-identifier hs-type" >Quux</span ><span class="annottext" >Foo -> Int <a href="#unfoo" ><span class="hs-identifier hs-var" >unfoo</span ><span class="annottext" >Foo -> Int <a href="#unfoo" ><span class="hs-identifier hs-var" >unfoo</span ><span class="annottext" >Foo -> Int <a href="#unfoo" ><span class="hs-identifier hs-var" >unfoo</span ><span class="annottext" >Foo -> Int <a href="#unfoo" ><span class="hs-identifier hs-var" >unfoo</span ><span class="annottext" >Foo -> Int <a href="#unfoo" ><span class="hs-identifier hs-var" >unfoo</span ><span class="annottext" >Norf -> [Foo] <a href="#unnorf" ><span class="hs-identifier hs-var" >unnorf</span ><span id="line-5" ></span ><a href="#foo" ><span class="hs-identifier hs-type" >foo</span ><span > </span ><a href="#bar" ><span class="hs-identifier hs-type" >bar</span ><span > </span ><a href="#baz" ><span class="hs-identifier hs-type" >baz</span ><span class="annottext" >foo :: Int -> Int -> Int <a href="#foo" ><span class="hs-identifier hs-var hs-var" >foo</span ><span class="annottext" >Int -> Int -> Int <a href="#bar" ><span class="hs-identifier hs-var" >bar</span ><span class="annottext" >bar :: Int -> Int -> Int <a href="#bar" ><span class="hs-identifier hs-var hs-var" >bar</span ><span class="annottext" >Int -> Int -> Int <a href="#baz" ><span class="hs-identifier hs-var" >baz</span ><span class="annottext" >baz :: Int -> Int -> Int <a href="#baz" ><span class="hs-identifier hs-var hs-var" >baz</span ><span id="line-10" ></span ><a href="#quux" ><span class="hs-identifier hs-type" >quux</span ><span class="annottext" >quux :: Int -> Int <a href="#quux" ><span class="hs-identifier hs-var hs-var" >quux</span ><span class="annottext" >Int -> Int -> Int <a href="#foo" ><span class="hs-identifier hs-var" >foo</span ><span class="annottext" >Int -> Int -> Int <a href="#bar" ><span class="hs-identifier hs-var" >bar</span ><span class="annottext" >Int -> Int -> Int <a href="#bar" ><span class="hs-identifier hs-var" >bar</span ><span id="line-13" ></span ><a href="#norf" ><span class="hs-identifier hs-type" >norf</span ><span class="annottext" >norf :: Int -> Int -> Int -> Int <a href="#norf" ><span class="hs-identifier hs-var hs-var" >norf</span ><span class="annottext" >Int -> Int <a href="#quux" ><span class="hs-identifier hs-var" >quux</span ><span class="annottext" >Int -> Int <a href="#quux" ><span class="hs-identifier hs-var" >quux</span ><span class="annottext" >Int -> Int <a href="#quux" ><span class="hs-identifier hs-var" >quux</span ><span class="annottext" >Int -> Int -> Int -> Int <a href="#norf" ><span class="hs-identifier hs-var" >norf</span ><span id="line-21" ></span ><a href="#main" ><span class="hs-identifier hs-type" >main</span ><span class="annottext" >main :: IO () <a href="#main" ><span class="hs-identifier hs-var hs-var" >main</span ><span class="annottext" >Int -> Int -> Int <a href="#foo" ><span class="hs-identifier hs-var" >foo</span ><span class="annottext" >Int -> Int <a href="#quux" ><span class="hs-identifier hs-var" >quux</span ><span class="annottext" >Int -> Int -> Int -> Int <a href="#norf" ><span class="hs-identifier hs-var" >Identifiers.norf</span ><span id="line-9" ></span ><a href="#ident" ><span class="hs-identifier hs-type" >ident</span ><span class="annottext" >ident :: Int -> Int -> Int <a href="#ident" ><span class="hs-operator hs-var hs-var" >`ident`</span ><span class="annottext" >Int -> Int -> Int <a href="#ident" ><span class="hs-operator hs-var" >`ident`</span ><span class="annottext" >Int -> Int -> Int <a href="#ident" ><span class="hs-operator hs-var" >`LinkingIdentifiers.ident`</span ><span id="line-11" ></span ><a href="#ident" ><span class="hs-identifier hs-var" >ident</span ><span class="annottext" >Int -> Int -> Int <a href="#ident" ><span class="hs-identifier hs-var" >ident</span ><span class="annottext" >Int -> Int -> Int <a href="#ident" ><span class="hs-identifier hs-var" >LinkingIdentifiers.ident</span ><span id="line-13" ></span ><a href="#%2B%2B%3A%2B%2B" ><span class="hs-operator hs-type" >(++:++)</span ><span class="annottext" >++:++ :: Int -> Int -> Int <a href="#%2B%2B%3A%2B%2B" ><span class="hs-operator hs-var hs-var" >++:++</span ><span class="annottext" >Int -> Int -> Int <a href="#%2B%2B%3A%2B%2B" ><span class="hs-operator hs-var" >++:++</span ><span class="annottext" >Int -> Int -> Int <a href="#%2B%2B%3A%2B%2B" ><span class="hs-operator hs-var" >LinkingIdentifiers.++:++</span ><span id="line-15" ></span ><a href="#%2B%2B%3A%2B%2B" ><span class="hs-operator hs-var" >(++:++)</span ><span class="annottext" >Int -> Int -> Int <a href="#%2B%2B%3A%2B%2B" ><span class="hs-operator hs-var" >(++:++)</span ><span class="annottext" >Int -> Int -> Int <a href="#%2B%2B%3A%2B%2B" ><span class="hs-operator hs-var" >(LinkingIdentifiers.++:++)</span ><span id="line-5" ></span ><a href="#str" ><span class="hs-identifier hs-type" >str</span ><span class="annottext" >str :: String <a href="#str" ><span class="hs-identifier hs-var hs-var" >str</span ></span ><span id="" ><a href="#num" ><span class="hs-identifier hs-type" >num</span ><span class="annottext" >num :: forall a. Num a => a <a href="#num" ><span class="hs-identifier hs-var hs-var" >num</span ></span ><span id="" ><a href="#frac" ><span class="hs-identifier hs-type" >frac</span ><span class="annottext" >frac :: forall a. Fractional a => a <a href="#frac" ><span class="hs-identifier hs-var hs-var" >frac</span ></span ><span id="" ><a href="#list" ><span class="hs-identifier hs-type" >list</span ><span class="annottext" >list :: forall a. [[[[a]]]] <a href="#list" ><span class="hs-identifier hs-var hs-var" >list</span ><span id="line-17" ></span ><a href="#pair" ><span class="hs-identifier hs-type" >pair</span ><span class="annottext" >pair :: ((), ((), (), ()), ()) <a href="#pair" ><span class="hs-identifier hs-var hs-var" >pair</span ></span ><span id="" ><a href="#%2B%2B%2B" ><span class="hs-operator hs-type" >(+++)</span ><span class="annottext" >+++ :: forall a. [a] -> [a] -> [a] <a href="#%2B%2B%2B" ><span class="hs-operator hs-var hs-var" >+++</span ></span ><span id="" ><a href="#%24%24%24" ><span class="hs-operator hs-type" >($$$)</span ><span class="annottext" >$$$ :: forall a. [a] -> [a] -> [a] <a href="#%24%24%24" ><span class="hs-operator hs-var hs-var" >$$$</span >[a] -> [a] -> [a] forall a. [a] -> [a] -> [a] <a href="#%2B%2B%2B" ><span class="hs-operator hs-var" >+++</span ></span ><span id="" ><a href="#%2A%2A%2A" ><span class="hs-operator hs-type" >(***)</span ><span class="annottext" >*** :: forall a. [a] -> [a] -> [a] <a href="#%2A%2A%2A" ><span class="hs-operator hs-var hs-var" >(***)</span ><span id="line-12" ></span ><a href="#%2A%2A%2A" ><span class="hs-operator hs-var" >(***)</span >[a] -> [a] -> [a] forall a. [a] -> [a] -> [a] <a href="#%2B%2B%2B" ><span class="hs-operator hs-var" >+++</span >[a] -> [a] -> [a] forall a. [a] -> [a] -> [a] <a href="#%2A%2A%2A" ><span class="hs-operator hs-var" >***</span ></span ><span id="" ><a href="#%2A%2F%5C%2A" ><span class="hs-operator hs-type" >(*/\*)</span ><span class="annottext" >*/\* :: forall a. [[a]] -> [a] -> [a] <a href="#%2A%2F%5C%2A" ><span class="hs-operator hs-var hs-var" >*/\*</span >[a] -> [a] -> [a] forall a. [a] -> [a] -> [a] <a href="#%2A%2A%2A" ><span class="hs-operator hs-var" >***</span ></span ><span id="" ><a href="#%2A%2A%2F%5C%2A%2A" ><span class="hs-operator hs-type" >(**/\**)</span ><span class="annottext" >**/\** :: forall a. [[a]] -> [[a]] -> [[a]] <a href="#%2A%2A%2F%5C%2A%2A" ><span class="hs-operator hs-var hs-var" >**/\**</span >[[a]] -> [a] -> [a] forall a. [[a]] -> [a] -> [a] <a href="#%2A%2F%5C%2A" ><span class="hs-operator hs-var" >(*/\*)</span >[[a]] -> [[a]] -> [[a]] forall a. [a] -> [a] -> [a] <a href="#%2B%2B%2B" ><span class="hs-operator hs-var" >+++</span >[[a]] -> [[a]] -> [[a]] forall a. [a] -> [a] -> [a] <a href="#%24%24%24" ><span class="hs-operator hs-var" >$$$</span ><span id="" ><span id="" ><a href="#%23.%23" ><span class="hs-operator hs-type" >(#.#)</span ><span class="annottext" >#.# :: forall a b c. a -> b -> c -> (a, b) <a href="#%23.%23" ><span class="hs-operator hs-var hs-var" >#.#</span ></span ><span id="" ><a href="#foo" ><span class="hs-identifier hs-type" >foo</span ><span class="annottext" >foo :: forall a. a -> a -> a <a href="#foo" ><span class="hs-identifier hs-var hs-var" >foo</span ><span id="line-12" ></span ><a href="#foo%27" ><span class="hs-identifier hs-type" >foo'</span ><span class="annottext" >foo' :: forall a. a -> a -> a <a href="#foo%27" ><span class="hs-identifier hs-var hs-var" >foo'</span ><span id="" ><span id="" ><a href="#bar" ><span class="hs-identifier hs-type" >bar</span ><span class="annottext" >bar :: forall a b. a -> b -> (a, b) <a href="#bar" ><span class="hs-identifier hs-var hs-var" >bar</span ><span id="line-18" ></span ><a href="#bar%27" ><span class="hs-identifier hs-type" >bar'</span ><span class="annottext" >bar' :: forall a b. a -> b -> (a, b) <a href="#bar%27" ><span class="hs-identifier hs-var hs-var" >bar'</span ><span id="" ><span id="" ><a href="#baz" ><span class="hs-identifier hs-type" >baz</span ><span class="annottext" >baz :: forall a b. a -> (a -> [a -> a] -> b) -> b <a href="#baz" ><span class="hs-identifier hs-var hs-var" >baz</span ><span id="line-24" ></span ><a href="#baz%27" ><span class="hs-identifier hs-type" >baz'</span ><span class="annottext" >baz' :: forall a b. a -> (a -> [a -> a] -> b) -> b <a href="#baz%27" ><span class="hs-identifier hs-var hs-var" >baz'</span ></span ><span id="" ><a href="#quux" ><span class="hs-identifier hs-type" >quux</span ><span class="annottext" >quux :: forall a. a -> (forall a. a -> a) -> a <a href="#quux" ><span class="hs-identifier hs-var hs-var" >quux</span ><span id="line-30" ></span ><a href="#quux%27" ><span class="hs-identifier hs-type" >quux'</span ><span class="annottext" >quux' :: forall a. a -> (forall a. a -> a) -> a <a href="#quux%27" ><span class="hs-identifier hs-var hs-var" >quux'</span ></span ><span id="" ><a href="#num" ><span class="hs-identifier hs-type" >num</span ><span class="annottext" >num :: forall a. Num a => a -> a -> a <a href="#num" ><span class="hs-identifier hs-var hs-var" >num</span ><span id="line-37" ></span ><a href="#num%27" ><span class="hs-identifier hs-type" >num'</span ><span class="annottext" >num' :: forall a. Num a => a -> a -> a <a href="#num%27" ><span class="hs-identifier hs-var hs-var" >num'</span ><span id="" ><span id="" ><a href="#eq" ><span class="hs-identifier hs-type" >eq</span ><span class="annottext" >eq :: forall a b. (Eq a, Eq b) => [a] -> [b] -> (a, b) <a href="#eq" ><span class="hs-identifier hs-var hs-var" >eq</span ><span id="line-43" ></span ><a href="#eq%27" ><span class="hs-identifier hs-type" >eq'</span ><span class="annottext" >eq' :: forall a b. (Eq a, Eq b) => [a] -> [b] -> (a, b) <a href="#eq%27" ><span class="hs-identifier hs-var hs-var" >eq'</span ><span id="" ><span id="" ><a href="#mon" ><span class="hs-identifier hs-type" >mon</span ><span class="annottext" >mon :: forall (m :: * -> *) a. Monad m => (a -> m a) -> m a <a href="#mon" ><span class="hs-identifier hs-var hs-var" >mon</span ><span id="line-49" ></span ><a href="#mon%27" ><span class="hs-identifier hs-type" >mon'</span ><span class="annottext" >mon' :: forall (m :: * -> *) a. Monad m => (a -> m a) -> m a <a href="#mon%27" ><span class="hs-identifier hs-var hs-var" >mon'</span ></span ><span id="" ><a href="#norf" ><span class="hs-identifier hs-type" >norf</span ><span class="annottext" >norf :: forall a. a -> (forall a. Ord a => a -> a) -> a <a href="#norf" ><span class="hs-identifier hs-var hs-var" >norf</span ><span id="line-56" ></span ><a href="#norf%27" ><span class="hs-identifier hs-type" >norf'</span ><span class="annottext" >norf' :: forall a. a -> (forall a. Ord a => a -> a) -> a <a href="#norf%27" ><span class="hs-identifier hs-var hs-var" >norf'</span ><span id="line-60" ></span ><a href="#plugh" ><span class="hs-identifier hs-type" >plugh</span ><span class="annottext" >plugh :: forall a. a -> a <a href="#plugh" ><span class="hs-identifier hs-var hs-var" >plugh</span ><span id="line-63" ></span ><a href="#thud" ><span class="hs-identifier hs-type" >thud</span ><span class="annottext" >thud :: forall a b. (a -> b) -> a -> (a, b) <a href="#thud" ><span class="hs-identifier hs-var hs-var" >thud</span ><span id="line-9" ></span ><a href="#foo" ><span class="hs-identifier hs-type" >foo</span ><span class="annottext" >foo :: String <a href="#foo" ><span class="hs-identifier hs-var hs-var" >foo</span ><span class="annottext" >String <a href="#bar" ><span class="hs-identifier hs-var" >bar</span ><span id="line-24" ></span ><a href="#bar" ><span class="hs-identifier hs-type" >bar</span ><span class="annottext" >bar :: String <a href="#bar" ><span class="hs-identifier hs-var hs-var" >bar</span ><span class="annottext" >String <a href="#foo" ><span class="hs-identifier hs-var" >foo</span ><span > </span ><a href="#string" ><span class="hs-identifier" >string</span ><span id="line-8" ></span ><a href="#string" ><span class="hs-identifier hs-type" >string</span ><span class="annottext" >string :: QuasiQuoter <a href="#string" ><span class="hs-identifier hs-var hs-var" >string</span > </span ><span id="Point" ><a href="#Point" ><span class="hs-identifier hs-var" >Point</span > </span ><span id="Point" ><a href="#Point" ><span class="hs-identifier hs-var" >Point</span ><span class="annottext" >Point -> Int <a href="#x" ><span class="hs-identifier hs-var hs-var" >x</span ><span class="annottext" >Point -> Int <a href="#y" ><span class="hs-identifier hs-var hs-var" >y</span ><span id="line-15" ></span ><a href="#point" ><span class="hs-identifier hs-type" >point</span ><span > </span ><a href="#Point" ><span class="hs-identifier hs-type" >Point</span ><span class="annottext" >point :: Int -> Int -> Point <a href="#point" ><span class="hs-identifier hs-var hs-var" >point</span ><span > </span ><a href="#Point" ><span class="hs-identifier hs-type" >Point</span ><span class="annottext" >x :: Int <a href="#x" ><span class="hs-identifier hs-var" >x</span ><span class="annottext" >y :: Int <a href="#y" ><span class="hs-identifier hs-var" >y</span ><span id="line-19" ></span ><a href="#lengthSqr" ><span class="hs-identifier hs-type" >lengthSqr</span ><span > </span ><a href="#Point" ><span class="hs-identifier hs-type" >Point</span ><span class="annottext" >lengthSqr :: Point -> Int <a href="#lengthSqr" ><span class="hs-identifier hs-var hs-var" >lengthSqr</span ><span class="hs-special" >(</span ><a href="#Point" ><span class="hs-identifier hs-type" >Point</span ><span class="annottext" >x :: Point -> Int <a href="#x" ><span class="hs-identifier hs-var" >x</span ><span class="annottext" >y :: Point -> Int <a href="#y" ><span class="hs-identifier hs-var" >y</span ><span id="line-22" ></span ><a href="#lengthSqr%27" ><span class="hs-identifier hs-type" >lengthSqr'</span ><span > </span ><a href="#Point" ><span class="hs-identifier hs-type" >Point</span ><span class="annottext" >lengthSqr' :: Point -> Int <a href="#lengthSqr%27" ><span class="hs-identifier hs-var hs-var" >lengthSqr'</span ><span class="hs-special" >(</span ><a href="#Point" ><span class="hs-identifier hs-type" >Point</span ><a href="#x" ><span class="hs-identifier hs-var hs-var" >x</span ><a href="#y" ><span class="hs-identifier hs-var hs-var" >y</span ><span id="line-26" ></span ><a href="#translateX" ><span class="hs-identifier hs-type" >translateX</span ><span > </span ><a href="#translateY" ><span class="hs-identifier hs-type" >translateY</span ><span > </span ><a href="#Point" ><span class="hs-identifier hs-type" >Point</span ><span > </span ><a href="#Point" ><span class="hs-identifier hs-type" >Point</span ><span class="annottext" >translateX :: Point -> Int -> Point <a href="#translateX" ><span class="hs-identifier hs-var hs-var" >translateX</span ><span > </span ><a href="#x" ><span class="hs-identifier hs-var" >x</span ><span > </span ><a href="#x" ><span class="hs-identifier hs-var" >x</span ><span class="annottext" >translateY :: Point -> Int -> Point <a href="#translateY" ><span class="hs-identifier hs-var hs-var" >translateY</span ><span > </span ><a href="#y" ><span class="hs-identifier hs-var" >y</span ><span > </span ><a href="#y" ><span class="hs-identifier hs-var" >y</span ><span id="line-30" ></span ><a href="#translate" ><span class="hs-identifier hs-type" >translate</span ><span > </span ><a href="#Point" ><span class="hs-identifier hs-type" >Point</span ><span > </span ><a href="#Point" ><span class="hs-identifier hs-type" >Point</span ><span class="annottext" >translate :: Int -> Int -> Point -> Point <a href="#translate" ><span class="hs-identifier hs-var hs-var" >translate</span ><span > </span ><a href="#Point" ><span class="hs-identifier hs-type" >Point</span ><a href="#x" ><span class="hs-glyph hs-var hs-var hs-var hs-var" >..</span ><span > </span ><a href="#x" ><span class="hs-identifier hs-var" >x</span ><span > </span ><a href="#y" ><span class="hs-identifier hs-var" >y</span ><span id="line-8" ></span ><a href="#aDecl" ><span class="hs-identifier hs-type" >aDecl</span ><span class="annottext" >aDecl :: DecsQ <a href="#aDecl" ><span class="hs-identifier hs-var hs-var" >aDecl</span ><span class="annottext" >TypeQ <a href="#aType" ><span class="hs-identifier hs-var" >aType</span ><span class="annottext" >PatQ <a href="#aPattern" ><span class="hs-identifier hs-var" >aPattern</span ><span class="annottext" >ExpQ <a href="#anExpression" ><span class="hs-identifier hs-var" >anExpression</span ><span id="line-14" ></span ><a href="#aPattern" ><span class="hs-identifier hs-type" >aPattern</span ><span class="annottext" >aPattern :: PatQ <a href="#aPattern" ><span class="hs-identifier hs-var hs-var" >aPattern</span ><span class="annottext" >PatQ <a href="#aNumberPattern" ><span class="hs-identifier hs-var" >aNumberPattern</span ><span id="line-23" ></span ><a href="#aNumberPattern" ><span class="hs-identifier hs-type" >aNumberPattern</span ><span class="annottext" >aNumberPattern :: PatQ <a href="#aNumberPattern" ><span class="hs-identifier hs-var hs-var" >aNumberPattern</span ><span id="line-28" ></span ><a href="#anExpression" ><span class="hs-identifier hs-type" >anExpression</span ><span > </span ><a href="#anExpression2" ><span class="hs-identifier hs-type" >anExpression2</span ><span class="annottext" >anExpression :: ExpQ <a href="#anExpression" ><span class="hs-identifier hs-var hs-var" >anExpression</span ><span class="annottext" >ExpQ <a href="#anExpression2" ><span class="hs-identifier hs-var" >anExpression2</span ><span class="annottext" >anExpression2 :: ExpQ <a href="#anExpression2" ><span class="hs-identifier hs-var hs-var" >anExpression2</span ><span id="line-34" ></span ><a href="#aType" ><span class="hs-identifier hs-type" >aType</span ><span class="annottext" >aType :: TypeQ <a href="#aType" ><span class="hs-identifier hs-var hs-var" >aType</span ><span id="line-39" ></span ><a href="#typedExpr1" ><span class="hs-identifier hs-type" >typedExpr1</span ><span class="annottext" >typedExpr1 :: Code Q () <a href="#typedExpr1" ><span class="hs-identifier hs-var hs-var" >typedExpr1</span ><span id="line-42" ></span ><a href="#typedExpr" ><span class="hs-identifier hs-type" >typedExpr</span ><span class="annottext" >typedExpr :: Code Q () <a href="#typedExpr" ><span class="hs-identifier hs-var hs-var" >typedExpr</span ><span class="annottext" >Code Q () <a href="#typedExpr1" ><span class="hs-identifier hs-var" >typedExpr1</span ><span class="annottext" >foo :: Integer <a href="#foo" ><span class="hs-identifier hs-var hs-var" >foo</span ><span class="annottext" >pat :: [(a, String)] -> () <a href="#pat" ><span class="hs-identifier hs-var hs-var" >pat</span ><span class="annottext" >qux :: () <a href="#qux" ><span class="hs-identifier hs-var hs-var" >qux</span > </span ><span id="Quux" ><a href="#Quux" ><span class="hs-identifier hs-var" >Quux</span > </span ><span id="Bar" ><a href="#Bar" ><span class="hs-identifier hs-var" >Bar</span > </span ><span id="Baz" ><a href="#Baz" ><span class="hs-identifier hs-var" >Baz</span > </span ><span id="Foo" ><a href="#Foo" ><span class="hs-identifier hs-var" >Foo</span > </span ><span id="Foo" ><a href="#Foo" ><span class="hs-identifier hs-var" >Foo</span > </span ><span id="FooQuux" ><a href="#FooQuux" ><span class="hs-identifier hs-var" >FooQuux</span ><span class="hs-special" >(</span ><a href="#Foo" ><span class="hs-identifier hs-type" >Foo</span ><span > </span ><a href="#Quux" ><span class="hs-identifier hs-type" >Quux</span > </span ><span id="QuuxFoo" ><a href="#QuuxFoo" ><span class="hs-identifier hs-var" >QuuxFoo</span ><span class="hs-special" >(</span ><a href="#Quux" ><span class="hs-identifier hs-type" >Quux</span ><span > </span ><a href="#Foo" ><span class="hs-identifier hs-type" >Foo</span > </span ><span id="Norf" ><a href="#Norf" ><span class="hs-identifier hs-var" >Norf</span > </span ><span id="Norf" ><a href="#Norf" ><span class="hs-identifier hs-var" >Norf</span ><span > </span ><a href="#Foo" ><span class="hs-identifier hs-type" >Foo</span ><span > </span ><a href="#Quux" ><span class="hs-identifier hs-type" >Quux</span > </span ><span id="NFQ" ><a href="#NFQ" ><span class="hs-identifier hs-var" >NFQ</span ><span > </span ><a href="#Foo" ><span class="hs-identifier hs-type" >Foo</span ><span > </span ><a href="#Quux" ><span class="hs-identifier hs-type" >Quux</span > </span ><span id="Norf" ><a href="#Norf" ><span class="hs-identifier hs-var" >Norf</span ><span > </span ><a href="#Quux" ><span class="hs-identifier hs-type" >Quux</span ><span > </span ><a href="#Foo" ><span class="hs-identifier hs-type" >Foo</span > </span ><span id="NQF" ><a href="#NQF" ><span class="hs-identifier hs-var" >NQF</span ><span > </span ><a href="#Quux" ><span class="hs-identifier hs-type" >Quux</span ><span > </span ><a href="#Foo" ><span class="hs-identifier hs-type" >Foo</span > </span ><span id="Norf%27" ><a href="#Norf%27" ><span class="hs-identifier hs-var" >Norf'</span > </span ><span id="Norf%27" ><a href="#Norf%27" ><span class="hs-identifier hs-var" >Norf'</span ><span > </span ><a href="#Foo" ><span class="hs-identifier hs-type" >Foo</span ><span > </span ><a href="#Quux" ><span class="hs-identifier hs-type" >Quux</span ><span class="hs-special" >(</span ><a href="#Foo" ><span class="hs-identifier hs-type" >Foo</span ><span > </span ><a href="#Quux" ><span class="hs-identifier hs-type" >Quux</span > </span ><span id="Norf%27" ><a href="#Norf%27" ><span class="hs-identifier hs-var" >Norf'</span ><span > </span ><a href="#Quux" ><span class="hs-identifier hs-type" >Quux</span ><span > </span ><a href="#Foo" ><span class="hs-identifier hs-type" >Foo</span ><span class="hs-special" >(</span ><a href="#Quux" ><span class="hs-identifier hs-type" >Quux</span ><span > </span ><a href="#Foo" ><span class="hs-identifier hs-type" >Foo</span ><span id="line-28" ></span ><a href="#norf1" ><span class="hs-identifier hs-type" >norf1</span ><span > </span ><a href="#Norf" ><span class="hs-identifier hs-type" >Norf</span ><span > </span ><a href="#Foo" ><span class="hs-identifier hs-type" >Foo</span ><span > </span ><a href="#Quux" ><span class="hs-identifier hs-type" >Quux</span ><span class="annottext" >norf1 :: Norf Foo Quux -> Int <a href="#norf1" ><span class="hs-identifier hs-var hs-var" >norf1</span ><span class="hs-special" >(</span ><a href="#NFQ" ><span class="hs-identifier hs-type" >NFQ</span ><span class="hs-special" >(</span ><a href="#Foo" ><span class="hs-identifier hs-type" >Foo</span ><span class="annottext" >Quux <a href="#Bar" ><span class="hs-identifier hs-var" >Bar</span ><span id="line-30" ></span ><a href="#norf1" ><span class="hs-identifier hs-var" >norf1</span ><span class="hs-special" >(</span ><a href="#NFQ" ><span class="hs-identifier hs-type" >NFQ</span ><span class="hs-special" >(</span ><a href="#Foo" ><span class="hs-identifier hs-type" >Foo</span ><span class="annottext" >Quux <a href="#Baz" ><span class="hs-identifier hs-var" >Baz</span ><span id="line-32" ></span ><a href="#norf2" ><span class="hs-identifier hs-type" >norf2</span ><span > </span ><a href="#Norf" ><span class="hs-identifier hs-type" >Norf</span ><span > </span ><a href="#Quux" ><span class="hs-identifier hs-type" >Quux</span ><span > </span ><a href="#Foo" ><span class="hs-identifier hs-type" >Foo</span ><span class="annottext" >norf2 :: Norf Quux Foo -> Int <a href="#norf2" ><span class="hs-identifier hs-var hs-var" >norf2</span ><span class="hs-special" >(</span ><a href="#NQF" ><span class="hs-identifier hs-type" >NQF</span ><span class="annottext" >Quux <a href="#Bar" ><span class="hs-identifier hs-var" >Bar</span ><span class="hs-special" >(</span ><a href="#Foo" ><span class="hs-identifier hs-type" >Foo</span ><span id="line-34" ></span ><a href="#norf2" ><span class="hs-identifier hs-var" >norf2</span ><span class="hs-special" >(</span ><a href="#NQF" ><span class="hs-identifier hs-type" >NQF</span ><span class="annottext" >Quux <a href="#Baz" ><span class="hs-identifier hs-var" >Baz</span ><span class="hs-special" >(</span ><a href="#Foo" ><span class="hs-identifier hs-type" >Foo</span ><span id="line-37" ></span ><a href="#norf1%27" ><span class="hs-identifier hs-type" >norf1'</span ><span > </span ><a href="#Norf%27" ><span class="hs-identifier hs-type" >Norf'</span ><span > </span ><a href="#Foo" ><span class="hs-identifier hs-type" >Foo</span ><span > </span ><a href="#Quux" ><span class="hs-identifier hs-type" >Quux</span ><span class="annottext" >norf1' :: Norf' Foo Quux -> Int <a href="#norf1%27" ><span class="hs-identifier hs-var hs-var" >norf1'</span ><span class="hs-special" >(</span ><a href="#Foo" ><span class="hs-identifier hs-type" >Foo</span ><span class="annottext" >Quux <a href="#Bar" ><span class="hs-identifier hs-var" >Bar</span ><span id="line-39" ></span ><a href="#norf1%27" ><span class="hs-identifier hs-var" >norf1'</span ><span class="hs-special" >(</span ><a href="#Foo" ><span class="hs-identifier hs-type" >Foo</span ><span class="annottext" >Quux <a href="#Baz" ><span class="hs-identifier hs-var" >Baz</span ><span id="line-41" ></span ><a href="#norf2%27" ><span class="hs-identifier hs-type" >norf2'</span ><span > </span ><a href="#Norf%27" ><span class="hs-identifier hs-type" >Norf'</span ><span > </span ><a href="#Quux" ><span class="hs-identifier hs-type" >Quux</span ><span > </span ><a href="#Foo" ><span class="hs-identifier hs-type" >Foo</span ><span class="annottext" >norf2' :: Norf' Quux Foo -> Int <a href="#norf2%27" ><span class="hs-identifier hs-var hs-var" >norf2'</span ><span class="annottext" >Quux <a href="#Bar" ><span class="hs-identifier hs-var" >Bar</span ><span > </span ><a href="#Foo" ><span class="hs-identifier hs-type" >Foo</span ><span id="line-43" ></span ><a href="#norf2%27" ><span class="hs-identifier hs-var" >norf2'</span ><span class="annottext" >Quux <a href="#Baz" ><span class="hs-identifier hs-var" >Baz</span ><span > </span ><a href="#Foo" ><span class="hs-identifier hs-type" >Foo</span ><span class="annottext" >baz :: [Char] <a href="#baz" ><span class="hs-identifier hs-var hs-var" >baz</span >