diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2020-07-14 16:41:03 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2020-07-15 09:42:46 +0100 |
| commit | 52bdb5bb05bd6c10b84c69e98587f4e1b65110e1 (patch) | |
| tree | 7d08e45fd3336ae0a1bee22f9404d1b826c036fb /compiler/GHC/Tc/Gen/Expr.hs | |
| parent | 7e741433dc7c8e52121c85ad9e8e520da4d54bd8 (diff) | |
| download | haskell-wip/T18412.tar.gz | |
Improve typechecking of NPlusK patternswip/T18412
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 'compiler/GHC/Tc/Gen/Expr.hs')
| -rw-r--r-- | compiler/GHC/Tc/Gen/Expr.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/GHC/Tc/Gen/Expr.hs b/compiler/GHC/Tc/Gen/Expr.hs index e8954914e3..8bef4b4b8e 100644 --- a/compiler/GHC/Tc/Gen/Expr.hs +++ b/compiler/GHC/Tc/Gen/Expr.hs @@ -373,7 +373,7 @@ tcExpr expr@(OpApp fix arg1 op arg2) res_ty matchActualFunTysRho doc orig1 (Just (unLoc arg1)) 1 arg1_ty ; mult_wrap <- tcSubMult AppOrigin Many (scaledMult arg2_sigma) - -- See Note [tcSubMult's wrapper] in TcUnify. + -- See Note [Wrapper returned from tcSubMult] in GHC.Tc.Utils.Unify. -- -- When ($) becomes multiplicity-polymorphic, then the above check will -- need to go. But in the meantime, it would produce ill-typed |