diff options
| author | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2021-08-06 19:35:24 +0200 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-09-17 09:35:53 -0400 |
| commit | 4564f00fdeb5e072e8f91fec72a6393f0e3f0703 (patch) | |
| tree | 9cbbc1791aac4c6cf07c08abf1c1c0f05f457e96 /compiler/GHC/Tc/Utils | |
| parent | 885f17c89919d21815365da71eb7f9c489e5bfa3 (diff) | |
| download | haskell-4564f00fdeb5e072e8f91fec72a6393f0e3f0703.tar.gz | |
Improve pretty-printer defaulting logic (#19361)
When determining whether to default a RuntimeRep or Multiplicity
variable, use isMetaTyVar to distinguish between metavariables
(which can be hidden) and skolems (which cannot).
Diffstat (limited to 'compiler/GHC/Tc/Utils')
| -rw-r--r-- | compiler/GHC/Tc/Utils/TcType.hs-boot | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/compiler/GHC/Tc/Utils/TcType.hs-boot b/compiler/GHC/Tc/Utils/TcType.hs-boot index dc5f4cf73f..6b808dd7ab 100644 --- a/compiler/GHC/Tc/Utils/TcType.hs-boot +++ b/compiler/GHC/Tc/Utils/TcType.hs-boot @@ -1,8 +1,12 @@ module GHC.Tc.Utils.TcType where import GHC.Utils.Outputable( SDoc ) +import GHC.Prelude ( Bool ) +import {-# SOURCE #-} GHC.Types.Var ( TcTyVar ) data MetaDetails data TcTyVarDetails pprTcTyVarDetails :: TcTyVarDetails -> SDoc vanillaSkolemTv :: TcTyVarDetails +isMetaTyVar :: TcTyVar -> Bool +isTyConableTyVar :: TcTyVar -> Bool |