aboutsummaryrefslogtreecommitdiff
path: root/html-test/ref/SpuriousSuperclassConstraints.html
diff options
context:
space:
mode:
authorBrian Huffman <huffman@galois.com>2017-03-17 15:10:40 -0700
committerAlex Biehl <alexbiehl@gmail.com>2017-03-23 17:45:58 +0100
commit29c76f761fe131cc00272eed9a0137953dba6180 (patch)
tree1e5b077c15071b5efeddcfa1f4d90aa03301db5a /html-test/ref/SpuriousSuperclassConstraints.html
parentf6f9bca1416f6cee48f2d4731a6c38db92e87300 (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.html6
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
+ > -&gt; <a href="#"
+ >*</a
+ >) a <a href="#" class="selflink"
>#</a
></p
><div class="subs instances"