aboutsummaryrefslogtreecommitdiff
path: root/hoogle-test/ref
diff options
context:
space:
mode:
authorAlan Zimmerman <alan.zimm@gmail.com>2021-03-15 20:40:09 +0000
committerAlan Zimmerman <alan.zimm@gmail.com>2021-03-15 20:40:09 +0000
commit3eb51fa32aaefe80bf2b6731dae2a2b26aba9e74 (patch)
tree6aa537e9013f2b8ae1449c928887276cdd03dc44 /hoogle-test/ref
parent6173eeaa1608a4325ecd005feec05d3ab4e9323f (diff)
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.
Diffstat (limited to 'hoogle-test/ref')
-rw-r--r--hoogle-test/ref/Bug806/test.txt2
-rw-r--r--hoogle-test/ref/assoc-types/test.txt4
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 {
-- | <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 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