diff options
| author | Daniel Rogozin <daniel.rogozin@serokell.io> | 2021-04-20 19:22:56 +0300 |
|---|---|---|
| committer | Daniel Rogozin <daniel.rogozin@serokell.io> | 2021-04-23 19:59:16 +0300 |
| commit | 62fbbe95ad21af5a1db3292622d39f1444f52b75 (patch) | |
| tree | 4543825759492a9bd7636a8489fccb9c6e9cbf59 /compiler/GHC/Tc | |
| parent | d1acda985696f2e828452e246686fb35294bb7fa (diff) | |
| download | haskell-wip/T17594.tar.gz | |
wipwip/T17594
Diffstat (limited to 'compiler/GHC/Tc')
| -rw-r--r-- | compiler/GHC/Tc/Gen/Arrow.hs | 1 | ||||
| -rw-r--r-- | compiler/GHC/Tc/Gen/HsType.hs | 4 |
2 files changed, 3 insertions, 2 deletions
diff --git a/compiler/GHC/Tc/Gen/Arrow.hs b/compiler/GHC/Tc/Gen/Arrow.hs index 7ab31322c9..a22ad04869 100644 --- a/compiler/GHC/Tc/Gen/Arrow.hs +++ b/compiler/GHC/Tc/Gen/Arrow.hs @@ -257,7 +257,6 @@ tc_cmd env (cmd_stk, res_ty) = addErrCtxt (pprMatchInCtxt match) $ do { (co, arg_tys, cmd_stk') <- matchExpectedCmdArgs n_pats cmd_stk - -- Check the patterns, and the GRHSs inside ; (pats', grhss') <- setSrcSpanA mtch_loc $ tcPats LambdaExpr pats (map (unrestricted . mkCheckExpType) arg_tys) $ diff --git a/compiler/GHC/Tc/Gen/HsType.hs b/compiler/GHC/Tc/Gen/HsType.hs index 5a7fb93f48..53b2e9b232 100644 --- a/compiler/GHC/Tc/Gen/HsType.hs +++ b/compiler/GHC/Tc/Gen/HsType.hs @@ -71,7 +71,9 @@ module GHC.Tc.Gen.HsType ( HoleMode(..), -- Error messages - funAppCtxt, addTyConFlavCtxt + funAppCtxt, addTyConFlavCtxt, + + tcTyVar, typeLevelMode ) where #include "HsVersions.h" |