diff options
| author | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2021-06-19 21:44:17 +0200 |
|---|---|---|
| committer | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2021-06-23 23:16:37 +0200 |
| commit | 09be2b2b3cd1aaccdc7afa5a69d39d8b2fc0a6f0 (patch) | |
| tree | 1a7664324e0ded59d755d2518a532ff69398fb18 /compiler/GHC/Tc/Errors.hs | |
| parent | 633bbc1fd4762a2bb73ba1c5b9e0c279f1dd3c40 (diff) | |
| download | haskell-wip/runtime-error-fixes.tar.gz | |
Fixes around incomplete guards (#20023, #20024)wip/runtime-error-fixes
- Fix linearity error with incomplete MultiWayIf (#20023)
- Fix partial pattern binding error message (#20024)
- Remove obsolete test LinearPolyTest
It tested the special typing rule for ($), which was removed
during the implementation of Quick Look 97cff9190d3.
- Fix ticket numbers in linear/*/all.T, they referred to linear types
issue tracker
Diffstat (limited to 'compiler/GHC/Tc/Errors.hs')
| -rw-r--r-- | compiler/GHC/Tc/Errors.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/GHC/Tc/Errors.hs b/compiler/GHC/Tc/Errors.hs index f3c8a19b04..e45d051e50 100644 --- a/compiler/GHC/Tc/Errors.hs +++ b/compiler/GHC/Tc/Errors.hs @@ -953,10 +953,10 @@ mkErrorTerm ctxt ct_loc ty report -- This will be reported at runtime, so we always want "error:" in the report, never "warning:" ; dflags <- getDynFlags ; let err_msg = pprLocMsgEnvelope msg - err_fs = mkFastString $ showSDoc dflags $ + err_str = showSDoc dflags $ err_msg $$ text "(deferred type error)" - ; return $ evDelayedError ty err_fs } + ; return $ evDelayedError ty err_str } tryReporters :: ReportErrCtxt -> [ReporterSpec] -> [Ct] -> TcM (ReportErrCtxt, [Ct]) -- Use the first reporter in the list whose predicate says True |