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/TypeFamilies.html | |
| parent | f6f9bca1416f6cee48f2d4731a6c38db92e87300 (diff) | |
Update test suite to expect kind annotations on type parameters.
Diffstat (limited to 'html-test/ref/TypeFamilies.html')
| -rw-r--r-- | html-test/ref/TypeFamilies.html | 8 |
1 files changed, 4 insertions, 4 deletions
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" |