ghc.git
6 years agoAdd better support for .cmm test files.
Austin Seipp [Sun, 13 Jan 2013 09:41:29 +0000 (03:41 -0600)] 
Add better support for .cmm test files.

Fixes Trac #7573.

Signed-off-by: Austin Seipp <mad.one@gmail.com>
6 years agoMerge branch 'master' of darcs.haskell.org:/srv/darcs//testsuite
Ian Lynagh [Wed, 16 Jan 2013 16:49:53 +0000 (16:49 +0000)] 
Merge branch 'master' of darcs.haskell.org:/srv/darcs//testsuite

6 years agoAdd a test for #7299
Ian Lynagh [Wed, 16 Jan 2013 16:40:30 +0000 (16:40 +0000)] 
Add a test for #7299

6 years agoMerge branch 'master' of http://darcs.haskell.org/testsuite
Simon Peyton Jones [Wed, 16 Jan 2013 15:34:01 +0000 (15:34 +0000)] 
Merge branch 'master' of darcs.haskell.org/testsuite

6 years agoAdd new test case T7585.
Richard Eisenberg [Tue, 15 Jan 2013 22:17:46 +0000 (17:17 -0500)] 
Add new test case T7585.

6 years agoMake tc226 have -O, so that the unboxing stuff happens
Simon Peyton Jones [Tue, 15 Jan 2013 14:53:57 +0000 (14:53 +0000)] 
Make tc226 have -O, so that the unboxing stuff happens

6 years agoFix test by adding an extra fundep to make the (HasSingleton (Maybe a) mp) instance...
Simon Peyton Jones [Tue, 15 Jan 2013 14:42:49 +0000 (14:42 +0000)] 
Fix test by adding an extra fundep to make the (HasSingleton (Maybe a) mp) instance legal

6 years agoFix Test by adding a fundep to make the (Concete a b) instance legal
Simon Peyton Jones [Tue, 15 Jan 2013 14:37:08 +0000 (14:37 +0000)] 
Fix Test by adding a fundep to make the (Concete a b) instance legal

6 years agoFix test by adding a fundep on class A,
Simon Peyton Jones [Tue, 15 Jan 2013 14:17:30 +0000 (14:17 +0000)] 
Fix test by adding a fundep on class A,
which makes the B instance legal again

6 years agoFix test by removing unnessary (and bogus) fundep
Simon Peyton Jones [Tue, 15 Jan 2013 14:14:42 +0000 (14:14 +0000)] 
Fix test by removing unnessary (and bogus) fundep

6 years agoMerge branch 'master' of http://darcs.haskell.org/testsuite
Simon Peyton Jones [Mon, 14 Jan 2013 16:48:20 +0000 (16:48 +0000)] 
Merge branch 'master' of darcs.haskell.org/testsuite

6 years agoAdd a missing FD on `Add`, otherwise the test is (correctly) rejected.
Iavor S. Diatchki [Mon, 14 Jan 2013 00:31:33 +0000 (16:31 -0800)] 
Add a missing FD on `Add`, otherwise the test is (correctly) rejected.

The reason is the we don't automatically inherit the FDs of
super-classes.

6 years agoAdd a test for #7563
Ian Lynagh [Sat, 12 Jan 2013 11:10:16 +0000 (11:10 +0000)] 
Add a test for #7563

6 years agoTest Trac #7562
Simon Peyton Jones [Thu, 10 Jan 2013 16:54:11 +0000 (16:54 +0000)] 
Test Trac #7562

6 years agoAdd test for #7361
Simon Marlow [Wed, 9 Jan 2013 16:51:19 +0000 (16:51 +0000)] 
Add test for #7361

6 years agoAdd new testcase for Trac #7560.
Richard Eisenberg [Wed, 9 Jan 2013 04:31:55 +0000 (23:31 -0500)] 
Add new testcase for Trac #7560.

6 years agoTest Trac #7279
Simon Peyton Jones [Tue, 8 Jan 2013 23:46:37 +0000 (23:46 +0000)] 
Test Trac #7279

6 years agoMerge branch 'master' of http://darcs.haskell.org/testsuite
Simon Peyton Jones [Tue, 8 Jan 2013 23:19:58 +0000 (23:19 +0000)] 
Merge branch 'master' of darcs.haskell.org/testsuite

6 years agoTest Trac #5366
Simon Peyton Jones [Tue, 8 Jan 2013 23:19:43 +0000 (23:19 +0000)] 
Test Trac #5366

