diff options
author | DanielRrr <daniel.rogozin@serokell.io> | 2022-04-14 20:25:24 +0300 |
---|---|---|
committer | DanielRrr <daniel.rogozin@serokell.io> | 2022-07-23 16:12:34 +0300 |
commit | 420152c9feab67274c43d3532d998199046662c9 (patch) | |
tree | 5fe13e58d1d7848b5447f297c698e1e96917b5d8 | |
parent | 189006c491224a6d264906003b426d659f5adcc3 (diff) | |
download | haskell-420152c9feab67274c43d3532d998199046662c9.tar.gz |
type checker checkpoint
-rw-r--r-- | compiler/GHC/Hs/Pat.hs | 6 | ||||
-rw-r--r-- | compiler/GHC/HsToCore/Pmc/Desugar.hs | 3 |
2 files changed, 3 insertions, 6 deletions
diff --git a/compiler/GHC/Hs/Pat.hs b/compiler/GHC/Hs/Pat.hs index 57e11d766e..5bda8eed91 100644 --- a/compiler/GHC/Hs/Pat.hs +++ b/compiler/GHC/Hs/Pat.hs @@ -175,13 +175,11 @@ type instance XHsFieldBind _ = EpAnn [AddEpAnn] type instance XVisPat (GhcPass _) = NoExtField -type instance XInvisTyVarPat GhcPs = NoExtField -type instance XInvisTyVarPat GhcRn = NoExtField -type instance XInvisTyVarPat GhcTc = DataConCantHappen +type instance XInvisTyVarPat (GhcPass _) = NoExtField type instance XInvisWildTyPat GhcPs = NoExtField type instance XInvisWildTyPat GhcRn = NoExtField -type instance XInvisWildTyPat GhcTc = DataConCantHappen +type instance XInvisWildTyPat GhcTc = Type type instance XXMatchPat (GhcPass _) = DataConCantHappen diff --git a/compiler/GHC/HsToCore/Pmc/Desugar.hs b/compiler/GHC/HsToCore/Pmc/Desugar.hs index 272021b6c9..3b3ace347c 100644 --- a/compiler/GHC/HsToCore/Pmc/Desugar.hs +++ b/compiler/GHC/HsToCore/Pmc/Desugar.hs @@ -257,8 +257,7 @@ desugarLPat x = desugarPat x . unLoc -- | Desugar a match pattern desugarLMatchPat :: Id -> LMatchPat GhcTc -> DsM [PmGrd] desugarLMatchPat x (L _ (VisPat _ pat)) = desugarLPat x pat -desugarLMatchPat _ (L _ (InvisTyVarPat x _)) = dataConCantHappen x -desugarLMatchPat _ (L _ (InvisWildTyPat x)) = dataConCantHappen x +desugarLMatchPat _ _ = panic "desugarLMatchPat" -- | 'desugarLPat', but also select and return a new match var. desugarLPatV :: LPat GhcTc -> DsM (Id, [PmGrd]) |