diff options
| author | sheaf <sam.derbyshire@gmail.com> | 2021-06-09 20:43:42 +0200 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-06-10 13:54:05 -0400 |
| commit | 472c2bf003e9f3bb93b82265f2a0a7124f944421 (patch) | |
| tree | 74767fe0b48521254b22350d4b1f34a3957adc06 /compiler/GHC/Tc/Gen | |
| parent | 61c51c00b6e12e309bc5643e89330b93d86f5449 (diff) | |
| download | haskell-472c2bf003e9f3bb93b82265f2a0a7124f944421.tar.gz | |
Reword: representation instead of levity
fixes #19756, updates haddock submodule
Diffstat (limited to 'compiler/GHC/Tc/Gen')
| -rw-r--r-- | compiler/GHC/Tc/Gen/Sig.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/GHC/Tc/Gen/Sig.hs b/compiler/GHC/Tc/Gen/Sig.hs index 6edb614884..42d5300d1e 100644 --- a/compiler/GHC/Tc/Gen/Sig.hs +++ b/compiler/GHC/Tc/Gen/Sig.hs @@ -444,7 +444,7 @@ tcPatSynSig name sig_ty@(L _ (HsSig{sig_bndrs = hs_outer_bndrs, sig_body = hs_ty build_patsyn_type implicit_bndrs univ_bndrs req ex_bndrs prov body_ty -- arguments become the types of binders. We thus cannot allow - -- levity polymorphism here + -- representation polymorphism here ; let (arg_tys, _) = tcSplitFunTys body_ty ; mapM_ (checkForLevPoly LevityCheckPatSynSig . scaledThing) arg_tys |