diff options
| author | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2022-09-14 16:23:48 +0200 |
|---|---|---|
| committer | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2022-09-14 17:25:11 +0200 |
| commit | b52f59369a7b986e8b3389b30025a3f010b736cb (patch) | |
| tree | a1b9b74199c548db3c0ba0545e6eb67a0b1965f7 /compiler/GHC/Tc/Gen/Sig.hs | |
| parent | 7d7e71b03f4b2eb693f5ea69dadbccf491e7403f (diff) | |
| download | haskell-wip/typos2.tar.gz | |
Fix typoswip/typos2
Diffstat (limited to 'compiler/GHC/Tc/Gen/Sig.hs')
| -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 138e61978c..cfc5454e54 100644 --- a/compiler/GHC/Tc/Gen/Sig.hs +++ b/compiler/GHC/Tc/Gen/Sig.hs @@ -455,7 +455,7 @@ tcPatSynSig name sig_ty@(L _ (HsSig{sig_bndrs = hs_outer_bndrs, sig_body = hs_ty -- Neither argument types nor the return type may be representation polymorphic. -- This is because, when creating a matcher: - -- - the argument types become the the binder types (see test RepPolyPatySynArg), + -- - the argument types become the binder types (see test RepPolyPatySynArg), -- - the return type becomes the scrutinee type (see test RepPolyPatSynRes). ; let (arg_tys, res_ty) = tcSplitFunTys body_ty ; mapM_ |