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 /testsuite/tests/polykinds | |
| 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 'testsuite/tests/polykinds')
| -rw-r--r-- | testsuite/tests/polykinds/T11248.hs | 2 | ||||
| -rw-r--r-- | testsuite/tests/polykinds/T11480b.hs | 2 | ||||
| -rw-r--r-- | testsuite/tests/polykinds/T7594.hs | 2 | ||||
| -rw-r--r-- | testsuite/tests/polykinds/T8566a.hs | 2 |
4 files changed, 4 insertions, 4 deletions
diff --git a/testsuite/tests/polykinds/T11248.hs b/testsuite/tests/polykinds/T11248.hs index b3a32e3097..cd780d1211 100644 --- a/testsuite/tests/polykinds/T11248.hs +++ b/testsuite/tests/polykinds/T11248.hs @@ -1,5 +1,5 @@ {-# OPTIONS_GHC -O #-} - -- Trac #11248, comment:6 showed that this tests failed with -O + -- #11248, comment:6 showed that this tests failed with -O {-# LANGUAGE DataKinds, TypeOperators, TypeFamilies, KindSignatures, ConstraintKinds #-} diff --git a/testsuite/tests/polykinds/T11480b.hs b/testsuite/tests/polykinds/T11480b.hs index 2684c6de4e..0ec19753a0 100644 --- a/testsuite/tests/polykinds/T11480b.hs +++ b/testsuite/tests/polykinds/T11480b.hs @@ -17,7 +17,7 @@ -- This code, supplied by Edward Kmett, uses UndecidableSuperClasses along -- with a bunch of other stuff, so it's a useful stress test. --- See Trac #11480 comment:12. +-- See #11480 comment:12. module T11480b where diff --git a/testsuite/tests/polykinds/T7594.hs b/testsuite/tests/polykinds/T7594.hs index 925b3f9ace..3b941151e5 100644 --- a/testsuite/tests/polykinds/T7594.hs +++ b/testsuite/tests/polykinds/T7594.hs @@ -27,7 +27,7 @@ q :: ColD (Show :&: Real) q = ColD (1.2 :: Double) bar = app print q --- This one works, as a result of fixing Trac #8644, +-- This one works, as a result of fixing #8644, -- because the given constraint is -- (Show :&: Real) a, which has no equality superclasses diff --git a/testsuite/tests/polykinds/T8566a.hs b/testsuite/tests/polykinds/T8566a.hs index 22b628553f..7a4c658ffb 100644 --- a/testsuite/tests/polykinds/T8566a.hs +++ b/testsuite/tests/polykinds/T8566a.hs @@ -17,7 +17,7 @@ type family ExpandField (args :: [Field]) :: [Type] type family AppVars (t :: k) (vs :: [Type]) :: Type -- This function fails to compile, because we discard --- 'given' kind equalities. See comment 7 in Trac #8566 +-- 'given' kind equalities. See comment 7 in #8566 -- This is really a bug, I claim unA :: InField (APP t args) -> AppVars t (ExpandField args) unA (A x) = x |