From f9cebb515d7e12f07be4513ba62198113a02f963 Mon Sep 17 00:00:00 2001
From: Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io>
Date: Thu, 3 Aug 2023 22:15:55 +0200
Subject: [PATCH] Update quantification order following GHC #23764

---
 html-test/ref/LinearTypes.html             | 8 ++++----
 latex-test/ref/LinearTypes/LinearTypes.tex | 2 +-
 2 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/html-test/ref/LinearTypes.html b/html-test/ref/LinearTypes.html
index 151ea84812..19a8a7e455 100644
--- a/html-test/ref/LinearTypes.html
+++ b/html-test/ref/LinearTypes.html
@@ -66,9 +66,9 @@
 	      >poly</a
 	      > :: <span class="keyword"
 	      >forall</span
-	      > a b (m :: <a href="#" title="GHC.Exts"
+	      > a (m :: <a href="#" title="GHC.Exts"
 	      >Multiplicity</a
-	      >). a %m -&gt; b</li
+	      >) b. a %m -&gt; b</li
 	    ></ul
 	  ></details
 	></div
@@ -105,9 +105,9 @@
 	    >poly</a
 	    > :: <span class="keyword"
 	    >forall</span
-	    > a b (m :: <a href="#" title="GHC.Exts"
+	    > a (m :: <a href="#" title="GHC.Exts"
 	    >Multiplicity</a
-	    >). a %m -&gt; b <a href="#" class="selflink"
+	    >) b. a %m -&gt; b <a href="#" class="selflink"
 	    >#</a
 	    ></p
 	  ><div class="doc"
diff --git a/latex-test/ref/LinearTypes/LinearTypes.tex b/latex-test/ref/LinearTypes/LinearTypes.tex
index c3fe605d05..c2eefe1a87 100644
--- a/latex-test/ref/LinearTypes/LinearTypes.tex
+++ b/latex-test/ref/LinearTypes/LinearTypes.tex
@@ -23,7 +23,7 @@
 \end{haddockdesc}
 \begin{haddockdesc}
 \item[\begin{tabular}{@{}l}
-poly :: forall a b (m :: Multiplicity). a {\char '45}m -> b
+poly :: forall a (m :: Multiplicity) b. a {\char '45}m -> b
 \end{tabular}]
 {\haddockbegindoc
 Does something polymorphic.\par}