6 years agoTest Trac #7454
Simon Peyton Jones [Tue, 8 Jan 2013 14:08:25 +0000 (14:08 +0000)] 
Test Trac #7454

6 years agoRe-do commit 1b8b7f47018eb33bebb0d7f3ee451f7d858a0f8f, which got lost by mistake
Simon Peyton Jones [Tue, 8 Jan 2013 12:14:47 +0000 (12:14 +0000)] 
Re-do commit 1b8b7f47018eb33bebb0d7f3ee451f7d858a0f8f, which got lost by mistake

6 years agoTypo in comments
Simon Peyton Jones [Tue, 8 Jan 2013 12:13:32 +0000 (12:13 +0000)] 
Typo in comments

6 years agoFix typo in extension flags
Simon Peyton Jones [Tue, 8 Jan 2013 12:13:15 +0000 (12:13 +0000)] 
Fix typo in extension flags

6 years agoAmbiguous-type wibbles
Simon Peyton Jones [Tue, 8 Jan 2013 12:13:02 +0000 (12:13 +0000)] 
Ambiguous-type wibbles

6 years agoMerge branch 'master' of http://darcs.haskell.org/testsuite
Simon Peyton Jones [Tue, 8 Jan 2013 08:33:25 +0000 (08:33 +0000)] 
Merge branch 'master' of darcs.haskell.org/testsuite

Conflicts:
tests/simplCore/should_compile/T7360.stderr

6 years agoWibbles to error messages and tests, following ambiguity-check changes
Simon Peyton Jones [Tue, 8 Jan 2013 08:30:05 +0000 (08:30 +0000)] 
Wibbles to error messages and tests, following ambiguity-check changes

6 years agoFix Word2Float# test on 32-bit
Johan Tibell [Tue, 8 Jan 2013 05:35:07 +0000 (21:35 -0800)] 
Fix Word2Float# test on 32-bit

6 years agoMerge branch 'master' of https://github.com/ghc/testsuite
Johan Tibell [Tue, 8 Jan 2013 02:00:45 +0000 (18:00 -0800)] 
Merge branch 'master' of https://github.com/ghc/testsuite

6 years agoMerge branch 'master' of http://darcs.haskell.org/testsuite
Simon Peyton Jones [Mon, 7 Jan 2013 11:37:32 +0000 (11:37 +0000)] 
Merge branch 'master' of darcs.haskell.org/testsuite

6 years agoWibble to test output after fixing Trac #7436
Simon Peyton Jones [Mon, 7 Jan 2013 11:37:21 +0000 (11:37 +0000)] 
Wibble to test output after fixing Trac #7436

6 years agoTest Trac #7436
Simon Peyton Jones [Mon, 7 Jan 2013 11:37:07 +0000 (11:37 +0000)] 
Test Trac #7436

6 years agoUpdated stderr outputs to reflect changes in FamInst
Richard Eisenberg [Sat, 5 Jan 2013 05:08:27 +0000 (00:08 -0500)] 
Updated stderr outputs to reflect changes in FamInst

6 years agoTest Trac #2431
Simon Peyton Jones [Fri, 4 Jan 2013 10:40:17 +0000 (10:40 +0000)] 
Test Trac #2431

6 years agoWibble to output, now that CaseElim is less aggressive.
Simon Peyton Jones [Fri, 4 Jan 2013 10:32:28 +0000 (10:32 +0000)] 
Wibble to output, now that CaseElim is less aggressive.

6 years agoEmptyCase is now an extension flag that GHC understands (but Cabal does not yet)
Simon Peyton Jones [Fri, 4 Jan 2013 10:32:13 +0000 (10:32 +0000)] 
EmptyCase is now an extension flag that GHC understands (but Cabal does not yet)

6 years agoTest Trac #7360
Simon Peyton Jones [Wed, 2 Jan 2013 16:48:47 +0000 (16:48 +0000)] 
Test Trac #7360

6 years agoTest Trac #7545
Simon Peyton Jones [Wed, 2 Jan 2013 16:23:44 +0000 (16:23 +0000)] 
Test Trac #7545

6 years agoMerge branch 'master' of http://darcs.haskell.org/testsuite
Simon Peyton Jones [Wed, 2 Jan 2013 12:59:53 +0000 (12:59 +0000)] 
Merge branch 'master' of darcs.haskell.org/testsuite

6 years agoTest Trac #7541
Simon Peyton Jones [Wed, 2 Jan 2013 12:36:17 +0000 (12:36 +0000)] 
Test Trac #7541

