Skip to content
Snippets Groups Projects
Commit 3eb51fa3 authored by Alan Zimmerman's avatar Alan Zimmerman
Browse files

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.
parent 6173eeaa
No related branches found
No related tags found
5 merge requests!38Make --no-tmp-comp-dir the default,!37Adapt to latest xhtml version, various optimizations,!31Support HsToken in DataDecl and ClassDecl,!12Drop orphan instance when defined upstream.,!10Haddock interfaces produced from `.hi` files
...@@ -20,6 +20,6 @@ v :: Int ...@@ -20,6 +20,6 @@ v :: Int
class C a where { class C a where {
-- | <a>AT</a> docs -- | <a>AT</a> docs
type family AT a; type AT a;
type AT a = Proxy (Proxy (Proxy (Proxy (Proxy (Proxy (Proxy (Proxy (Proxy (Proxy))))))))); type AT a = Proxy (Proxy (Proxy (Proxy (Proxy (Proxy (Proxy (Proxy (Proxy (Proxy)))))))));
} }
...@@ -6,8 +6,8 @@ ...@@ -6,8 +6,8 @@
module AssocTypes module AssocTypes
class Foo a where { class Foo a where {
type family Bar a b; type Bar a b;
type family Baz a; type Baz a;
type Baz a = [(a, a)]; type Baz a = [(a, a)];
} }
bar :: Foo a => Bar a a bar :: Foo a => Bar a a
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment