diff options
| author | Cale Gibbard <cgibbard@gmail.com> | 2020-04-02 15:46:33 -0400 |
|---|---|---|
| committer | cgibbard <cgibbard@gmail.com> | 2020-04-17 13:08:47 -0400 |
| commit | a05348ebaa11d563ab2e33325055317ff3cb8afc (patch) | |
| tree | befc09462330d7e62dd66bb1d4b3ca4f8187d327 /compiler/GHC/HsToCore/ListComp.hs | |
| parent | bfde3b76ac7f5a72eca012fe34ac1340a5ce2011 (diff) | |
| download | haskell-a05348ebaa11d563ab2e33325055317ff3cb8afc.tar.gz | |
Change the fail operator argument of BindStmt to be a Maybe
Don't use noSyntaxExpr for it. There is no good way to defensively case
on that, nor is it clear one ought to do so.
Diffstat (limited to 'compiler/GHC/HsToCore/ListComp.hs')
| -rw-r--r-- | compiler/GHC/HsToCore/ListComp.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/GHC/HsToCore/ListComp.hs b/compiler/GHC/HsToCore/ListComp.hs index 3341427ef0..f0f7aaf376 100644 --- a/compiler/GHC/HsToCore/ListComp.hs +++ b/compiler/GHC/HsToCore/ListComp.hs @@ -585,7 +585,7 @@ dsMcStmt (ParStmt bind_ty blocks mzip_op bind_op) stmts_rest mkBoxedTupleTy [t1,t2])) exps_w_tys - ; dsMcBindStmt pat rhs bind_op noSyntaxExpr bind_ty stmts_rest } + ; dsMcBindStmt pat rhs bind_op Nothing bind_ty stmts_rest } where ds_inner :: ParStmtBlock GhcTc GhcTc -> DsM (CoreExpr, Type) ds_inner (ParStmtBlock _ stmts bndrs return_op) @@ -609,7 +609,7 @@ matchTuple ids body dsMcBindStmt :: LPat GhcTc -> CoreExpr -- ^ the desugared rhs of the bind statement -> SyntaxExpr GhcTc - -> SyntaxExpr GhcTc + -> Maybe (SyntaxExpr GhcTc) -> Type -- ^ S in (>>=) :: Q -> (R -> S) -> T -> [ExprLStmt GhcTc] -> DsM CoreExpr |