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 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'hoogle-test/ref/Bug806') 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))))))))); } -- cgit v1.2.3