From ce568c3afb00610d659d3c2bab022983d252f1cd Mon Sep 17 00:00:00 2001
From: Simon Jakobi
Date: Wed, 13 Jun 2018 23:49:52 +0200
Subject: html-test: Accept output
---
html-test/ref/SpuriousSuperclassConstraints.html | 44 ++++++------------------
1 file changed, 10 insertions(+), 34 deletions(-)
(limited to 'html-test/ref/SpuriousSuperclassConstraints.html')
diff --git a/html-test/ref/SpuriousSuperclassConstraints.html b/html-test/ref/SpuriousSuperclassConstraints.html
index cd80ed34..00cea04a 100644
--- a/html-test/ref/SpuriousSuperclassConstraints.html
+++ b/html-test/ref/SpuriousSuperclassConstraints.html
@@ -73,11 +73,7 @@ Fix spurious superclass constraints bug.data 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 bliftA2SomeType f b -> SomeType f c #
f c(*>)SomeType f b -> SomeType f b #
f b(<*)SomeType f b -> SomeType f a #
f a