diff options
| author | Ryan Scott <ryan.gl.scott@gmail.com> | 2019-03-12 18:15:38 -0400 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-03-15 10:17:54 -0400 |
| commit | 610ec224a49e092c802a336570fd9613ea15ef3c (patch) | |
| tree | cc79ac561669b51099eb37f222e8179d48a54d59 /compiler/typecheck/TcRnMonad.hs | |
| parent | afc80730fd235f5c5b2d0b9fc5a10c16ef9865f6 (diff) | |
| download | haskell-610ec224a49e092c802a336570fd9613ea15ef3c.tar.gz | |
Update Trac ticket URLs to point to GitLab
This moves all URL references to Trac tickets to their corresponding
GitLab counterparts.
Diffstat (limited to 'compiler/typecheck/TcRnMonad.hs')
| -rw-r--r-- | compiler/typecheck/TcRnMonad.hs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/compiler/typecheck/TcRnMonad.hs b/compiler/typecheck/TcRnMonad.hs index 8b720d6b62..951cc7a5a6 100644 --- a/compiler/typecheck/TcRnMonad.hs +++ b/compiler/typecheck/TcRnMonad.hs @@ -358,7 +358,7 @@ initTcWithGbl hsc_env gbl_env loc do_this -- If we succeed (maybe_res = Just r), there should be -- no unsolved constraints. But if we exit via an -- exception (maybe_res = Nothing), we may have skipped - -- solving, so don't panic then (Trac #13466) + -- solving, so don't panic then (#13466) ; lie <- readIORef (tcl_lie lcl_env) ; when (isJust maybe_res && not (isEmptyWC lie)) $ pprPanic "initTc: unsolved constraints" (ppr lie) @@ -1645,7 +1645,7 @@ emitWildCardHoleConstraints wcs {- Note [Constraints and errors] ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ -Consider this (Trac #12124): +Consider this (#12124): foo :: Maybe Int foo = return (case Left 3 of @@ -1673,7 +1673,7 @@ However suppose we throw an exception inside an invocation of captureConstraints, and discard all the constraints. Some of those constraints might be "variable out of scope" Hole constraints, and that might have been the actual original cause of the exception! For -example (Trac #12529): +example (#12529): f = p @ Int Here 'p' is out of scope, so we get an insolube Hole constraint. But the visible type application fails in the monad (thows an exception). |