Skip to content
Snippets Groups Projects
Commit e37cbc69 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Improve typechecking of NPlusK patterns 

This patch (due to Richard Eisenberg) improves
documentation of the wrapper returned by tcSubMult
(see Note [Wrapper returned from tcSubMult] in
 GHC.Tc.Utils.Unify).

And, more substantially, it cleans up the multiplicity
handling in the typechecking of NPlusKPat
parent a60e30e0
No related branches found
No related tags found
No related merge requests found
Pipeline #22248 passed with warnings
Stage: lint
Stage: quick-build
Stage: build
Stage: full-build
Stage: cleanup
Stage: packaging
Stage: testing
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment