diff options
| author | Brian Huffman <huffman@galois.com> | 2017-03-17 15:10:40 -0700 |
|---|---|---|
| committer | Alex Biehl <alexbiehl@gmail.com> | 2017-03-23 17:45:58 +0100 |
| commit | 29c76f761fe131cc00272eed9a0137953dba6180 (patch) | |
| tree | 1e5b077c15071b5efeddcfa1f4d90aa03301db5a /html-test/ref | |
| parent | f6f9bca1416f6cee48f2d4731a6c38db92e87300 (diff) | |
Update test suite to expect kind annotations on type parameters.
Diffstat (limited to 'html-test/ref')
| -rw-r--r-- | html-test/ref/SpuriousSuperclassConstraints.html | 6 | ||||
| -rw-r--r-- | html-test/ref/TypeFamilies.html | 8 |
2 files changed, 9 insertions, 5 deletions
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 + > -> <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("mini_TypeFamilies.html ><li class="src short" ><span class="keyword" >class</span - > a <a href="#" + > (a :: k) <a href="#" >><</a - > b</li + > (b :: k)</li ></ul ></div ><div id="interface" @@ -1779,9 +1779,9 @@ window.onload = function () {pageLoad();setSynopsis("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" >><</a - > b <a href="#" class="selflink" + > (b :: k) <a href="#" class="selflink" >#</a ></p ><div class="subs instances" |