Ticket #2953: deriving-functor-tests.patch

Sat Jan 17 17:47:07 W. Europe Standard Time 2009  Twan van Laarhoven <twanvl@gmail.com>
  * Tests for DeriveFunctor

New patches:

[Tests for DeriveFunctor
Twan van Laarhoven <twanvl@gmail.com>**20090117164707] {
hunk ./tests/ghc-regress/deriving/should_compile/all.T 21
+test('drv-functor1', normal, compile, [''])
+test('drv-functor2', normal, compile, [''])
addfile ./tests/ghc-regress/deriving/should_compile/drv-functor1.hs
hunk ./tests/ghc-regress/deriving/should_compile/drv-functor1.hs 1
+{-# LANGUAGE DeriveFunctor #-}
+{-# LANGUAGE ExistentialQuantification #-}
+{-# LANGUAGE RankNTypes #-}
+{-# LANGUAGE FlexibleContexts #-}
+
+module ShouldCompile where
+
+data Trivial a = Trivial
+   deriving (Functor)
+
+data Fun a = Fun (Int -> a)
+  deriving (Functor)
+
+-- lots of different things
+data Strange a b c
+    = T1 a b c
+    | T2 [a] [b] [c]         -- lists
+    | T3 [[a]] [[b]] [[c]]   -- nested lists
+    | T4 (c,(b,b),(c,c))     -- tuples
+    | T5 ([c],Strange a b c) -- tycons
+    | T6 (Int -> c)          -- function types
+    | T7 (a -> (c,a))        -- functions and tuples 
+    | T8 ((c -> a) -> a)     -- continuation
+  deriving (Functor)
+
+data NotPrimitivelyRecursive a
+    = S1 (NotPrimitivelyRecursive (a,a))
+    | S2 a
+  deriving (Functor,Eq)
+
+data Eq a => StupidConstraint a b = Stupid a b
+  deriving (Functor)
+
+-- requires Functor constraint on f and g
+data Compose f g a = Compose (f (g a))
+  deriving (Functor)
+
+-- We can't derive Functor for the following type.
+-- it needs both (Functor (f Int)) and (Functor (f Bool))
+-- i.e.:
+--  instance (Functor (f Bool), Functor (f Int)) => Functor (ComplexConstraint f)
+-- This requires FlexibleContexts and UndecidableInstances
+data ComplexConstraint f a = ComplexContraint (f Int (f Bool a,a))
+--  deriving (Functor)
+
+data Universal a
+    = Universal  (forall b. (b,[a]))
+    | Universal2 (forall f. Functor f => (f a))
+    | Universal3 (forall a. a -> Int) -- reuse a
+    | NotReallyUniversal (forall b. a)
+  deriving (Functor)
+
+-- Ghc doesn't allow deriving for non-Haskell98 data constructors
+data Existential b
+    = forall a. ExistentialList [a]
+    | forall f. Functor f => ExistentialFunctor (f b)
+    | forall b. SneakyUseSameName (b -> Bool)
+--  deriving (Functor)
+
+-- Don't get confused by synonyms
+type IntFun a = Int -> a
+data IntFunD a = IntFunD (IntFun a)
+  deriving (Functor)
+
addfile ./tests/ghc-regress/deriving/should_compile/drv-functor2.hs
hunk ./tests/ghc-regress/deriving/should_compile/drv-functor2.hs 1
+{-# LANGUAGE GeneralizedNewtypeDeriving #-}
+
+module ShouldCompile where
+
+-- Deriving Functor should still work with GeneralizedNewtypeDeriving instead of DeriveFunctor
+
+newtype List a = List [a]
+  deriving (Functor)
+
hunk ./tests/ghc-regress/deriving/should_fail/all.T 26
+test('drvfail-functor1', normal, compile_fail, [''])
+test('drvfail-functor2', normal, compile_fail, [''])
addfile ./tests/ghc-regress/deriving/should_fail/drvfail-functor1.hs
hunk ./tests/ghc-regress/deriving/should_fail/drvfail-functor1.hs 1
+module ShouldFail where
+
+-- Derive Functor without a DeriveFunctor language pragma
+
+data List a = Nil | Cons a (List a)
+    deriving Functor
addfile ./tests/ghc-regress/deriving/should_fail/drvfail-functor1.stderr
hunk ./tests/ghc-regress/deriving/should_fail/drvfail-functor1.stderr 1
+
+drvfail-functor1.hs:6:13:
+    Can't make a derived instance of `Functor List'
+      (You need -XDeriveFunctor to derive an instance for this class)
+    In the data type declaration for `List'
addfile ./tests/ghc-regress/deriving/should_fail/drvfail-functor2.hs
hunk ./tests/ghc-regress/deriving/should_fail/drvfail-functor2.hs 1
+{-# LANGUAGE DeriveFunctor #-}
+module ShouldFail where
+
+-- Derive Functor on a type that uses 'a' in the wrong places
+
+newtype InFunctionArgument a = InFunctionArgument (a -> Int)
+   deriving (Functor)
+
+newtype OnSecondArg a = OnSecondArg (Either a a)
+   deriving (Functor)
+
+-- Derive Functor on a type with no arguments
+
+newtype NoArguments = NoArguments Int
+   deriving (Functor)
+
+-- Derive Functor on a type with extra stupid-contraints on 'a'
+
+data Eq a => StupidConstraint a = StupidType a
+   deriving (Functor)
+
+-- A missing Functor instance
+
+data NoFunctor a = NoFunctor
+data UseNoFunctor a = UseNoFunctor (NoFunctor a)
+   deriving (Functor)
addfile ./tests/ghc-regress/deriving/should_fail/drvfail-functor2.stderr
hunk ./tests/ghc-regress/deriving/should_fail/drvfail-functor2.stderr 1
+
+drvfail-functor2.hs:7:13:
+    Can't make a derived instance of `Functor InFunctionArgument'
+      (`InFunctionArgument' uses the type variable in a function argument)
+    In the newtype declaration for `InFunctionArgument'
+
+drvfail-functor2.hs:10:13:
+    Can't make a derived instance of `Functor OnSecondArg'
+      (`OnSecondArg' uses the type variable in an argument other than the last)
+    In the newtype declaration for `OnSecondArg'
+
+drvfail-functor2.hs:15:13:
+    Cannot derive well-kinded instance of form `Functor (NoArguments ...)'
+      Class `Functor' expects an argument of kind `* -> *'
+    In the newtype declaration for `NoArguments'
+
+drvfail-functor2.hs:20:13:
+    Can't derive instances where the instance context mentions
+    type variables that are not data type parameters
+      Offending constraint: Eq a
+    When deriving the instance for (Functor StupidConstraint)
+
+drvfail-functor2.hs:26:13:
+    No instance for (Functor NoFunctor)
+      arising from the 'deriving' clause of a data type declaration
+                   at drvfail-functor2.hs:26:13-19
+    Possible fix:
+      add an instance declaration for (Functor NoFunctor)
+      or use a standalone 'deriving instance' declaration instead,
+         so you can specify the instance context yourself
+    When deriving the instance for (Functor UseNoFunctor)
hunk ./tests/ghc-regress/deriving/should_run/all.T 29
+test('drvrun-functor1', normal, compile_and_run, [''])
addfile ./tests/ghc-regress/deriving/should_run/drvrun-functor1.hs
hunk ./tests/ghc-regress/deriving/should_run/drvrun-functor1.hs 1
+{-# LANGUAGE DeriveFunctor #-}
+
+module Main where
+
+-- Derive functor for a simple data type
+
+data List a = Nil | Cons a (List a)
+    deriving (Functor,Show)
+
+someList   = Cons 1 (Cons 1 (Cons 2 (Cons 3 Nil)))
+doubleList = fmap (*2) someList
+
+test1 = do
+    putStr "normal:  " >> print someList
+    putStr "double:  " >> print doubleList
+
+-- Derive functor for a data type with functions and tuples
+
+data ReaderWriter r w a = RW { runRW :: r -> (a,w) }
+    deriving (Functor)
+
+data Cont r a = Cont { runCont :: (a -> r) -> r }
+    deriving (Functor)
+
+test2 = do
+    let rw = RW (\r -> ("something",r*3))
+    putStr "normal:  " >> print (runRW rw 123)
+    putStr "reverse: " >> print (runRW (fmap reverse rw) 456)
+    let five = Cont ($ 5)
+    putStr "normal:  " >> runCont five print
+    putStr "double:  " >> runCont (fmap (*2) five) print
+
+-- Derive functor in such a way that we need a constraint
+
+newtype Compose f g a = Compose (f (g a))
+    deriving (Functor,Show)
+
+listOfLists = Compose [[1,2,3],[7,8,9]]
+
+test3 = do
+    putStr "normal:  " >> print listOfLists
+    putStr "double:  " >> print (fmap (*2) listOfLists)
+
+-- All tests
+
+main = do
+    test1
+    test2
+    test3
addfile ./tests/ghc-regress/deriving/should_run/drvrun-functor1.stdout
hunk ./tests/ghc-regress/deriving/should_run/drvrun-functor1.stdout 1
+normal:  Cons 1 (Cons 1 (Cons 2 (Cons 3 Nil)))
+double:  Cons 2 (Cons 2 (Cons 4 (Cons 6 Nil)))
+normal:  ("something",369)
+reverse: ("gnihtemos",1368)
+normal:  5
+double:  10
+normal:  Compose [[1,2,3],[7,8,9]]
+double:  Compose [[2,4,6],[14,16,18]]
}

Context:

[Normalises slashes in the ghcpkg03 and ghcpkg05 tests
Ian Lynagh <igloo@earth.li>**20090116175512] 
[Canonicalise the prefix used by test cabal01
Ian Lynagh <igloo@earth.li>**20090116175205] 
[Add a GCC hack for the new build system too
Ian Lynagh <igloo@earth.li>**20090116174651] 
[Hack to find gcc for an in-place ghc
Ian Lynagh <igloo@earth.li>**20090116173917] 
[Also canonicalise the install prefix for the timeout program
Ian Lynagh <igloo@earth.li>**20090116163749] 
[Canonicalise paths in the testsuite
Ian Lynagh <igloo@earth.li>**20090116161459] 
[update output after changes to ghc-pkg
Simon Marlow <marlowsd@gmail.com>**20090115134134
 Ignore-this: 6ebada92e562e38bc00e1a65735e6aa4
] 
[Move the Makefile changes around so they don't cause test failures
Ian Lynagh <igloo@earth.li>**20090114191621
 Our "make clean" detection was causing problems for tests which had
 their own local clean target.
] 
[Don't fail "make clean" becaues GHC etc can't be found
Ian Lynagh <igloo@earth.li>**20090114180815] 
[Test Trac #2944
simonpj@microsoft.com**20090113171931
 Ignore-this: 4c3fb381dc8186637196783f09520f55
] 
[Follow error message change
simonpj@microsoft.com**20090113170841
 Ignore-this: bab0d571dffe70fc523fcbcec18bbb5e
] 
[Test Trac #2931
simonpj@microsof.com**20090113160225
 Ignore-this: 10f9c68d848b1503e05e44dab84b8a2a
] 
[Tweak top-level Makefile
Ian Lynagh <igloo@earth.li>**20090113135112] 
[mk/test.mk wibble
Ian Lynagh <igloo@earth.li>**20090113134706] 
[add boot target to the top-level Makefile; fix boot target in test.mk
Simon Marlow <marlowsd@gmail.com>**20090113090944
 Ignore-this: 99fc8adcf04105ebf9ec966560aa0e43
] 
[Add a boot target, and tidy up the Makefile a bit
Ian Lynagh <igloo@earth.li>**20090110214204] 
[Fix test 2566 in the new build system
Ian Lynagh <igloo@earth.li>**20090109211835] 
[Update tests following change to pretty printing Haddock comments
David Waern <david.waern@gmail.com>**20090110203539] 
[Fix rn.prog006 on Windows
Ian Lynagh <igloo@earth.li>**20090109182257] 
[Make ghciprog004 not rely on $(CC) being correctly defined
Ian Lynagh <igloo@earth.li>**20090109180953] 
[Fix readwrite00[12] on Windows
Ian Lynagh <igloo@earth.li>**20090109180745] 
[Fix ioeGetHandle001 on Windows
Ian Lynagh <igloo@earth.li>**20090109180713] 
[Fix ioeGetFileName001 on Windows
Ian Lynagh <igloo@earth.li>**20090109180652] 
[Fix ioeGetErrorString001 on Windows
Ian Lynagh <igloo@earth.li>**20090109180630] 
[Fix hSeek003 on Windows
Ian Lynagh <igloo@earth.li>**20090109180609] 
[Fix hSeek002 on Windows
Ian Lynagh <igloo@earth.li>**20090109180549] 
[Fix hReady001 on Windows
Ian Lynagh <igloo@earth.li>**20090109180525] 
[Fix hIsEOF002 on Windows
Ian Lynagh <igloo@earth.li>**20090109180500] 
[Fix hGetPosn001 on Windows
Ian Lynagh <igloo@earth.li>**20090109180429] 
[Fix hGetLine001
Ian Lynagh <igloo@earth.li>**20090109180309] 
[Tidy up the Makefile
Ian Lynagh <igloo@earth.li>**20090109160356] 
[Remove target.mk
Ian Lynagh <igloo@earth.li>**20090109160332] 
[Remove redundant CLEAN_FILES
Ian Lynagh <igloo@earth.li>**20090109160110] 
[Add clean and distclean targets
Ian Lynagh <igloo@earth.li>**20090109153929] 
[Remove otu-of-date comments
Ian Lynagh <igloo@earth.li>**20090109152347] 
[Fix timeout's clean target
Ian Lynagh <igloo@earth.li>**20090109152232] 
[Look for .exe when looking for the compiler, too
Ian Lynagh <igloo@earth.li>**20090109151915] 
[Add a "show" target
Ian Lynagh <igloo@earth.li>**20090109151633] 
[Wibble error message to not confused vim's syntax highlighting
Ian Lynagh <igloo@earth.li>**20090109151613] 
[When checking programs exists, check prog.exe too
Ian Lynagh <igloo@earth.li>**20090109150940] 
[Check that make supports eval
Ian Lynagh <igloo@earth.li>**20090109150843] 
[Don't insist on python being in /usr/bin
Ian Lynagh <igloo@earth.li>**20090109144758] 
[Put the endif's in the right places
Ian Lynagh <igloo@earth.li>**20090108161931] 
[Actually define TEST_HC for the new build system
Ian Lynagh <igloo@earth.li>**20090108161809] 
[Better error messages
Ian Lynagh <igloo@earth.li>**20090108161708] 
[Disentangle the testsuite from the compiler's build system
Ian Lynagh <igloo@earth.li>**20090108161100] 
[Remove uses of MKDIRHIER in favour of mkdir
Ian Lynagh <igloo@earth.li>**20090108155818] 
[Remove uses of pwd in favour of abspath
Ian Lynagh <igloo@earth.li>**20090108155459] 
[Consistently use GHC_PKG instead of GHC_PKG_INPLACE
Ian Lynagh <igloo@earth.li>**20090108143135] 
[Test Trac #2914
simonpj@microsoft.com**20090108123927] 
[add test for #2910; move #1980 into validate
Simon Marlow <marlowsd@gmail.com>**20090106153210] 
[Test Trac #2756
simonpj@microsoft.com**20090102152606] 
[Add comments to a very tricky test
simonpj@microsoft.com**20090102145608] 
[Change in error messages
simonpj@microsoft.com**20090102145549] 
[Test Trac #2721
simonpj@microsoft.com**20081231164227] 
[Track error message changes
simonpj@microsoft.com**20081231155707] 
[Use -XImpredicativeTypes instead of -fglasgow-exts
simonpj@microsoft.com**20081231155601] 
[Test Trac #2856
simonpj@microsoft.com**20081231155509] 
[Test for empty type indices (Trac #2888)
simonpj@microsoft.com**20081230170152] 
[Test Trac #2851, and update error message for other tests
simonpj@microsoft.com**20081230165958] 
[Track new quotes in error message
simonpj@microsoft.com**20081230145859] 
[Test Trac #2901
simonpj@microsoft.com**20081230145836] 
[Add test for #2739 (tests that it works with HscInterpreted).
Thomas Schilling <nominolo@googlemail.com>**20081219144223] 
[Add first test for GHC API features.
Thomas Schilling <nominolo@googlemail.com>**20081127105929] 
[fix typo
Simon Marlow <marlowsd@gmail.com>**20081218091555] 
[break018 is expected to pass again after the INLINE patch rollback
Simon Marlow <marlowsd@gmail.com>**20081217153559] 
[Make the testsuite work with the new build system
Simon Marlow <marlowsd@gmail.com>**20081217125046] 
[Fix this test: it was using a C finalizer that called back into Haskell
Simon Marlow <marlowsd@gmail.com>**20081216101140
 Which isn't allowed using the ordinary newForeignPtr any more, it has
 to be done with Foreign.Concurrent.newForeignPtr.
] 
[test for #2592
Simon Marlow <marlowsd@gmail.com>**20081215111427] 
[check for valid .prof files when profiling
Simon Marlow <marlowsd@gmail.com>**20081215111403] 
[FIX #1364: added tests for C finalizers.
Ivan Tomac <tomac@pacific.net.au>**20081210150959
 
 Patch amended by Simon Marlow:
     - Test addForeignPtrFinalizerEnv too
] 
[add test for #2838
Simon Marlow <marlowsd@gmail.com>**20081209114410] 
[Add a test that we ignore OPTIONS_HUGS pragmas
Ian Lynagh <igloo@earth.li>**20081209191114] 
[Add a test for trac #2847: Parsing OPTIONS_NO_SUCH_PRAGMA pragma
Ian Lynagh <igloo@earth.li>**20081209190822] 
[Mark break018 broken (#2845)
Ian Lynagh <igloo@earth.li>**20081206000423] 
[Remove INLINE for recursive function
simonpj@microsoft.com**20081205171611] 
[Clean .exe.manifest files
Ian Lynagh <igloo@earth.li>**20081203135541] 
[Follow improved error message
simonpj@microsof.com**20081201163016] 
[Simple17 passes
simonpj@microsof.com**20081201101834] 
[Test Trac #2817
simonpj@microsof.com**20081126154331] 
[Test Trac #2756
simonpj@microsof.com**20081126143808] 
[Update output to follow :t output formatting change
simonpj@microsof.com**20081126134736] 
[Test Trac #2766
simonpj@microsof.com**20081126133106] 
[add test for #2740
Simon Marlow <marlowsd@gmail.com>**20081125103402] 
[Test Trac #2799
simonpj@microsof.com**20081125110946] 
[small fix to the space-leak testing framework
Simon Marlow <marlowsd@gmail.com>**20081125100934] 
[Add some 6.10-specific output
Ian Lynagh <igloo@earth.li>**20081123193302] 
[Don't show whitespace differences when diffing test results
Ian Lynagh <igloo@earth.li>**20081123133300] 
[Add a space leak test, and some infrastructure for checking space usage
Ian Lynagh <igloo@earth.li>**20081123164014] 
[Follow changes in pragma error reporting.
Thomas Schilling <nominolo@googlemail.com>**20081121160235
 
 Parse errors in pragmas are now normal error messages and printed as
 such.  The full span info is still there, but not by default we only
 print the start of the region (for backwards compatibility).  GHC API
 clients will get the full source span info (and users can still get it
 via -ferror-spans).
] 
[add test for #2783
Simon Marlow <marlowsd@gmail.com>**20081117164854] 
[make this test a bit more robust
Simon Marlow <marlowsd@gmail.com>**20081114113859] 
[-package syb is required when linking now that array doesn't depend on syb
Simon Marlow <marlowsd@gmail.com>**20081114101303] 
[make it so that WAY=profthreaded works
Simon Marlow <marlowsd@gmail.com>**20081112154221] 
[Add a test that $( (\b -> [| b |]) True ) works
Ian Lynagh <igloo@earth.li>**20081112135613] 
[add a DLL building test (#2745)
Simon Marlow <marlowsd@gmail.com>**20081110094845] 
[Add some 6.10-specific test outputs
Ian Lynagh <igloo@earth.li>**20081109212017] 
[Increase the requirements for the annotations tests from 6.9 to 6.11
Ian Lynagh <igloo@earth.li>**20081109211524] 
[TAG GHC 6.10.1 release
Ian Lynagh <igloo@earth.li>**20081107191824] 
[extra_clean for rename.prog005
Simon Marlow <marlowsd@gmail.com>**20081103150523] 
[extra_clean for T2685
Simon Marlow <marlowsd@gmail.com>**20081103150315] 
[Test Trac #2735
simonpj@microsof.com**20081103142217] 
[Follow improvements in type signatures
simonpj@microsof.com**20081031090642] 
[Make ann01 not depend on linking order
simonpj@microsof.com**20081030132215] 
[Test annotations
Max Bolingbroke <batterseapower@hotmail.com>**20081016154455] 
[Tests for Trac #2674
simonpj@microsof.com**20081030094721] 
[Add GHC 6.10 output for some tests
Ian Lynagh <igloo@earth.li>**20081029205326] 
[We expect tc244 to fail in the 6.10 branch
Ian Lynagh <igloo@earth.li>**20081029162514] 
[Add 6.10 output for tests gadt11, tcfail155, tcfail176
Ian Lynagh <igloo@earth.li>**20081029162104] 
[TF_GADT fails in 6.10
Ian Lynagh <igloo@earth.li>**20081029160839] 
[Expect T2723 to fail in 6.10
Ian Lynagh <igloo@earth.li>**20081029155858] 
[Track changes in naming of class dictionaries, coercions etc
simonpj@microsoft.com**20081029142425] 
[Add -fno-method-sharing to eyeball/inline1.hs
simonpj@microsoft.com**20081029142228] 
[Skip qq005(hpc) in the 6.10 branch; trac #1779
Ian Lynagh <igloo@earth.li>**20081028205719] 
[Omit the profiling ways when running qq005
Ian Lynagh <igloo@earth.li>**20081028174704
 We'd need to jump through some hoops to run this test the
 profiling ways, due to the TH use, so for now we just
 omit them
] 
[Skip bytestring00{1,4,5} (designed for an earlier version of bytestring)
Ian Lynagh <igloo@earth.li>**20081027185817] 
[Test for existential record update (cf Trac #2595)
simonpj@microsoft.com**20081028115524] 
[Test Trac #2723
simonpj@microsoft.com**20081028110244] 
[Test Trac #2713
simonpj@microsoft.com**20081027223522] 
[Update output to follow improved error messages for fixity decls
simonpj@microsoft.com**20081027222448] 
[Test Trac #2701
simonpj@microsoft.com**20081025171123] 
[Test Trac #2700
simonpj@microsoft.com**20081025164338] 
[skip conc069/conc070(ghci) if we have no threaded RTS
Simon Marlow <marlowsd@gmail.com>**20081023081250] 
[Test Trac #2714
simonpj@microsoft.com**20081022145517] 
[TFs: 7 tests fail as they used unsupported superclass equalities
Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20081021135941] 
[Improved error message on data constructor return types
simonpj@microsoft.com**20081021063933] 
[Track error message change in deriving
simonpj@microsoft.com**20081021063859] 
[Add test for data instances that are GADTs
simonpj@microsoft.com**20081021043459] 
[T2693
Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20081021115858] 
[T2688
Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20081021043343] 
[Skip 2228 on Windows
Ian Lynagh <igloo@earth.li>**20081019230413] 
[Wibble to output
simonpj@microsof.com**20081015102844] 
[Update test output
simonpj@microsof.com**20081015084111] 
[add test for #2685
Simon Marlow <marlowsd@gmail.com>**20081013122050] 
[add test for #2636
Simon Marlow <marlowsd@gmail.com>**20081010131452] 
[add test for #2589
Simon Marlow <marlowsd@gmail.com>**20081009094639] 
[make this test more reliable, and enable threaded2
Simon Marlow <marlowsd@gmail.com>**20081009094254] 
[update output (Show Ratio changes)
Simon Marlow <marlowsd@gmail.com>**20081009085358] 
[TFs: T2639
Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20081009132645] 
[TFs: Examples for Relaxed Conditions
Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20081004114546] 
[Comments only
simonpj@microsof.com**20081003141316] 
[Add test for Trac #2632
simonpj@microsof.com**20081003141244] 
[Tweak break017
Ian Lynagh <igloo@earth.li>**20081002213202] 
[TFs: Test for repeated tvs in left-hand sides of instances
Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20081002142712] 
[TFs: T2291
Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20081002055002] 
[omit ways that run out of time
Simon Marlow <marlowsd@gmail.com>**20081002101157] 
[accept output, and enable cg026 in validate
Simon Marlow <marlowsd@gmail.com>**20081002100444] 
[add IOList optimisation example
Simon Marlow <marlowsd@gmail.com>**20081002093717] 
[accept output (Show Ratio changes)
Simon Marlow <marlowsd@gmail.com>**20081002083641] 
[add an extra delay to make this test a bit more robust
Simon Marlow <marlowsd@gmail.com>**20081002083623] 
[accept break017 output (seems to be correct), and enable it in validate
Simon Marlow <marlowsd@gmail.com>**20081002083135] 
[tcfail145 error message improved, too
Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20081002052448] 
[TFs: T2448
Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20081002045510] 
[TFs: Proper error message for GADT12
Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20081001144244] 
[Print out exceptions when cleaning tests
Ian Lynagh <igloo@earth.li>**20081001194813] 
[add test for #2410
Simon Marlow <marlowsd@gmail.com>**20080930150803] 
[TFs: Fixed InstContextNorm
Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20081001130446] 
[GADTs/TFs: Added T2151 & TF's Simple14 passes
Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20081001053109] 
[add test for #2594
Simon Marlow <marlowsd@gmail.com>**20080930115425] 
[Type families: T2627b
Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20080930054017] 
[Type families: Tricky GADT/RankN/TF example
Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20080930033644] 
[Type families: T2627
Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20080930020317] 
[Type families: fixed GivenCheckDecomp
Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20080929140957] 
[Type families: T2219
Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20080929074819] 
[GADTs: T2040
Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20080929073535] 
[we can observe the exception again in break011
pepe iborra <mnislaih@gmail.com>**20080926212515] 
[Fix the mode001 test on OS X
Ian Lynagh <igloo@earth.li>**20080927161551] 
[add test for #2295 (-outputdir)
Simon Marlow <simonmarhaskell@gmail.com>**20080923145850] 
[oops, we haven't been running tests from packages for goodness knows how long
Simon Marlow <simonmarhaskell@gmail.com>**20080926233700] 
[Improve the mode001 test
Ian Lynagh <igloo@earth.li>**20080926142730] 
[Type families: another small tricky example of SPJ
Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20080925230155] 
[Test Trac #303
simonpj@microsoft.com**20080925230530] 
[Fix conflicting_flags output
Ian Lynagh <igloo@earth.li>**20080925184801] 
[Add a test that the --help and --version flags behave properly
Ian Lynagh <igloo@earth.li>**20080925165553] 
[Update ghci025 output
Ian Lynagh <igloo@earth.li>**20080925153956] 
[Type families: test for decomposition problem
Manuel M T Chakravarty <chak@cse.unsw.edu.au>**20080925084015] 
[Add a test for ":i thisIsNotDefined"
Ian Lynagh <igloo@earth.li>**20080924235240
 It used to make ghci exit
] 
[Skip the new qualified operator syntax tests in 6.10
Ian Lynagh <igloo@earth.li>**20080924160332] 
[Fix the driver100 test
Ian Lynagh <igloo@earth.li>**20080924152649] 
[Update the ws-64 output for the arith011 test
Ian Lynagh <igloo@earth.li>**20080924151947] 
[add test for #2499 (package flags in OPTIONS pragmas)
Simon Marlow <simonmarhaskell@gmail.com>**20080923175620] 
[accept output (Show Ratio changes, #1920)
Simon Marlow <simonmarhaskell@gmail.com>**20080923144155] 
[add test for #2566, also enable driver100 which wasn't being run
Simon Marlow <simonmarhaskell@gmail.com>**20080923140120] 
[add tests for -XNewQualifiedOperators
Simon Marlow <simonmarhaskell@gmail.com>**20080922213748] 
[make this test THREADS friendly
Simon Marlow <simonmarhaskell@gmail.com>**20080922213649] 
[add test for #2228
Simon Marlow <simonmarhaskell@gmail.com>**20080430204612] 
[Minor change in error message
simonpj@microsoft.com**20080920210508] 
[Add tests for Trac #2597
simonpj@microsoft.com**20080920210420] 
[Test Trac #2587
simonpj@microsoft.com**20080915150402] 
[TAG 2008-09-20
Ian Lynagh <igloo@earth.li>**20080920162649] 
Patch bundle hash:
211c92dd6910b808fcb92229e9f679a65c6cc80b