6 years agoTest Trac #7532
Simon Peyton Jones [Wed, 2 Jan 2013 12:35:26 +0000 (12:35 +0000)] 
Test Trac #7532

6 years agoTest Trac #7536
Simon Peyton Jones [Wed, 2 Jan 2013 08:53:58 +0000 (08:53 +0000)] 
Test Trac #7536

6 years agoFix T7160 segfault by importing debugBelch2
Joey Adams [Tue, 1 Jan 2013 03:21:40 +0000 (22:21 -0500)] 
Fix T7160 segfault by importing debugBelch2

6 years agoDon't run T7507 in ghci
Simon Peyton Jones [Mon, 24 Dec 2012 16:01:02 +0000 (16:01 +0000)] 
Don't run T7507 in ghci

6 years agoTest Trac #7507
Simon Peyton Jones [Mon, 24 Dec 2012 15:53:56 +0000 (15:53 +0000)] 
Test Trac #7507

6 years agoMerge branch 'master' of http://darcs.haskell.org/testsuite
Simon Peyton Jones [Mon, 24 Dec 2012 14:07:04 +0000 (14:07 +0000)] 
Merge branch 'master' of darcs.haskell.org/testsuite

Conflicts:
tests/typecheck/should_fail/all.T

6 years agoBump the residency of T4801
Simon Peyton Jones [Mon, 24 Dec 2012 14:04:45 +0000 (14:04 +0000)] 
Bump the residency of T4801

Residency is a very wobbly number; it depends on GC sampling time.
So I don't think this is a real regression.

6 years agoWibble to debug output
Simon Peyton Jones [Mon, 24 Dec 2012 10:55:14 +0000 (10:55 +0000)] 
Wibble to debug output

6 years agoMerge branch 'master' of http://darcs.haskell.org/testsuite
Simon Peyton Jones [Mon, 24 Dec 2012 09:50:23 +0000 (09:50 +0000)] 
Merge branch 'master' of darcs.haskell.org/testsuite

6 years agoTest Trac #7525
Simon Peyton Jones [Mon, 24 Dec 2012 09:49:29 +0000 (09:49 +0000)] 
Test Trac #7525

6 years agoMerge branch 'master' of http://darcs.haskell.org/testsuite
Simon Peyton Jones [Sun, 23 Dec 2012 15:51:55 +0000 (15:51 +0000)] 
Merge branch 'master' of darcs.haskell.org/testsuite

6 years agoImplement overlapping type family instances.
Richard Eisenberg [Sat, 22 Dec 2012 01:55:29 +0000 (20:55 -0500)] 
Implement overlapping type family instances.

An ordered, overlapping type family instance is introduced by 'type
instance
where', followed by equations. See the new section in the user manual
(7.7.2.2) for details. The canonical example is Boolean equality at the
type
level:

type family Equals (a :: k) (b :: k) :: Bool
type instance where
  Equals a a = True
  Equals a b = False

A branched family instance, such as this one, checks its equations in
order
and applies only the first the matches. As explained in the note
[Instance
checking within groups] in FamInstEnv.lhs, we must be careful not to
simplify,
say, (Equals Int b) to False, because b might later unify with Int.

This commit includes all of the commits on the overlapping-tyfams
branch. SPJ
requested that I combine all my commits over the past several months
into one
monolithic commit. The following GHC repos are affected: ghc, testsuite,
utils/haddock, libraries/template-haskell, and libraries/dph.

Here are some details for the interested:

- The definition of CoAxiom has been moved from TyCon.lhs to a
  new file CoAxiom.lhs. I made this decision because of the
  number of definitions necessary to support BranchList.

- BranchList is a GADT whose type tracks whether it is a
  singleton list or not-necessarily-a-singleton-list. The reason
  I introduced this type is to increase static checking of places
  where GHC code assumes that a FamInst or CoAxiom is indeed a
  singleton. This assumption takes place roughly 10 times
  throughout the code. I was worried that a future change to GHC
  would invalidate the assumption, and GHC might subtly fail to
  do the right thing. By explicitly labeling CoAxioms and
  FamInsts as being Unbranched (singleton) or
  Branched (not-necessarily-singleton), we make this assumption
  explicit and checkable. Furthermore, to enforce the accuracy of
  this label, the list of branches of a CoAxiom or FamInst is
  stored using a BranchList, whose constructors constrain its
  type index appropriately.

