From 29c76f761fe131cc00272eed9a0137953dba6180 Mon Sep 17 00:00:00 2001
From: Brian Huffman <huffman@galois.com>
Date: Fri, 17 Mar 2017 15:10:40 -0700
Subject: Update test suite to expect kind annotations on type parameters.

---
 html-test/ref/SpuriousSuperclassConstraints.html | 6 +++++-
 html-test/ref/TypeFamilies.html                  | 8 ++++----
 2 files changed, 9 insertions(+), 5 deletions(-)

(limited to 'html-test')

diff --git a/html-test/ref/SpuriousSuperclassConstraints.html b/html-test/ref/SpuriousSuperclassConstraints.html
index b5aa56b3..e73ef2ac 100644
--- a/html-test/ref/SpuriousSuperclassConstraints.html
+++ b/html-test/ref/SpuriousSuperclassConstraints.html
@@ -77,7 +77,11 @@ Fix spurious superclass constraints bug.</pre
 	    >data</span
 	    > <a id="t:SomeType" class="def"
 	    >SomeType</a
-	    > f a <a href="#" class="selflink"
+	    > (f :: <a href="#"
+	    >*</a
+	    > -&gt; <a href="#"
+	    >*</a
+	    >) a <a href="#" class="selflink"
 	    >#</a
 	    ></p
 	  ><div class="subs instances"
diff --git a/html-test/ref/TypeFamilies.html b/html-test/ref/TypeFamilies.html
index 6062db4f..257d59f1 100644
--- a/html-test/ref/TypeFamilies.html
+++ b/html-test/ref/TypeFamilies.html
@@ -159,9 +159,9 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeFamilies.html
 	  ><li class="src short"
 	  ><span class="keyword"
 	    >class</span
-	    > a <a href="#"
+	    > (a :: k) <a href="#"
 	    >&gt;&lt;</a
-	    > b</li
+	    > (b :: k)</li
 	  ></ul
 	></div
       ><div id="interface"
@@ -1779,9 +1779,9 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeFamilies.html
 	><p class="src"
 	  ><span class="keyword"
 	    >class</span
-	    > a <a id="t:-62--60-" class="def"
+	    > (a :: k) <a id="t:-62--60-" class="def"
 	    >&gt;&lt;</a
-	    > b <a href="#" class="selflink"
+	    > (b :: k) <a href="#" class="selflink"
 	    >#</a
 	    ></p
 	  ><div class="subs instances"
-- 
cgit v1.2.3