diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_compile')
39 files changed, 43 insertions, 43 deletions
diff --git a/testsuite/tests/typecheck/should_compile/FD1.hs b/testsuite/tests/typecheck/should_compile/FD1.hs index 0c8942ad95..ef458e1ff5 100644 --- a/testsuite/tests/typecheck/should_compile/FD1.hs +++ b/testsuite/tests/typecheck/should_compile/FD1.hs @@ -1,7 +1,7 @@ {-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies #-} {-# LANGUAGE FlexibleInstances, FlexibleContexts #-} --- Trac #1781 +-- #1781 -- This one should really succeed, because 'plus' can only -- be called with a = Int->Int, but the old fundep story -- certainly made it fail, and so that's what we expect for now diff --git a/testsuite/tests/typecheck/should_compile/FD2.hs b/testsuite/tests/typecheck/should_compile/FD2.hs index 571d2daece..f8732c846d 100644 --- a/testsuite/tests/typecheck/should_compile/FD2.hs +++ b/testsuite/tests/typecheck/should_compile/FD2.hs @@ -1,8 +1,8 @@ {-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies #-} {-# LANGUAGE ScopedTypeVariables, FlexibleContexts #-} --- Trac #1783 --- Like Trac #1781 you could argue that this one should succeed +-- #1783 +-- Like #1781 you could argue that this one should succeed -- but we stick with the old behaviour for now. When we do -- fundeps properly it'll probably start to work diff --git a/testsuite/tests/typecheck/should_compile/FD3.hs b/testsuite/tests/typecheck/should_compile/FD3.hs index a2f7d003a7..475e379c10 100644 --- a/testsuite/tests/typecheck/should_compile/FD3.hs +++ b/testsuite/tests/typecheck/should_compile/FD3.hs @@ -1,6 +1,6 @@ {-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies, FlexibleInstances #-} --- Trac #1795 +-- #1795 module ShouldCompile where diff --git a/testsuite/tests/typecheck/should_compile/FD4.hs b/testsuite/tests/typecheck/should_compile/FD4.hs index 51650324ca..88444772ec 100644 --- a/testsuite/tests/typecheck/should_compile/FD4.hs +++ b/testsuite/tests/typecheck/should_compile/FD4.hs @@ -5,7 +5,7 @@ FlexibleInstances, EmptyDataDecls #-} --- Trac #1797 +-- #1797 module ShouldCompile where diff --git a/testsuite/tests/typecheck/should_compile/Makefile b/testsuite/tests/typecheck/should_compile/Makefile index ac18b2f4b3..5255485601 100644 --- a/testsuite/tests/typecheck/should_compile/Makefile +++ b/testsuite/tests/typecheck/should_compile/Makefile @@ -32,7 +32,7 @@ tc245: $(RM) -f tc245.hi tc245.o '$(TEST_HC)' $(TEST_HC_OPTS) --make tc245 -# Trac #5792 gave an error on the second compilation, +# #5792 gave an error on the second compilation, # presumably because of the .hi file T5792: $(RM) -f T5792.o T5792.hi diff --git a/testsuite/tests/typecheck/should_compile/T12734a.hs b/testsuite/tests/typecheck/should_compile/T12734a.hs index 5f1da8b818..d535300994 100644 --- a/testsuite/tests/typecheck/should_compile/T12734a.hs +++ b/testsuite/tests/typecheck/should_compile/T12734a.hs @@ -78,7 +78,7 @@ test_ghc_err = test_gr @(KT A '[Ty] IO) @(Expr Net '[Ty]) -} -{- Some notes. See comment:10 on Trac #12734 +{- Some notes. See comment:10 on #12734 [W] Con m (TStk t lrs) [W] Inferable A lrs m diff --git a/testsuite/tests/typecheck/should_compile/T13651.hs b/testsuite/tests/typecheck/should_compile/T13651.hs index 63bd88eb5c..57e627aa71 100644 --- a/testsuite/tests/typecheck/should_compile/T13651.hs +++ b/testsuite/tests/typecheck/should_compile/T13651.hs @@ -14,7 +14,7 @@ foo :: (F cr cu ~ Bar h (Bar r u), foo = undefined {- Typechecking this program used to /just/ succeed in GHC 8.2, - (see Trac #14745 for why), but doesn't in 8.4. + (see #14745 for why), but doesn't in 8.4. [G] F cr cu ~ Bar h (Bar r u), F cu cs ~ Bar (Foo h) (Bar u s)) diff --git a/testsuite/tests/typecheck/should_compile/T1470.hs b/testsuite/tests/typecheck/should_compile/T1470.hs index b8009f2bc3..c19a520bf4 100644 --- a/testsuite/tests/typecheck/should_compile/T1470.hs +++ b/testsuite/tests/typecheck/should_compile/T1470.hs @@ -1,7 +1,7 @@ {-# OPTIONS_GHC -fno-warn-redundant-constraints #-} {-# LANGUAGE MultiParamTypeClasses, FlexibleContexts, FlexibleInstances, UndecidableInstances, KindSignatures #-} --- Trac #1470 +-- #1470 module Foo where diff --git a/testsuite/tests/typecheck/should_compile/T1495.hs b/testsuite/tests/typecheck/should_compile/T1495.hs index 0de4e456de..7865ee6543 100644 --- a/testsuite/tests/typecheck/should_compile/T1495.hs +++ b/testsuite/tests/typecheck/should_compile/T1495.hs @@ -1,4 +1,4 @@ --- Test Trac #1495 +-- Test #1495 module CompilerBug where diff --git a/testsuite/tests/typecheck/should_compile/T2045.hs b/testsuite/tests/typecheck/should_compile/T2045.hs index 78b924a6ea..00e17edfa2 100644 --- a/testsuite/tests/typecheck/should_compile/T2045.hs +++ b/testsuite/tests/typecheck/should_compile/T2045.hs @@ -1,7 +1,7 @@ {-# LANGUAGE EmptyDataDecls #-} {-# OPTIONS_GHC -fno-warn-type-defaults #-} --- Trac #2045 +-- #2045 -- ghc -fhpc --make Vhdl.hs -o gencirc -Wall module ShouleCompile where diff --git a/testsuite/tests/typecheck/should_compile/T2433.hs b/testsuite/tests/typecheck/should_compile/T2433.hs index 727ec6bb9b..e916e91b07 100644 --- a/testsuite/tests/typecheck/should_compile/T2433.hs +++ b/testsuite/tests/typecheck/should_compile/T2433.hs @@ -1,7 +1,7 @@ {-# LANGUAGE StandaloneDeriving #-} {-# LANGUAGE DeriveDataTypeable #-} --- Test Trac #2433 +-- Test #2433 module T2433 where diff --git a/testsuite/tests/typecheck/should_compile/T2494-2.hs b/testsuite/tests/typecheck/should_compile/T2494-2.hs index 543f8f47fe..094cd10fb6 100644 --- a/testsuite/tests/typecheck/should_compile/T2494-2.hs +++ b/testsuite/tests/typecheck/should_compile/T2494-2.hs @@ -1,6 +1,6 @@ {-# LANGUAGE RankNTypes, ScopedTypeVariables #-} --- Trac #2494, should compile ok +-- #2494, should compile ok module Foo where diff --git a/testsuite/tests/typecheck/should_compile/T2494.hs b/testsuite/tests/typecheck/should_compile/T2494.hs index 3e6c09c39c..cbcc5352b0 100644 --- a/testsuite/tests/typecheck/should_compile/T2494.hs +++ b/testsuite/tests/typecheck/should_compile/T2494.hs @@ -1,6 +1,6 @@ {-# LANGUAGE RankNTypes, ScopedTypeVariables #-} --- Trac #2494, should generate an error message +-- #2494, should generate an error message module Foo where diff --git a/testsuite/tests/typecheck/should_compile/T2497.hs b/testsuite/tests/typecheck/should_compile/T2497.hs index 55c390dbed..12abe8e798 100644 --- a/testsuite/tests/typecheck/should_compile/T2497.hs +++ b/testsuite/tests/typecheck/should_compile/T2497.hs @@ -5,13 +5,13 @@ module ShouldCompile() where foo x = x {-# NOINLINE [1] foo #-} --- Trac #2497; test should compile without language +-- #2497; test should compile without language -- pragmas to switch on the forall {-# RULES "id" forall (x :: a). foo x = x #-} --- Trac #2213; eq should not be reported as unused +-- #2213; eq should not be reported as unused eq,beq :: Eq a => a -> a -> Bool {-# NOINLINE [0] eq #-} diff --git a/testsuite/tests/typecheck/should_compile/T2572.hs b/testsuite/tests/typecheck/should_compile/T2572.hs index 0360749c2c..7856890f06 100644 --- a/testsuite/tests/typecheck/should_compile/T2572.hs +++ b/testsuite/tests/typecheck/should_compile/T2572.hs @@ -1,6 +1,6 @@ {-# LANGUAGE RankNTypes, ScopedTypeVariables #-} --- Trac #2572 +-- #2572 module Foo where diff --git a/testsuite/tests/typecheck/should_compile/T2735.hs b/testsuite/tests/typecheck/should_compile/T2735.hs index 81deb7dda4..f9bc784a7b 100644 --- a/testsuite/tests/typecheck/should_compile/T2735.hs +++ b/testsuite/tests/typecheck/should_compile/T2735.hs @@ -1,4 +1,4 @@ --- Trac #2735 +-- #2735 module Bug where diff --git a/testsuite/tests/typecheck/should_compile/T3018.hs b/testsuite/tests/typecheck/should_compile/T3018.hs index f584f1bacc..77b656af17 100644 --- a/testsuite/tests/typecheck/should_compile/T3018.hs +++ b/testsuite/tests/typecheck/should_compile/T3018.hs @@ -48,7 +48,7 @@ instance Data (SubstD_B a t) t' => Subst_B a t t' where subst_B = undefined -{- Commentary from Trac #3018 +{- Commentary from #3018 Here are the key lines of code: diff --git a/testsuite/tests/typecheck/should_compile/T3219.hs b/testsuite/tests/typecheck/should_compile/T3219.hs index 5c23c1727d..52182c6d3b 100644 --- a/testsuite/tests/typecheck/should_compile/T3219.hs +++ b/testsuite/tests/typecheck/should_compile/T3219.hs @@ -1,4 +1,4 @@ --- Trac #3219. Lint error in GHC 6.10 +-- #3219. Lint error in GHC 6.10 module T3219 where diff --git a/testsuite/tests/typecheck/should_compile/T3346.hs b/testsuite/tests/typecheck/should_compile/T3346.hs index c163cecd09..30b49f731d 100644 --- a/testsuite/tests/typecheck/should_compile/T3346.hs +++ b/testsuite/tests/typecheck/should_compile/T3346.hs @@ -1,6 +1,6 @@ {-# LANGUAGE TypeFamilies #-} --- Trac #3346 +-- #3346 module Foo where diff --git a/testsuite/tests/typecheck/should_compile/T3391.hs b/testsuite/tests/typecheck/should_compile/T3391.hs index eb569366b5..f773af32ac 100644 --- a/testsuite/tests/typecheck/should_compile/T3391.hs +++ b/testsuite/tests/typecheck/should_compile/T3391.hs @@ -3,7 +3,7 @@ -- We should only generate one set of generic to/from functions -- for T, despite the multiple chunks caused by the TH splices --- See Trac #3391 +-- See #3391 module T3391 where diff --git a/testsuite/tests/typecheck/should_compile/T3955.hs b/testsuite/tests/typecheck/should_compile/T3955.hs index 220c4e7c25..dc594c1b7b 100644 --- a/testsuite/tests/typecheck/should_compile/T3955.hs +++ b/testsuite/tests/typecheck/should_compile/T3955.hs @@ -1,7 +1,7 @@ {-# LANGUAGE GeneralizedNewtypeDeriving #-} {-# LANGUAGE MultiParamTypeClasses, FlexibleInstances #-} --- Test for Trac #3955 +-- Test for #3955 module T3955 where diff --git a/testsuite/tests/typecheck/should_compile/T9708.hs b/testsuite/tests/typecheck/should_compile/T9708.hs index 38788574fc..e87b8e8094 100644 --- a/testsuite/tests/typecheck/should_compile/T9708.hs +++ b/testsuite/tests/typecheck/should_compile/T9708.hs @@ -7,7 +7,7 @@ import Data.Proxy type family SomeFun (n :: Nat) --- See the Trac ticket; whether this succeeds or fails is distinctly random +-- See the ticket; whether this succeeds or fails is distinctly random -- upon creation, commit f861fc6ad8e5504a4fecfc9bb0945fe2d313687c, this failed diff --git a/testsuite/tests/typecheck/should_compile/T9971.hs b/testsuite/tests/typecheck/should_compile/T9971.hs index e02b21e398..57f8d3bc5b 100644 --- a/testsuite/tests/typecheck/should_compile/T9971.hs +++ b/testsuite/tests/typecheck/should_compile/T9971.hs @@ -11,5 +11,5 @@ foo = error "urk" bar x = [op foo, op foo] -- This gives rise to a [D] Vertex a1 ~ Vertex a2 - -- And that made the canonicaliser go into a loop (Trac #9971) + -- And that made the canonicaliser go into a loop (#9971) diff --git a/testsuite/tests/typecheck/should_compile/T9973.hs b/testsuite/tests/typecheck/should_compile/T9973.hs index 1a2148f4fa..4639a6c768 100644 --- a/testsuite/tests/typecheck/should_compile/T9973.hs +++ b/testsuite/tests/typecheck/should_compile/T9973.hs @@ -3,7 +3,7 @@ module T9973 where duplicateDecl :: (Eq t) => t -> IO () --- Trac #9973 was a bogus "redundant constraint" here +-- #9973 was a bogus "redundant constraint" here duplicateDecl sigs = do { newSpan <- return typeSig diff --git a/testsuite/tests/typecheck/should_compile/all.T b/testsuite/tests/typecheck/should_compile/all.T index 81a63c594f..9d8f905bf3 100644 --- a/testsuite/tests/typecheck/should_compile/all.T +++ b/testsuite/tests/typecheck/should_compile/all.T @@ -368,7 +368,7 @@ test('PolytypeDecomp', normal, compile, ['']) test('T6011', normal, compile, ['']) test('T6055', normal, compile, ['']) test('DfltProb1', normal, compile, ['-O']) -# Add -O for DfltProb1 to expose Trac #11291 +# Add -O for DfltProb1 to expose #11291 test('DfltProb2', normal, compile, ['']) test('T6134', normal, compile, ['']) test('T6018', [], multimod_compile, ['T6018', '']) diff --git a/testsuite/tests/typecheck/should_compile/syn-perf2.hs b/testsuite/tests/typecheck/should_compile/syn-perf2.hs index 7a07bfa643..6f9a9430ae 100644 --- a/testsuite/tests/typecheck/should_compile/syn-perf2.hs +++ b/testsuite/tests/typecheck/should_compile/syn-perf2.hs @@ -1,5 +1,5 @@ -- Another type-synonym performance test --- (Trac 323) +-- (#323) -- Fails in GHC up to 6.6 module ShouldCompile where diff --git a/testsuite/tests/typecheck/should_compile/tc208.hs b/testsuite/tests/typecheck/should_compile/tc208.hs index 6fad1b21f4..8d9bb3636e 100644 --- a/testsuite/tests/typecheck/should_compile/tc208.hs +++ b/testsuite/tests/typecheck/should_compile/tc208.hs @@ -4,11 +4,11 @@ -- This program failed to typecheck in an early version of -- GHC with impredicative polymorphism, but it was fixed by -- doing pre-subsumption in the subsumption check. --- Trac bug #821 +-- bug #821 module ShouldCompile where type PPDoc = (?env :: Int) => Char f :: Char -> PPDoc -f = succ +f = succ diff --git a/testsuite/tests/typecheck/should_compile/tc217.hs b/testsuite/tests/typecheck/should_compile/tc217.hs index c42c1eb33b..9835da8df1 100644 --- a/testsuite/tests/typecheck/should_compile/tc217.hs +++ b/testsuite/tests/typecheck/should_compile/tc217.hs @@ -12,9 +12,9 @@ instance Eq (a -> b) where instance Show (a -> b) where show = const "<fun>" --- This is the example from Trac #179 +-- This is the example from #179 foo x = show (\_ -> True) --- This is the example from Trac #963 +-- This is the example from #963 instance (Num a, Monad m, Eq (m a), Show (m a)) => Num (m a) where test = 1 True diff --git a/testsuite/tests/typecheck/should_compile/tc220.hs b/testsuite/tests/typecheck/should_compile/tc220.hs index f9f5443bc0..7c87742ba6 100644 --- a/testsuite/tests/typecheck/should_compile/tc220.hs +++ b/testsuite/tests/typecheck/should_compile/tc220.hs @@ -1,6 +1,6 @@ {-# LANGUAGE DeriveDataTypeable #-} --- See Trac #1033 +-- See #1033 module Pointful' where diff --git a/testsuite/tests/typecheck/should_compile/tc226.hs b/testsuite/tests/typecheck/should_compile/tc226.hs index d9c94c2c43..fa67a4525f 100644 --- a/testsuite/tests/typecheck/should_compile/tc226.hs +++ b/testsuite/tests/typecheck/should_compile/tc226.hs @@ -1,7 +1,7 @@ {-# OPTIONS_GHC -O -funbox-strict-fields #-} -- The combination of unboxing and a recursive newtype crashed GHC 6.6.1 --- Trac #1255 +-- #1255 -- Use -O to force the unboxing to happen module Foo where diff --git a/testsuite/tests/typecheck/should_compile/tc227.hs b/testsuite/tests/typecheck/should_compile/tc227.hs index 5a4736eccc..cf439cf49f 100644 --- a/testsuite/tests/typecheck/should_compile/tc227.hs +++ b/testsuite/tests/typecheck/should_compile/tc227.hs @@ -1,5 +1,5 @@ -- Ensure that tuple instances are brought into scope --- See Trac #1385 +-- See #1385 module ShouldCompile where diff --git a/testsuite/tests/typecheck/should_compile/tc228.hs b/testsuite/tests/typecheck/should_compile/tc228.hs index a3d1c2f464..7989674847 100644 --- a/testsuite/tests/typecheck/should_compile/tc228.hs +++ b/testsuite/tests/typecheck/should_compile/tc228.hs @@ -1,7 +1,7 @@ {-# LANGUAGE ExistentialQuantification #-} -- Without a type sig this is slightly tricky. --- See Trac #1430 +-- See #1430 -- Reason: we get an implication constraint (forall a. Typeable a => Typeable b), -- when generalising unExTypeable. We want to infer a context for the diff --git a/testsuite/tests/typecheck/should_compile/tc230.hs b/testsuite/tests/typecheck/should_compile/tc230.hs index 0371ec904f..f6bd86e892 100644 --- a/testsuite/tests/typecheck/should_compile/tc230.hs +++ b/testsuite/tests/typecheck/should_compile/tc230.hs @@ -1,7 +1,7 @@ {-# OPTIONS_GHC -fno-warn-redundant-constraints #-} {-# LANGUAGE ImplicitParams, RankNTypes #-} --- Trac #1445 +-- #1445 module Bug where diff --git a/testsuite/tests/typecheck/should_compile/tc231.hs b/testsuite/tests/typecheck/should_compile/tc231.hs index 1c00294009..9d0fc8316b 100644 --- a/testsuite/tests/typecheck/should_compile/tc231.hs +++ b/testsuite/tests/typecheck/should_compile/tc231.hs @@ -1,7 +1,7 @@ {-# OPTIONS_GHC -ddump-types -dsuppress-module-prefixes #-} {-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies, FlexibleContexts #-} --- See Trac #1456 +-- See #1456 -- The key thing here is that foo should get the type -- foo :: forall b s t1. (Zork s (Z [Char]) b) diff --git a/testsuite/tests/typecheck/should_compile/tc232.hs b/testsuite/tests/typecheck/should_compile/tc232.hs index 2fc8544ab3..0f3294cac7 100644 --- a/testsuite/tests/typecheck/should_compile/tc232.hs +++ b/testsuite/tests/typecheck/should_compile/tc232.hs @@ -2,7 +2,7 @@ {-# OPTIONS_GHC -fno-warn-redundant-constraints #-} -- This one fixed the constraint solver (Lint error) --- See Trac #1494 +-- See #1494 module ShouldCompile where diff --git a/testsuite/tests/typecheck/should_compile/tc235.hs b/testsuite/tests/typecheck/should_compile/tc235.hs index 39bda75168..57381fabea 100644 --- a/testsuite/tests/typecheck/should_compile/tc235.hs +++ b/testsuite/tests/typecheck/should_compile/tc235.hs @@ -4,7 +4,7 @@ {-# LANGUAGE AllowAmbiguousTypes #-} -- 'x' and 'v' are ambiguous --- Trac #1564 +-- #1564 module Foo where diff --git a/testsuite/tests/typecheck/should_compile/tc239.hs b/testsuite/tests/typecheck/should_compile/tc239.hs index f3941d3427..fef339c0db 100644 --- a/testsuite/tests/typecheck/should_compile/tc239.hs +++ b/testsuite/tests/typecheck/should_compile/tc239.hs @@ -1,5 +1,5 @@ {-# OPTIONS_GHC -fno-warn-redundant-constraints #-} --- Trac #1072 +-- #1072 module ShouldCompile where diff --git a/testsuite/tests/typecheck/should_compile/tc241.hs b/testsuite/tests/typecheck/should_compile/tc241.hs index 8dca34314a..dd986b5c51 100644 --- a/testsuite/tests/typecheck/should_compile/tc241.hs +++ b/testsuite/tests/typecheck/should_compile/tc241.hs @@ -1,5 +1,5 @@ {-# OPTIONS_GHC -XGADTs -XRankNTypes -O1 #-} --- Trac #2018 +-- #2018 module Bug1 where diff --git a/testsuite/tests/typecheck/should_compile/tc242.hs b/testsuite/tests/typecheck/should_compile/tc242.hs index eda338bc8a..1faa70734d 100644 --- a/testsuite/tests/typecheck/should_compile/tc242.hs +++ b/testsuite/tests/typecheck/should_compile/tc242.hs @@ -7,7 +7,7 @@ f1 (x:xs) = xs ++ [ x :: a ] -- OK f2 :: forall a. [a] -> [a] f2 = \(x:xs) -> xs ++ [ x :: a ] -- OK --- This pair is a cut-down version of Trac #2030 +-- This pair is a cut-down version of #2030 isSafe alts = isSafeAlts alts isSafeAlts :: forall m . Int -> m Int |