I think that the decision to use BranchList is probably the most
controversial decision I made from a code design point of view.
Although I provide conversions to/from ordinary lists, it is more
efficient to use the brList... functions provided in CoAxiom than
always to convert. The use of these functions does not wander far
from the core CoAxiom/FamInst logic.

BranchLists are motivated and explained in the note [Branched axioms] in
CoAxiom.lhs.

- The CoAxiom type has changed significantly. You can see the new
  type in CoAxiom.lhs. It uses a CoAxBranch type to track
  branches of the CoAxiom. Correspondingly various functions
  producing and consuming CoAxioms had to change, including the
  binary layout of interface files.

- To get branched axioms to work correctly, it is important to have a
  notion
  of type "apartness": two types are apart if they cannot unify, and no
  substitution of variables can ever get them to unify, even after type
family
  simplification. (This is different than the normal failure to unify
because
  of the type family bit.) This notion in encoded in tcApartTys, in
Unify.lhs.
  Because apartness is finer-grained than unification, the tcUnifyTys
now
  calls tcApartTys.

- CoreLinting axioms has been updated, both to reflect the new
  form of CoAxiom and to enforce the apartness rules of branch
  application. The formalization of the new rules is in
  docs/core-spec/core-spec.pdf.

- The FamInst type (in types/FamInstEnv.lhs) has changed
  significantly, paralleling the changes to CoAxiom. Of course,
  this forced minor changes in many files.

- There are several new Notes in FamInstEnv.lhs, including one
  discussing confluent overlap and why we're not doing it.

