From c04f44e29f38784e0e958abc683164e33f851c86 Mon Sep 17 00:00:00 2001
From: Alec Theriault
Date: Thu, 19 Jul 2018 05:39:57 -0700
Subject: Fix HEAD html-test (#860)
* Update tests for 'StarIsType'
* Accept tests
* Revert "Update tests for 'StarIsType'"
This reverts commit 7f0c01383bbba6dc5af554ee82988d2cf44e407a.
---
html-test/ref/SpuriousSuperclassConstraints.html | 38 ++++++++++++++++++------
1 file changed, 29 insertions(+), 9 deletions(-)
(limited to 'html-test/ref/SpuriousSuperclassConstraints.html')
diff --git a/html-test/ref/SpuriousSuperclassConstraints.html b/html-test/ref/SpuriousSuperclassConstraints.html
index 00cea04a..47dfd6cd 100644
--- a/html-test/ref/SpuriousSuperclassConstraints.html
+++ b/html-test/ref/SpuriousSuperclassConstraints.html
@@ -86,7 +86,9 @@ Fix spurious superclass constraints bug. Functor ( Functor (SomeType f) SomeType f a -> SomeType f b
f b #(<$)SomeType f b -> SomeType f a
f a # Applicative f => Applicative ( Applicative f => Applicative (SomeType f) pure :: a -> SomeType f a f a #(<*>)SomeType f a -> SomeType f b
f b #liftA2SomeType f b -> SomeType f c
f c #(*>)SomeType f b -> SomeType f b
f b #(<*)SomeType f b -> SomeType f a
f a #