diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2020-07-14 16:41:03 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-07-18 07:26:43 -0400 |
| commit | e5525a51900623e04ec914e9dcc7f4ad1fd3b528 (patch) | |
| tree | 91fd787bfff8e9f51cb69937ef60c9416f0f6caf /testsuite/tests/ghc-api/annotations/stringSource.hs | |
| parent | bcb177dd00c91d825e00ed228bce6cfeb7684bf7 (diff) | |
| download | haskell-e5525a51900623e04ec914e9dcc7f4ad1fd3b528.tar.gz | |
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
Diffstat (limited to 'testsuite/tests/ghc-api/annotations/stringSource.hs')
0 files changed, 0 insertions, 0 deletions