- lookupFamInstEnv, lookupFamInstEnvConflicts, and
  lookup_fam_inst_env' (the function that actually does the work)
  have all been more-or-less completely rewritten. There is a
  Note [lookup_fam_inst_env' implementation] describing the
  implementation. One of the changes that affects other files is
  to change the type of matches from a pair of (FamInst, [Type])
  to a new datatype (which now includes the index of the matching
  branch). This seemed a better design.

- The TySynInstD constructor in Template Haskell was updated to
  use the new datatype TySynEqn. I also bumped the TH version
  number, requiring changes to DPH cabal files. (That's why the
  DPH repo has an overlapping-tyfams branch.)

- As SPJ requested, I refactored some of the code in HsDecls:

 * splitting up TyDecl into SynDecl and DataDecl, correspondingly
   changing HsTyDefn to HsDataDefn (with only one constructor)

 * splitting FamInstD into TyFamInstD and DataFamInstD and
   splitting FamInstDecl into DataFamInstDecl and TyFamInstDecl

 * making the ClsInstD take a ClsInstDecl, for parallelism with
   InstDecl's other constructors

 * changing constructor TyFamily into FamDecl

 * creating a FamilyDecl type that stores the details for a family
   declaration; this is useful because FamilyDecls can appear in classes
but
   other decls cannot

 * restricting the associated types and associated type defaults for a
 * class
   to be the new, more restrictive types

 * splitting cid_fam_insts into cid_tyfam_insts and cid_datafam_insts,
   according to the new types

 * perhaps one or two more that I'm overlooking

None of these changes has far-reaching implications.

- The user manual, section 7.7.2.2, is updated to describe the new type
  family
  instances.

6 years agoAdd test for Trac #7488
Simon Peyton Jones [Fri, 21 Dec 2012 08:14:14 +0000 (08:14 +0000)] 
Add test for Trac #7488

6 years agoTest Trac #7368 (second example)
Simon Peyton Jones [Thu, 20 Dec 2012 21:08:59 +0000 (21:08 +0000)] 
Test Trac #7368 (second example)

6 years agoTest Trac #7489
Simon Peyton Jones [Wed, 19 Dec 2012 17:26:22 +0000 (17:26 +0000)] 
Test Trac #7489

6 years agoWibbles for new UNPACK stuff
Simon Peyton Jones [Wed, 19 Dec 2012 17:26:07 +0000 (17:26 +0000)] 
Wibbles for new UNPACK stuff

6 years agoTest Trac #7502
Simon Peyton Jones [Wed, 19 Dec 2012 17:25:33 +0000 (17:25 +0000)] 
Test Trac #7502

6 years agoTest Trac #7506
Simon Peyton Jones [Wed, 19 Dec 2012 17:25:09 +0000 (17:25 +0000)] 
Test Trac #7506

6 years agoperf test for Word->Float/Double conversion
Johan Tibell [Tue, 18 Dec 2012 13:40:02 +0000 (14:40 +0100)] 
perf test for Word->Float/Double conversion

6 years agoOnly run dynamicToo001 if we have both vanilla and dynamic libraries
Ian Lynagh [Fri, 14 Dec 2012 23:29:47 +0000 (23:29 +0000)] 
Only run dynamicToo001 if we have both vanilla and dynamic libraries

6 years agoAdd a test for -dynamic-too
Ian Lynagh [Fri, 14 Dec 2012 21:26:44 +0000 (21:26 +0000)] 
Add a test for -dynamic-too

6 years agoplugins*: Follow changes in ghc
Ian Lynagh [Fri, 14 Dec 2012 20:05:48 +0000 (20:05 +0000)] 
plugins*: Follow changes in ghc

6 years agoAdd test for word2Double# and word2Float#
Johan Tibell [Thu, 13 Dec 2012 20:03:40 +0000 (12:03 -0800)] 
Add test for word2Double# and word2Float#

6 years agoMerge branch 'master' of https://github.com/ghc/testsuite
Johan Tibell [Thu, 13 Dec 2012 15:50:12 +0000 (07:50 -0800)] 
Merge branch 'master' of https://github.com/ghc/testsuite

6 years agoT3294 now uses more space
Ian Lynagh [Thu, 13 Dec 2012 00:09:42 +0000 (00:09 +0000)] 
T3294 now uses more space

Reason unknown. The rise was present before
    commit d5b5d48881b3adbf3bd5e177ee6ef506e589b882
    Author: Ian Lynagh <ian@well-typed.com>
    Date:   Wed Dec 12 17:12:13 2012 +0000

    Use ByteString rather than FastBytes inside FastZString

    Slow nofib Compile Times difference looks like just noise:
    -1 s.d.        -2.9%
    +1 s.d.        +2.9%
    Average        -0.1%
however.

6 years agoAdd test for #7487
Jose Pedro Magalhaes [Mon, 10 Dec 2012 12:30:07 +0000 (12:30 +0000)] 
Add test for #7487

6 years agoAdd a test for #7474
Ian Lynagh [Sat, 8 Dec 2012 15:49:15 +0000 (15:49 +0000)] 
Add a test for #7474

6 years agoAdd a test for #7476
Ian Lynagh [Sat, 8 Dec 2012 12:19:32 +0000 (12:19 +0000)] 
Add a test for #7476

6 years agoMove UnboxStrictPrimitiveFields.hs to the right directory
Johan Tibell [Fri, 7 Dec 2012 18:17:34 +0000 (10:17 -0800)] 
Move UnboxStrictPrimitiveFields.hs to the right directory

6 years agodelete stray file
Simon Marlow [Fri, 7 Dec 2012 12:08:37 +0000 (12:08 +0000)] 
delete stray file

6 years agoadd test for #7478
Simon Marlow [Fri, 7 Dec 2012 12:08:28 +0000 (12:08 +0000)] 
add test for #7478

6 years agoMerge branch 'master' of http://darcs.haskell.org/testsuite
Simon Peyton Jones [Fri, 7 Dec 2012 10:22:35 +0000 (10:22 +0000)] 
Merge branch 'master' of darcs.haskell.org/testsuite

6 years agoTest Trac #7445
Simon Peyton Jones [Fri, 7 Dec 2012 10:22:12 +0000 (10:22 +0000)] 
Test Trac #7445

6 years agoAdd test for -funbox-strict-primitive-fields
Johan Tibell [Thu, 6 Dec 2012 19:26:38 +0000 (11:26 -0800)] 
Add test for -funbox-strict-primitive-fields

6 years agoNow that existential data constructors can be promoted T7347 passes
Simon Peyton Jones [Wed, 5 Dec 2012 11:09:18 +0000 (11:09 +0000)] 
Now that existential data constructors can be promoted T7347 passes

And test 'Holdermans' was simply a duplicate

6 years agoFix safePkg01
Ian Lynagh [Fri, 30 Nov 2012 23:28:04 +0000 (23:28 +0000)] 
Fix safePkg01

6 years agoMake some tests independent of the version number of the array package
Ian Lynagh [Fri, 30 Nov 2012 18:41:32 +0000 (18:41 +0000)] 
Make some tests independent of the version number of the array package

6 years agoUse python2 if it exists. Based on a patch from michalt. Fixes #7333.
Ian Lynagh [Fri, 30 Nov 2012 12:05:02 +0000 (12:05 +0000)] 
Use python2 if it exists. Based on a patch from michalt. Fixes #7333.

6 years agoTest for #7162: RULES that never fire automatically
Andrew Farmer [Thu, 4 Oct 2012 21:53:55 +0000 (16:53 -0500)] 
Test for #7162: RULES that never fire automatically

6 years agoMerge branch 'master' of https://github.com/ghc/testsuite
Johan Tibell [Fri, 30 Nov 2012 04:04:29 +0000 (20:04 -0800)] 
Merge branch 'master' of https://github.com/ghc/testsuite

6 years agoAdd a test for #7453
Ian Lynagh [Wed, 28 Nov 2012 02:40:18 +0000 (02:40 +0000)] 
Add a test for #7453

6 years agotest for #7231
Simon Marlow [Tue, 27 Nov 2012 08:54:38 +0000 (08:54 +0000)] 
test for #7231

6 years agoTest Trac #7408
Simon Peyton Jones [Mon, 26 Nov 2012 13:57:33 +0000 (13:57 +0000)] 
Test Trac #7408

6 years agoTest Trac #7404
Simon Peyton Jones [Mon, 26 Nov 2012 13:55:54 +0000 (13:55 +0000)] 
Test Trac #7404

6 years agoMerge branch 'master' of http://darcs.haskell.org/testsuite
Simon Peyton Jones [Mon, 26 Nov 2012 12:24:08 +0000 (12:24 +0000)] 
Merge branch 'master' of darcs.haskell.org/testsuite

Conflicts:
tests/typecheck/should_compile/all.T

6 years agoTest Trac #7451
Simon Peyton Jones [Mon, 26 Nov 2012 12:23:04 +0000 (12:23 +0000)] 
Test Trac #7451

6 years agoAccept error message improvement
Simon Peyton Jones [Mon, 26 Nov 2012 12:21:20 +0000 (12:21 +0000)] 
Accept error message improvement

6 years agoTest Trac #7410
Simon Peyton Jones [Sun, 25 Nov 2012 12:40:15 +0000 (12:40 +0000)] 
Test Trac #7410

7 years agoMake T7438 insensitive to the directory from which it is run
Ian Lynagh [Fri, 23 Nov 2012 18:48:51 +0000 (18:48 +0000)] 
Make T7438 insensitive to the directory from which it is run

7 years agoTest Trac #7438
Simon Peyton Jones [Fri, 23 Nov 2012 16:57:20 +0000 (16:57 +0000)] 
Test Trac #7438

7 years agoAdd regression test for #7433
Jose Pedro Magalhaes [Wed, 21 Nov 2012 13:18:58 +0000 (13:18 +0000)] 
Add regression test for #7433

7 years agoMerge branch 'master' of http://darcs.haskell.org/testsuite
Simon Peyton Jones [Wed, 21 Nov 2012 11:30:47 +0000 (11:30 +0000)] 
Merge branch 'master' of darcs.haskell.org/testsuite

7 years agoTest Trac #7422
Simon Peyton Jones [Wed, 21 Nov 2012 11:29:44 +0000 (11:29 +0000)] 
Test Trac #7422

7 years agoRemove the 'alone' modifier
Ian Lynagh [Sat, 17 Nov 2012 13:04:13 +0000 (13:04 +0000)] 
Remove the 'alone' modifier

7 years agoMake the plugin tests standalone
Ian Lynagh [Sat, 17 Nov 2012 13:03:13 +0000 (13:03 +0000)] 
Make the plugin tests standalone

7 years agoFix Check09 test; it depended on the exact version number of bytestring
Ian Lynagh [Sat, 17 Nov 2012 12:32:15 +0000 (12:32 +0000)] 
Fix Check09 test; it depended on the exact version number of bytestring

7 years agoFix safeHaskell/check/pkg01 tests
Ian Lynagh [Sat, 17 Nov 2012 03:16:29 +0000 (03:16 +0000)] 
Fix safeHaskell/check/pkg01 tests

They depended on the precise version of bytestring.

Also made them able to be run in parallel.

7 years agoFix some tests
Ian Lynagh [Sat, 17 Nov 2012 02:03:38 +0000 (02:03 +0000)] 
Fix some tests

They were depending on the exact bytestring version

7 years agoTest TypeHoles
Simon Peyton Jones [Fri, 16 Nov 2012 12:45:54 +0000 (12:45 +0000)] 
Test TypeHoles

7 years agoupdate 64-bit bounds
Simon Marlow [Mon, 12 Nov 2012 15:16:41 +0000 (15:16 +0000)] 
update 64-bit bounds

7 years agoupdate bounds
Simon Marlow [Mon, 12 Nov 2012 15:13:38 +0000 (15:13 +0000)] 
update bounds