Forked from
Glasgow Haskell Compiler / GHC
-
Simon Peyton Jones authored
This major patch implements the new OutsideIn constraint solving algorithm in the typecheker, following our JFP paper "Modular type inference with local assumptions". Done with major help from Dimitrios Vytiniotis and Brent Yorgey.
Simon Peyton Jones authoredThis major patch implements the new OutsideIn constraint solving algorithm in the typecheker, following our JFP paper "Modular type inference with local assumptions". Done with major help from Dimitrios Vytiniotis and Brent Yorgey.
Code owners
Assign users and groups as approvers for specific file changes. Learn more.
new_tc_notes 6.52 KiB