Skip to content
Snippets Groups Projects
Commit ce721cdc authored by Simon Peyton Jones's avatar Simon Peyton Jones Committed by pcapriotti
Browse files

Refactor the way we infer types for functions in a mutually recursive group 

See Note [Impedence matching] in TcBinds.
Fixes Trac #7173

MERGED from commit 1a591a0c
parent cbedd1ce
No related merge requests found
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment