From 3eb51fa32aaefe80bf2b6731dae2a2b26aba9e74 Mon Sep 17 00:00:00 2001
From: Alan Zimmerman <alan.zimm@gmail.com>
Date: Mon, 15 Mar 2021 20:40:09 +0000
Subject: [PATCH] Change some type family test results.
It is not clear to me whether the original was printing
incorrectly (since we did not have the TopLevel flag before now), or
if this behaviour is expected.
For the time being I am assuming the former.
---
hoogle-test/ref/Bug806/test.txt | 2 +-
hoogle-test/ref/assoc-types/test.txt | 4 ++--
2 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/hoogle-test/ref/Bug806/test.txt b/hoogle-test/ref/Bug806/test.txt
index 67e9fd6180..8abdffaef2 100644
--- a/hoogle-test/ref/Bug806/test.txt
+++ b/hoogle-test/ref/Bug806/test.txt
@@ -20,6 +20,6 @@ v :: Int
class C a where {
-- | <a>AT</a> docs
- type family AT a;
+ type AT a;
type AT a = Proxy (Proxy (Proxy (Proxy (Proxy (Proxy (Proxy (Proxy (Proxy (Proxy)))))))));
}
diff --git a/hoogle-test/ref/assoc-types/test.txt b/hoogle-test/ref/assoc-types/test.txt
index ba1a145a5f..0d2aa4a963 100644
--- a/hoogle-test/ref/assoc-types/test.txt
+++ b/hoogle-test/ref/assoc-types/test.txt
@@ -6,8 +6,8 @@
module AssocTypes
class Foo a where {
- type family Bar a b;
- type family Baz a;
+ type Bar a b;
+ type Baz a;
type Baz a = [(a, a)];
}
bar :: Foo a => Bar a a
--
GitLab