From 3eb51fa32aaefe80bf2b6731dae2a2b26aba9e74 Mon Sep 17 00:00:00 2001 From: Alan Zimmerman Date: Mon, 15 Mar 2021 20:40:09 +0000 Subject: 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 67e9fd61..8abdffae 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 { -- | AT 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 ba1a145a..0d2aa4a9 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 -- cgit v1.2.3