#10585: Implement proper bidirectional type inference -------------------------------------+------------------------------------- Reporter: goldfire | Owner: goldfire Type: bug | Status: new Priority: normal | Milestone: Component: Compiler (Type | Version: 7.10.1 checker) | Keywords: Resolution: | Architecture: Operating System: Unknown/Multiple | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by simonpj): On (3), you can look at the wiki page and attached PDF; and at branch `wip/impredicativity`. I confess that I'm not clear exactly what "this refactoring" is in concrete terms. It's probably not massive, and it sounds promising to me, so if you'd like to sketch it out or just do it, that would be great. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10585#comment:4 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler