From 472c2bf003e9f3bb93b82265f2a0a7124f944421 Mon Sep 17 00:00:00 2001
From: sheaf <sam.derbyshire@gmail.com>
Date: Wed, 9 Jun 2021 20:43:42 +0200
Subject: Reword: representation instead of levity

fixes #19756, updates haddock submodule
---
 compiler/GHC/Tc/Gen/Sig.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'compiler/GHC/Tc/Gen')

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
 
-- 
cgit v1.2.1