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/Inst.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/Inst.hs')
| -rw-r--r-- | compiler/typecheck/Inst.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/typecheck/Inst.hs b/compiler/typecheck/Inst.hs index 77e8cdf0b2..89e5569c1e 100644 --- a/compiler/typecheck/Inst.hs +++ b/compiler/typecheck/Inst.hs @@ -287,7 +287,7 @@ deeply_instantiate orig subst ty instTyVarsWith :: CtOrigin -> [TyVar] -> [TcType] -> TcM TCvSubst -- Use this when you want to instantiate (forall a b c. ty) with -- types [ta, tb, tc], but when the kinds of 'a' and 'ta' might --- not yet match (perhaps because there are unsolved constraints; Trac #14154) +-- not yet match (perhaps because there are unsolved constraints; #14154) -- If they don't match, emit a kind-equality to promise that they will -- eventually do so, and thus make a kind-homongeneous substitution. instTyVarsWith orig tvs tys |