diff options
| author | John Ericson <John.Ericson@Obsidian.Systems> | 2019-12-16 16:27:58 -0500 |
|---|---|---|
| committer | cgibbard <cgibbard@gmail.com> | 2020-04-17 13:08:47 -0400 |
| commit | 79e27144db7011f6d01a2f5ed15fd110d579bb8e (patch) | |
| tree | 77337bde4599308954d0d3cc4c676ef942e15529 /compiler/GHC/Tc/Gen/Arrow.hs | |
| parent | a05348ebaa11d563ab2e33325055317ff3cb8afc (diff) | |
| download | haskell-79e27144db7011f6d01a2f5ed15fd110d579bb8e.tar.gz | |
Use trees that grow for rebindable operators for `<-` binds
Also add more documentation.
Diffstat (limited to 'compiler/GHC/Tc/Gen/Arrow.hs')
| -rw-r--r-- | compiler/GHC/Tc/Gen/Arrow.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/GHC/Tc/Gen/Arrow.hs b/compiler/GHC/Tc/Gen/Arrow.hs index 9a30f56365..2cb5427119 100644 --- a/compiler/GHC/Tc/Gen/Arrow.hs +++ b/compiler/GHC/Tc/Gen/Arrow.hs @@ -364,7 +364,7 @@ tcArrDoStmt env _ (BodyStmt _ rhs _ _) res_ty thing_inside ; thing <- thing_inside res_ty ; return (BodyStmt elt_ty rhs' noSyntaxExpr noSyntaxExpr, thing) } -tcArrDoStmt env ctxt (BindStmt _ pat rhs _ _) res_ty thing_inside +tcArrDoStmt env ctxt (BindStmt _ pat rhs) res_ty thing_inside = do { (rhs', pat_ty) <- tc_arr_rhs env rhs ; (pat', thing) <- tcPat (StmtCtxt ctxt) pat (mkCheckExpType pat_ty) $ thing_inside res_ty |