diff options
| author | Alan Zimmerman <alan.zimm@gmail.com> | 2021-03-15 20:40:09 +0000 |
|---|---|---|
| committer | Alan Zimmerman <alan.zimm@gmail.com> | 2021-03-15 20:40:09 +0000 |
| commit | 3eb51fa32aaefe80bf2b6731dae2a2b26aba9e74 (patch) | |
| tree | 6aa537e9013f2b8ae1449c928887276cdd03dc44 | |
| parent | 6173eeaa1608a4325ecd005feec05d3ab4e9323f (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.
| -rw-r--r-- | hoogle-test/ref/Bug806/test.txt | 2 | ||||
| -rw-r--r-- | 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 { -- | <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 |