[Git][ghc/ghc][master] 3 commits: Use isPrint in showUnique

17 Sep 2025


      Marge Bot pushed to branch master at Glasgow Haskell Compiler / GHC


Commits:
2dcd4cb9 by Oleg Grenrus at 2025-09-17T04:46:41-04:00
Use isPrint in showUnique

The comment say

```
-- Avoid emitting non-printable characters in pretty uniques. See #25989.
```

so let the code do exactly that.

There are tags (at least : and 0 .. 9) which weren't in A .. z range.

- - - - -
e5dd754b by Oleg Grenrus at 2025-09-17T04:46:42-04:00
Shorten in-module links in hyperlinked source

Instead of href="This.Module#ident" to just "#ident"

- - - - -
63189b2c by Oleg Grenrus at 2025-09-17T04:46:42-04: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.

- - - - -


20 changed files:

- compiler/GHC/Types/Unique.hs
- utils/haddock/haddock-api/src/Haddock/Backends/Hyperlinker.hs
- utils/haddock/haddock-api/src/Haddock/Backends/Hyperlinker/Renderer.hs
- utils/haddock/haddock-api/src/Haddock/Backends/Hyperlinker/Utils.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:

=====================================
compiler/GHC/Types/Unique.hs
=====================================
@@ -28,6 +28,7 @@ module GHC.Types.Unique (
         -- ** Constructors, destructors and operations on 'Unique's
         hasKey,
 
+        showUnique,
         pprUniqueAlways,
 
         mkTag,
@@ -61,7 +62,7 @@ import GHC.Utils.Word64 (intToWord64, word64ToInt)
 import GHC.Exts (indexCharOffAddr#, Char(..), Int(..))
 
 import GHC.Word         ( Word64 )
-import Data.Char        ( chr, ord )
+import Data.Char        ( chr, ord, isPrint )
 
 import Language.Haskell.Syntax.Module.Name
 
@@ -308,8 +309,8 @@ showUnique uniq
     -- Avoid emitting non-printable characters in pretty uniques.
     -- See #25989.
     tagStr
-      | tag < 'A' || tag > 'z' = show (ord tag) ++ "_"
-      | otherwise              = [tag]
+      | not (isPrint tag)  = show (ord tag) ++ "_"
+      | otherwise          = [tag]
 
 pprUniqueAlways :: IsLine doc => Unique -> doc
 -- The "always" means regardless of -dsuppress-uniques


=====================================
utils/haddock/haddock-api/src/Haddock/Backends/Hyperlinker.hs
=====================================
@@ -80,6 +80,7 @@ ppHyperlinkedModuleSource verbosity srcdir pretty srcs iface = do
   nc <- freshNameCache
   HieFile
     { hie_hs_file = file
+    , hie_module = thisModule
     , hie_asts = HieASTs asts
     , hie_types = types
     , hie_hs_src = rawSrc
@@ -116,7 +117,7 @@ ppHyperlinkedModuleSource verbosity srcdir pretty srcs iface = do
   let tokens = fmap (\tk -> tk{tkSpan = (tkSpan tk){srcSpanFile = srcSpanFile $ nodeSpan fullAst}}) tokens'
 
   -- Produce and write out the hyperlinked sources
-  writeUtf8File path . renderToString pretty . render' fullAst $ tokens
+  writeUtf8File path . renderToString pretty . render' thisModule fullAst $ tokens
   where
     dflags = ifaceDynFlags iface
     sDocContext = DynFlags.initSDocContext dflags Outputable.defaultUserStyle
@@ -128,7 +129,7 @@ ppHyperlinkedModuleSource verbosity srcdir pretty srcs iface = do
         False -- lex Haddocks as comment tokens
         True -- produce comment tokens
         False -- produce position pragmas tokens
-    render' = render (Just srcCssFile) (Just highlightScript) srcs
+    render' thisModule = render thisModule (Just srcCssFile) (Just highlightScript) srcs
     path = srcdir  hypSrcModuleFile (ifaceMod iface)
 
     emptyHieAst fileFs =


=====================================
utils/haddock/haddock-api/src/Haddock/Backends/Hyperlinker/Renderer.hs
=====================================
@@ -14,8 +14,8 @@ 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.Unit.Module (ModuleName, moduleNameString)
+import GHC.Types.Unique (showUnique)
+import GHC.Unit.Module (Module, ModuleName, moduleNameString)
 import GHC.Utils.Encoding (utf8DecodeByteString)
 import System.FilePath.Posix (())
 import Text.XHtml (Html, HtmlAttr, (!))
@@ -28,7 +28,9 @@ type StyleClass = String
 
 -- | Produce the HTML corresponding to a hyperlinked Haskell source
 render
-  :: Maybe FilePath
+  :: Module
+  -- ^ this module
+  -> Maybe FilePath
   -- ^ path to the CSS file
   -> Maybe FilePath
   -- ^ path to the JS file
@@ -39,12 +41,12 @@ render
   -> [Token]
   -- ^ tokens to render
   -> Html
-render mcss mjs srcs ast tokens = header mcss mjs <> body srcs ast tokens
+render thisModule mcss mjs srcs ast tokens = header mcss mjs <> body thisModule srcs ast tokens
 
-body :: SrcMaps -> HieAST PrintedType -> [Token] -> Html
-body srcs ast tokens = Html.body . Html.pre $ hypsrc
+body :: Module -> SrcMaps -> HieAST PrintedType -> [Token] -> Html
+body thisModule srcs ast tokens = Html.body . Html.pre $ hypsrc
   where
-    hypsrc = renderWithAst srcs ast tokens
+    hypsrc = renderWithAst thisModule srcs ast tokens
 
 header :: Maybe FilePath -> Maybe FilePath -> Html
 header Nothing Nothing = Html.noHtml
@@ -75,9 +77,9 @@ splitTokens ast toks = (before, during, after)
 
 -- | Turn a list of tokens into hyperlinked sources, threading in relevant link
 -- information from the 'HieAST'.
-renderWithAst :: SrcMaps -> HieAST PrintedType -> [Token] -> Html
-renderWithAst srcs Node{..} toks = anchored $ case toks of
-  [tok] | nodeSpan == tkSpan tok -> richToken srcs nodeInfo tok
+renderWithAst :: Module -> SrcMaps -> HieAST PrintedType -> [Token] -> Html
+renderWithAst thisModule srcs Node{..} toks = anchored $ case toks of
+  [tok] | nodeSpan == tkSpan tok -> richToken thisModule srcs nodeInfo tok
   -- NB: the GHC lexer lexes backquoted identifiers and parenthesized operators
   -- as multiple tokens.
   --
@@ -92,6 +94,7 @@ renderWithAst srcs Node{..} toks = anchored $ case toks of
     | realSrcSpanStart s1 == realSrcSpanStart nodeSpan
     , realSrcSpanEnd s2 == realSrcSpanEnd nodeSpan ->
         richToken
+          thisModule
           srcs
           nodeInfo
           ( Token
@@ -104,6 +107,7 @@ renderWithAst srcs Node{..} toks = anchored $ case toks of
     | realSrcSpanStart s1 == realSrcSpanStart nodeSpan
     , realSrcSpanEnd s2 == realSrcSpanEnd nodeSpan ->
         richToken
+          thisModule
           srcs
           nodeInfo
           ( Token
@@ -118,7 +122,7 @@ renderWithAst srcs Node{..} toks = anchored $ case toks of
     go _ [] = mempty
     go [] xs = foldMap renderToken xs
     go (cur : rest) xs =
-      foldMap renderToken before <> renderWithAst srcs cur during <> go rest after
+      foldMap renderToken before <> renderWithAst thisModule srcs cur during <> go rest after
       where
         (before, during, after) = splitTokens cur xs
     anchored c = Map.foldrWithKey anchorOne c (nodeIdentifiers nodeInfo)
@@ -137,8 +141,8 @@ renderToken Token{..}
     tokenSpan = Html.thespan (Html.toHtml tkValue')
 
 -- | Given information about the source position of definitions, render a token
-richToken :: SrcMaps -> NodeInfo PrintedType -> Token -> Html
-richToken srcs details Token{..}
+richToken :: Module -> SrcMaps -> NodeInfo PrintedType -> Token -> Html
+richToken thisModule srcs details Token{..}
   | tkType == TkSpace = renderSpace (srcSpanStartLine tkSpan) tkValue'
   | otherwise = annotate details $ linked content
   where
@@ -155,7 +159,7 @@ richToken srcs details Token{..}
 
     -- If we have name information, we can make links
     linked = case identDet of
-      Just (n, _) -> hyperlink srcs n
+      Just (n, _) -> hyperlink thisModule srcs n
       Nothing -> id
 
 -- | Remove CRLFs from source
@@ -250,11 +254,11 @@ 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 :: SrcMaps -> Identifier -> Html -> Html
-hyperlink (srcs, srcs') ident = case ident of
+hyperlink :: Module -> SrcMaps -> Identifier -> Html -> Html
+hyperlink thisModule (srcs, srcs') ident = case ident of
   Right name
     | isInternalName name -> internalHyperlink name
     | otherwise -> externalNameHyperlink name
@@ -270,7 +274,7 @@ hyperlink (srcs, srcs') ident = case ident of
     externalNameHyperlink name content = case Map.lookup mdl srcs of
       Just SrcLocal ->
         Html.anchor content
-          ! [Html.href $ hypSrcModuleNameUrl mdl name]
+          ! [Html.href $ hypSrcModuleNameUrl' thisModule mdl name]
       Just (SrcExternal path) ->
         let hyperlinkUrl = hypSrcModuleUrlToNameFormat $ makeHyperlinkUrl path
          in Html.anchor content


=====================================
utils/haddock/haddock-api/src/Haddock/Backends/Hyperlinker/Utils.hs
=====================================
@@ -9,6 +9,7 @@ module Haddock.Backends.Hyperlinker.Utils
   , hypSrcNameUrl
   , hypSrcLineUrl
   , hypSrcModuleNameUrl
+  , hypSrcModuleNameUrl'
   , hypSrcModuleLineUrl
   , hypSrcModuleUrlFormat
   , hypSrcModuleNameUrlFormat
@@ -71,6 +72,12 @@ hypSrcLineUrl line = "line-" ++ show line
 hypSrcModuleNameUrl :: Module -> Name -> String
 hypSrcModuleNameUrl mdl name = hypSrcModuleUrl mdl ++ "#" ++ hypSrcNameUrl name
 
+{-# INLINE hypSrcModuleNameUrl' #-}
+hypSrcModuleNameUrl' :: Module -> Module -> Name -> String
+hypSrcModuleNameUrl' this_mdl mdl name
+  | this_mdl == mdl = "#" ++ hypSrcNameUrl name
+  | otherwise = hypSrcModuleUrl mdl ++ "#" ++ hypSrcNameUrl name
+
 {-# INLINE hypSrcModuleLineUrl #-}
 hypSrcModuleLineUrl :: Module -> Int -> String
 hypSrcModuleLineUrl mdl line = hypSrcModuleUrl mdl ++ "#" ++ hypSrcLineUrl line


=====================================
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
 	    >

    

[Git][ghc/ghc][master] 3 commits: Use isPrint in showUnique

Marge Bot (＠marge-bot)