Update Trac ticket URLs to point to GitLab
[ghc.git] / testsuite / tests / typecheck / should_fail / T3406.hs
index 3337f3b..fbc3140 100644 (file)
@@ -1,11 +1,11 @@
-{-# LANGUAGE ScopedTypeVariables #-}\r
-\r
--- Trac #3406\r
--- A pattern signature that discards the bound variables\r
-\r
-module T3406 where\r
-\r
-type ItemColID a b = Int  -- Discards a,b\r
-\r
-get :: ItemColID a b -> a -> ItemColID a b\r
-get (x :: ItemColID a b) = x :: ItemColID a b
\ No newline at end of file
+{-# LANGUAGE ScopedTypeVariables #-}
+
+-- #3406
+-- A pattern signature that discards the bound variables
+
+module T3406 where
+
+type ItemColID a b = Int  -- Discards a,b
+
+get :: ItemColID a b -> a -> ItemColID a b
+get (x :: ItemColID a b) = x :: ItemColID a b