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/TypeFamilies.html | 68 ++++++++++++++++++++++++++++++-----------
1 file changed, 51 insertions(+), 17 deletions(-)
(limited to 'html-test/ref/TypeFamilies.html')
diff --git a/html-test/ref/TypeFamilies.html b/html-test/ref/TypeFamilies.html
index 2195a05a..3a93a270 100644
--- a/html-test/ref/TypeFamilies.html
+++ b/html-test/ref/TypeFamilies.html
@@ -280,7 +280,9 @@
>AssocD X :: * :: Type #
AssocT X :: * :: Type #
Foo X :: *) :: Type)X <> (a :: *) (a :: Type) #X <> (a :: *) = (a :: Type) = XAssocD Y :: * :: Type #AssocT Y :: * :: Type #
Y <> (a :: *) (a :: Type) #Y <> (a :: *) = a (a :: Type) = aAssocD Y :: * :: Type #AssocT Y :: * :: Type #
AssocD X :: * :: Type #AssocT X :: * :: Type #
Y <> (a :: *) (a :: Type) #Y <> (a :: *) = a (a :: Type) = aX <> (a :: *) (a :: Type) #X <> (a :: *) = (a :: Type) = X