new_tc_notes · sdoc · Sylvain Henry / GHC

Forked from Glasgow Haskell Compiler / GHC

44463 commits behind, 9 commits ahead of the upstream repository.

14 years ago

Super-monster patch implementing the new typechecker -- at last · d2ce0f52

Simon Peyton Jones authored 14 years ago

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.

d2ce0f52

History

Super-monster patch implementing the new typechecker -- at last

Simon Peyton Jones authored 14 years ago

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.

Code owners

Assign users and groups as approvers for specific file changes. Learn more.

new_tc_notes 6.52 KiB