Skip to content

Some refactoring in tcInferApps

Richard Eisenberg requested to merge rae/ghc:master into master

Now, the primary case-match is on the shape of the arguent instead of on the binder. It's still not great, but I think we'll need nested guards to make much further improvement.

Merge request reports