Skip to content

WIP: Type directed complete with typechecker unification and constraint solver

cgibbard requested to merge obsidiansystems/ghc:cg-type-directed-complete-solver into master

An alternate version of !5095 which handles fancier types.

Merge request reports