14 files changed, 14 insertions, 14 deletions
diff --git a/testsuite/tests/gadt/CasePrune.hs b/testsuite/tests/gadt/CasePrune.hs
index 4048c94c5f..8055bdd8ff 100644
--- a/testsuite/tests/gadt/CasePrune.hs
+++ b/testsuite/tests/gadt/CasePrune.hs
@@ -1,6 +1,6 @@
 {-# LANGUAGE GADTs, GeneralizedNewtypeDeriving #-}
 
--- See Trac #1251 and the comments
+-- See #1251 and the comments
 -- Note [Pruning dead case alternatives] in types/Unify.lhs
 
 module Main( main ) where
diff --git a/testsuite/tests/gadt/Session.hs b/testsuite/tests/gadt/Session.hs
index 2a9b3da6ef..bf50115d77 100644
--- a/testsuite/tests/gadt/Session.hs
+++ b/testsuite/tests/gadt/Session.hs
@@ -1,6 +1,6 @@
 {-# LANGUAGE GADTs, KindSignatures #-}
 
--- See Trac #1323; crashed GHC 6.6
+-- See #1323; crashed GHC 6.6
 
 module Main where
 
diff --git a/testsuite/tests/gadt/T1999a.hs b/testsuite/tests/gadt/T1999a.hs
index d8dbc077b9..494812ca29 100644
--- a/testsuite/tests/gadt/T1999a.hs
+++ b/testsuite/tests/gadt/T1999a.hs
@@ -1,5 +1,5 @@
 {-# LANGUAGE GADTs #-}
--- Trac #1999
+-- #1999
 
 module ShouldCompile where
 
diff --git a/testsuite/tests/gadt/T2587.hs b/testsuite/tests/gadt/T2587.hs
index cea1c092d3..e6424d6228 100644
--- a/testsuite/tests/gadt/T2587.hs
+++ b/testsuite/tests/gadt/T2587.hs
@@ -1,7 +1,7 @@
 {-# LANGUAGE GADTs, ExistentialQuantification #-}
 {-# OPTIONS_GHC -O -fno-warn-overlapping-patterns #-}
 
--- Trac #2587
+-- #2587
 -- Actually this bug related to free variables and
 -- type lets, but ostensibly it has a GADT flavour
 -- Hence being in the GADT directory.
diff --git a/testsuite/tests/gadt/T3013.hs b/testsuite/tests/gadt/T3013.hs
index 3b123a0d80..4aaf452464 100644
--- a/testsuite/tests/gadt/T3013.hs
+++ b/testsuite/tests/gadt/T3013.hs
@@ -1,5 +1,5 @@
 {-# LANGUAGE GADTs #-}
--- Trac 3013. 
+-- #3013.
 -- This isn't strictly a GADT test, but it uses GADT syntax
 
 module T3013 where
diff --git a/testsuite/tests/gadt/T3163.hs b/testsuite/tests/gadt/T3163.hs
index 13e5ff7de6..985ef9b110 100644
--- a/testsuite/tests/gadt/T3163.hs
+++ b/testsuite/tests/gadt/T3163.hs
@@ -1,6 +1,6 @@
 {-# LANGUAGE GADTs, RankNTypes, ImpredicativeTypes #-}
 
--- Test Trac #3163
+-- Test #3163
 
 module Report where
 
diff --git a/testsuite/tests/gadt/data1.hs b/testsuite/tests/gadt/data1.hs
index b9c6ffe19c..7b999c4e80 100644
--- a/testsuite/tests/gadt/data1.hs
+++ b/testsuite/tests/gadt/data1.hs
@@ -1,6 +1,6 @@
 {-# LANGUAGE GADTs #-}
 
--- Trac #289
+-- #289
 
 module ShouldCompile where
 
diff --git a/testsuite/tests/gadt/data2.hs b/testsuite/tests/gadt/data2.hs
index fcac05880b..29579a89c3 100644
--- a/testsuite/tests/gadt/data2.hs
+++ b/testsuite/tests/gadt/data2.hs
@@ -1,6 +1,6 @@
 {-# LANGUAGE GADTs, ExistentialQuantification #-}
 
--- Trac #289
+-- #289
 
 module ShouldCompile where
 
diff --git a/testsuite/tests/gadt/gadt-fd.hs b/testsuite/tests/gadt/gadt-fd.hs
index 7d966c35eb..0899e3ba74 100644
--- a/testsuite/tests/gadt/gadt-fd.hs
+++ b/testsuite/tests/gadt/gadt-fd.hs
@@ -5,7 +5,7 @@
 {-# LANGUAGE FunctionalDependencies #-}
 {-# LANGUAGE UndecidableInstances #-}
 
--- Trac #345
+-- #345
 
 module ShouldCompile where
 
diff --git a/testsuite/tests/gadt/gadt17.hs b/testsuite/tests/gadt/gadt17.hs
index 26eeda9b2a..de99d3888e 100644
--- a/testsuite/tests/gadt/gadt17.hs
+++ b/testsuite/tests/gadt/gadt17.hs
@@ -4,7 +4,7 @@
 -- This one showed up a bug that required type refinement in TcIface
 -- See the call to coreRefineTys in TcIface
 --
--- Tests for bug: http://ghc.haskell.org/trac/ghc/ticket/685
+-- Tests for bug: https://gitlab.haskell.org/ghc/ghc/issues/685
 
 module ShouldCompile where
 
diff --git a/testsuite/tests/gadt/gadt24.hs b/testsuite/tests/gadt/gadt24.hs
index 86cece09dd..748b2f19c3 100644
--- a/testsuite/tests/gadt/gadt24.hs
+++ b/testsuite/tests/gadt/gadt24.hs
@@ -1,6 +1,6 @@
 {-# LANGUAGE GADTs #-}
 
--- Test for Trac #1396
+-- Test for #1396
 -- Panics in GHC 6.6.1
 
 module ShouldCompile where
diff --git a/testsuite/tests/gadt/karl1.hs b/testsuite/tests/gadt/karl1.hs
index e201a711f6..8080381b18 100644
--- a/testsuite/tests/gadt/karl1.hs
+++ b/testsuite/tests/gadt/karl1.hs
@@ -1,6 +1,6 @@
 {-# LANGUAGE GADTs, KindSignatures #-}
 
--- See Trac #301
+-- See #301
 -- This particular one doesn't use GADTs per se,
 -- but it does use dictionaries in constructors
 
diff --git a/testsuite/tests/gadt/karl2.hs b/testsuite/tests/gadt/karl2.hs
index 1f46df37ee..de8390f042 100644
--- a/testsuite/tests/gadt/karl2.hs
+++ b/testsuite/tests/gadt/karl2.hs
@@ -2,7 +2,7 @@
 
 module Expr0 where
 
--- See Trac #301
+-- See #301
 -- This one *does* use GADTs (Fct)
 
 import Data.Kind (Type)
diff --git a/testsuite/tests/gadt/records-fail1.hs b/testsuite/tests/gadt/records-fail1.hs
index 12bb3e0cd3..23f9189090 100644
--- a/testsuite/tests/gadt/records-fail1.hs
+++ b/testsuite/tests/gadt/records-fail1.hs
@@ -5,7 +5,7 @@
 -- Record syntax in GADTs has been deprecated since July 2009
 -- see commit 432b9c9322181a3644083e3c19b7e240d90659e7 by simonpj:
 -- "New syntax for GADT-style record declarations, and associated refactoring"
--- and Trac #3306
+-- and #3306
 
 -- It's been removed in August 2015
 -- see Phab D1118