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