summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Validity.hs
diff options
context:
space:
mode:
authorKrzysztof Gogolewski <krzysztof.gogolewski@tweag.io>2022-10-28 21:05:34 +0200
committerKrzysztof Gogolewski <krzysztof.gogolewski@tweag.io>2022-11-04 15:54:25 +0100
commit4dd9e74bb216244c77e973eca8047447dddd1509 (patch)
treee11a998f4ca8a25badfb289e2ff540347e78acea /compiler/GHC/Tc/Validity.hs
parent311251543f2e37af4a121e58028bfc46267a7fc9 (diff)
downloadhaskell-wip/strings-refactor3.tar.gz
Minor refactor around FastStringswip/strings-refactor3
Pass FastStrings to functions directly, to make sure the rule for fsLit "literal" fires. Remove SDoc indirection in GHCi.UI.Tags and GHC.Unit.Module.Graph.
Diffstat (limited to 'compiler/GHC/Tc/Validity.hs')
-rw-r--r--compiler/GHC/Tc/Validity.hs3
1 files changed, 2 insertions, 1 deletions
diff --git a/compiler/GHC/Tc/Validity.hs b/compiler/GHC/Tc/Validity.hs
index 4dc4161664..97f9a8384f 100644
--- a/compiler/GHC/Tc/Validity.hs
+++ b/compiler/GHC/Tc/Validity.hs
@@ -21,6 +21,7 @@ module GHC.Tc.Validity (
) where
import GHC.Prelude
+import GHC.Data.FastString
import GHC.Data.Maybe
@@ -2274,7 +2275,7 @@ checkConsistentFamInst (InClsInst { ai_class = clas
tidyTypes tidy_env2 ax_arg_tys
mk_wildcard at_tv = mkTyVarTy (mkTyVar tv_name (tyVarKind at_tv))
- tv_name = mkInternalName (mkAlphaTyVarUnique 1) (mkTyVarOcc "_") noSrcSpan
+ tv_name = mkInternalName (mkAlphaTyVarUnique 1) (mkTyVarOccFS (fsLit "_")) noSrcSpan
-- For check_match, bind_me, see
-- Note [Matching in the consistent-instantiation check]