diff options
| author | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2022-05-11 21:21:15 +0200 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-05-16 15:33:25 -0400 |
| commit | 43c018aaaf15ccce215958b7e09b1e29ee7b6d40 (patch) | |
| tree | d30f1d98b0f5d69dd9af699fab95aafcb3cb4eae /compiler/GHC/Tc | |
| parent | 65d31d05565073a37f9df73c9ea6f6f87627f26e (diff) | |
| download | haskell-43c018aaaf15ccce215958b7e09b1e29ee7b6d40.tar.gz | |
Misc cleanup
- Remove groupWithName (unused)
- Use the RuntimeRepType synonym where possible
- Replace getUniqueM + mkSysLocalOrCoVar with mkSysLocalOrCoVarM
No functional changes.
Diffstat (limited to 'compiler/GHC/Tc')
| -rw-r--r-- | compiler/GHC/Tc/Errors/Hole.hs | 3 | ||||
| -rw-r--r-- | compiler/GHC/Tc/Utils/TcType.hs | 4 |
2 files changed, 3 insertions, 4 deletions
diff --git a/compiler/GHC/Tc/Errors/Hole.hs b/compiler/GHC/Tc/Errors/Hole.hs index fcae57f975..f0a8e7aa8e 100644 --- a/compiler/GHC/Tc/Errors/Hole.hs +++ b/compiler/GHC/Tc/Errors/Hole.hs @@ -677,8 +677,7 @@ findValidHoleFits tidy_env implics simples h@(Hole { hole_sort = ExprHole _ -- of only concrete hole fits like `sum`. mkRefTy :: Int -> TcM (TcType, [TcTyVar]) mkRefTy refLvl = (wrapWithVars &&& id) <$> newTyVars - where newTyVars = replicateM refLvl $ setLvl <$> - (newOpenTypeKind >>= newFlexiTyVar) + where newTyVars = replicateM refLvl $ setLvl <$> newOpenFlexiTyVar setLvl = flip setMetaTyVarTcLevel hole_lvl wrapWithVars vars = mkVisFunTysMany (map mkTyVarTy vars) hole_ty diff --git a/compiler/GHC/Tc/Utils/TcType.hs b/compiler/GHC/Tc/Utils/TcType.hs index bb9f5aa910..b40c77c11b 100644 --- a/compiler/GHC/Tc/Utils/TcType.hs +++ b/compiler/GHC/Tc/Utils/TcType.hs @@ -175,8 +175,8 @@ module GHC.Tc.Utils.TcType ( substCoUnchecked, substCoWithUnchecked, substTheta, - isUnliftedType, -- Source types are always lifted - isUnboxedTupleType, -- Ditto + isUnliftedType, + isUnboxedTupleType, isPrimitiveType, tcView, coreView, |