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 | 1ec0deb4b828b287afa5706a7f1fae36e774d3a8 (patch) | |
tree | 5fe13e58d1d7848b5447f297c698e1e96917b5d8 | |
parent | 5eeb918208ae7446a0c5adf1e26d45624be3c6f1 (diff) | |
download | haskell-1ec0deb4b828b287afa5706a7f1fae36e774d3a8.tar.gz |
type checker checkpoint
-rw-r--r-- | compiler/GHC/HsToCore/Pmc/Desugar.hs | 3 |
1 files changed, 1 insertions, 2 deletions
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]) |