From b02188ab1cc46dd82395a22b04f890cf15f3feae Mon Sep 17 00:00:00 2001
From: Vladislav Zavialov <vlad.z.4096@gmail.com>
Date: Sun, 18 Oct 2020 16:25:35 +0300
Subject: [PATCH] Link to (~)
---
haddock-api/src/Haddock/GhcUtils.hs | 1 +
haddock-api/src/Haddock/Types.hs | 1 +
.../src/Documentation/Haddock/Parser/Monad.hs | 1 +
html-test/ref/FunArgs.html | 4 +++-
html-test/ref/TypeOperators.html | 10 ++++++++--
5 files changed, 14 insertions(+), 3 deletions(-)
diff --git a/haddock-api/src/Haddock/GhcUtils.hs b/haddock-api/src/Haddock/GhcUtils.hs
index 85e6fcf4d1..3f97236a54 100644
--- a/haddock-api/src/Haddock/GhcUtils.hs
+++ b/haddock-api/src/Haddock/GhcUtils.hs
@@ -1,5 +1,6 @@
{-# LANGUAGE BangPatterns, StandaloneDeriving, FlexibleInstances, ViewPatterns #-}
{-# LANGUAGE TypeFamilies #-}
+{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE ScopedTypeVariables #-}
diff --git a/haddock-api/src/Haddock/Types.hs b/haddock-api/src/Haddock/Types.hs
index ba86f4294f..7d00c5ecf0 100644
--- a/haddock-api/src/Haddock/Types.hs
+++ b/haddock-api/src/Haddock/Types.hs
@@ -1,4 +1,5 @@
{-# LANGUAGE CPP, DeriveDataTypeable, DeriveFunctor, DeriveFoldable, DeriveTraversable, StandaloneDeriving, TypeFamilies, RecordWildCards #-}
+{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE ConstraintKinds #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE PartialTypeSignatures #-}
diff --git a/haddock-library/src/Documentation/Haddock/Parser/Monad.hs b/haddock-library/src/Documentation/Haddock/Parser/Monad.hs
index 7c73a16838..2fa79961b7 100644
--- a/haddock-library/src/Documentation/Haddock/Parser/Monad.hs
+++ b/haddock-library/src/Documentation/Haddock/Parser/Monad.hs
@@ -2,6 +2,7 @@
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE TypeFamilies #-}
+{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE BangPatterns #-}
{-# LANGUAGE TypeSynonymInstances #-}
-- |
diff --git a/html-test/ref/FunArgs.html b/html-test/ref/FunArgs.html
index 2fac6d4e31..855f1b890d 100644
--- a/html-test/ref/FunArgs.html
+++ b/html-test/ref/FunArgs.html
@@ -230,7 +230,9 @@
><td class="src"
>:: <span class="keyword"
>forall</span
- > a (b :: ()) d. d ~ '<a href="#" title="GHC.Tuple"
+ > a (b :: ()) d. d <a href="#" title="Data.Type.Equality"
+ >~</a
+ > '<a href="#" title="GHC.Tuple"
>()</a
></td
><td class="doc empty"
diff --git a/html-test/ref/TypeOperators.html b/html-test/ref/TypeOperators.html
index ff79e6beb6..f4882f1a09 100644
--- a/html-test/ref/TypeOperators.html
+++ b/html-test/ref/TypeOperators.html
@@ -147,7 +147,9 @@
><p class="src"
><a id="v:f" class="def"
>f</a
- > :: a ~ b => a -> b <a href="#" class="selflink"
+ > :: a <a href="#" title="Data.Type.Equality"
+ >~</a
+ > b => a -> b <a href="#" class="selflink"
>#</a
></p
></div
@@ -155,7 +157,11 @@
><p class="src"
><a id="v:g" class="def"
>g</a
- > :: (a ~ b, b ~ c) => a -> c <a href="#" class="selflink"
+ > :: (a <a href="#" title="Data.Type.Equality"
+ >~</a
+ > b, b <a href="#" title="Data.Type.Equality"
+ >~</a
+ > c) => a -> c <a href="#" class="selflink"
>#</a
></p
></div
--
GitLab