diff options
author | DanielRrr <daniel.rogozin@serokell.io> | 2021-11-03 20:51:12 +0300 |
---|---|---|
committer | DanielRrr <daniel.rogozin@serokell.io> | 2022-07-23 16:12:34 +0300 |
commit | db98d38f02ca4bd7b3130b4786985e8341565033 (patch) | |
tree | 82d94b6d4e13cf228a515bff807056929bfe3b8c | |
parent | 676f8d2def53e64337a549fdf39f6b330d235a25 (diff) | |
download | haskell-db98d38f02ca4bd7b3130b4786985e8341565033.tar.gz |
parser and renamer checkpoint
-rw-r--r-- | compiler/GHC/HsToCore/Pmc/Desugar.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/compiler/GHC/HsToCore/Pmc/Desugar.hs b/compiler/GHC/HsToCore/Pmc/Desugar.hs index 3b3ace347c..272021b6c9 100644 --- a/compiler/GHC/HsToCore/Pmc/Desugar.hs +++ b/compiler/GHC/HsToCore/Pmc/Desugar.hs @@ -257,7 +257,8 @@ desugarLPat x = desugarPat x . unLoc -- | Desugar a match pattern desugarLMatchPat :: Id -> LMatchPat GhcTc -> DsM [PmGrd] desugarLMatchPat x (L _ (VisPat _ pat)) = desugarLPat x pat -desugarLMatchPat _ _ = panic "desugarLMatchPat" +desugarLMatchPat _ (L _ (InvisTyVarPat x _)) = dataConCantHappen x +desugarLMatchPat _ (L _ (InvisWildTyPat x)) = dataConCantHappen x -- | 'desugarLPat', but also select and return a new match var. desugarLPatV :: LPat GhcTc -> DsM (Id, [PmGrd]) |