Update quantification order following GHC #23764

haskell · Apr 16, 2024 · f9cebb5 · f9cebb5
1 parent 504d4c1
commit f9cebb5
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git 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
@@ -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}