OccName->FS in tyThingToIfaceDecl that moved to MkIface

Fix pattern w/o location in Check

OccName->FS change over for equalities in GADTs

Comments only
Wed Aug  2 05:00:03 EDT 2006  kevind@bu.edu

Correct grevious bug in mkSymCoercion
Tue Aug  1 08:53:05 EDT 2006  simonpj@microsoft.com

GADT tweaks
Mon Jul 31 12:42:07 EDT 2006  kevind@bu.edu

Configure changes to make testsuite work better on MSys
Fri Jul 28 06:49:35 EDT 2006  simonpj@microsoft.com

Remove Control-M from Coercion.hs
Thu Jul 27 04:07:46 EDT 2006  simonpj@microsoft.com

Add Coercion.lhs
- Extra patch as diff doesn't capture add files

Adding TcGadt.lhs
- Seperate patch as diff doesn't capture file adds
- Includes the patch:
  Wed Jul 26 08:23:35 EDT 2006  simonpj@microsoft.com
  Add a missing mkSymCoercion in TcGadt.uVar

Add a missing prime, to fix desugaring of CoPats
Wed Jul 26 08:23:11 EDT 2006  simonpj@microsoft.com

Comments and tidy-up
Wed Jul 26 08:22:50 EDT 2006  simonpj@microsoft.com

Fix a lint bug with coercions
Wed Jul 26 08:18:25 EDT 2006  simonpj@microsoft.com

GADT fixes
Wed Jul 26 06:00:53 EDT 2006  kevind@bu.edu

Add CoPat stuff
Wed Jul 19 09:55:27 EDT 2006  kevind@bu.edu

Resolve conflict in MkExternalCore
Thu Jul  6 09:55:27 EDT 2006  simonpj@microsoft.com

Massive patch for the first months work adding System FC to GHC #36

Broken up massive patch -=chak
Original log message:
This is (sadly) all done in one patch to avoid Darcs bugs.
It's not complete work... more FC stuff to come.  A compiler
using just this patch will fail dismally.

Massive patch for the first months work adding System FC to GHC #35

Broken up massive patch -=chak
Original log message:
This is (sadly) all done in one patch to avoid Darcs bugs.
It's not complete work... more FC stuff to come.  A compiler
using just this patch will fail dismally.

Massive patch for the first months work adding System FC to GHC #33

Broken up massive patch -=chak
Original log message:
This is (sadly) all done in one patch to avoid Darcs bugs.
It's not complete work... more FC stuff to come.  A compiler
using just this patch will fail dismally.

Massive patch for the first months work adding System FC to GHC #32

Broken up massive patch -=chak
Original log message:
This is (sadly) all done in one patch to avoid Darcs bugs.
It's not complete work... more FC stuff to come.  A compiler
using just this patch will fail dismally.

Massive patch for the first months work adding System FC to GHC #29

Broken up massive patch -=chak
Original log message:
This is (sadly) all done in one patch to avoid Darcs bugs.
It's not complete work... more FC stuff to come.  A compiler
using just this patch will fail dismally.

Massive patch for the first months work adding System FC to GHC #28

Broken up massive patch -=chak
Original log message:
This is (sadly) all done in one patch to avoid Darcs bugs.
It's not complete work... more FC stuff to come.  A compiler
using just this patch will fail dismally.

Massive patch for the first months work adding System FC to GHC #27

Broken up massive patch -=chak
Original log message:
This is (sadly) all done in one patch to avoid Darcs bugs.
It's not complete work... more FC stuff to come.  A compiler
using just this patch will fail dismally.

Massive patch for the first months work adding System FC to GHC #26

Broken up massive patch -=chak
Original log message:
This is (sadly) all done in one patch to avoid Darcs bugs.
It's not complete work... more FC stuff to come.  A compiler
using just this patch will fail dismally.

Massive patch for the first months work adding System FC to GHC #25

Broken up massive patch -=chak
Original log message:
This is (sadly) all done in one patch to avoid Darcs bugs.
It's not complete work... more FC stuff to come.  A compiler
using just this patch will fail dismally.

Massive patch for the first months work adding System FC to GHC #24

Broken up massive patch -=chak
Original log message:
This is (sadly) all done in one patch to avoid Darcs bugs.
It's not complete work... more FC stuff to come.  A compiler
using just this patch will fail dismally.

Massive patch for the first months work adding System FC to GHC #23

Broken up massive patch -=chak
Original log message:
This is (sadly) all done in one patch to avoid Darcs bugs.
It's not complete work... more FC stuff to come.  A compiler
using just this patch will fail dismally.

Massive patch for the first months work adding System FC to GHC #22

Broken up massive patch -=chak
Original log message:
This is (sadly) all done in one patch to avoid Darcs bugs.
It's not complete work... more FC stuff to come.  A compiler
using just this patch will fail dismally.

Massive patch for the first months work adding System FC to GHC #21

Broken up massive patch -=chak
Original log message:
This is (sadly) all done in one patch to avoid Darcs bugs.
It's not complete work... more FC stuff to come.  A compiler
using just this patch will fail dismally.

Massive patch for the first months work adding System FC to GHC #19

Broken up massive patch -=chak
Original log message:
This is (sadly) all done in one patch to avoid Darcs bugs.
It's not complete work... more FC stuff to come.  A compiler
using just this patch will fail dismally.

Massive patch for the first months work adding System FC to GHC #18

Broken up massive patch -=chak
Original log message:
This is (sadly) all done in one patch to avoid Darcs bugs.
It's not complete work... more FC stuff to come.  A compiler
using just this patch will fail dismally.

Massive patch for the first months work adding System FC to GHC #17

Broken up massive patch -=chak
Original log message:
This is (sadly) all done in one patch to avoid Darcs bugs.
It's not complete work... more FC stuff to come.  A compiler
using just this patch will fail dismally.

Massive patch for the first months work adding System FC to GHC #16

Broken up massive patch -=chak
Original log message:
This is (sadly) all done in one patch to avoid Darcs bugs.
It's not complete work... more FC stuff to come.  A compiler
using just this patch will fail dismally.

Massive patch for the first months work adding System FC to GHC #15

Broken up massive patch -=chak
Original log message:
This is (sadly) all done in one patch to avoid Darcs bugs.
It's not complete work... more FC stuff to come.  A compiler
using just this patch will fail dismally.

Massive patch for the first months work adding System FC to GHC #13

Broken up massive patch -=chak
Original log message:
This is (sadly) all done in one patch to avoid Darcs bugs.
It's not complete work... more FC stuff to come.  A compiler
using just this patch will fail dismally.

Massive patch for the first months work adding System FC to GHC #12

Broken up massive patch -=chak
Original log message:
This is (sadly) all done in one patch to avoid Darcs bugs.
It's not complete work... more FC stuff to come.  A compiler
using just this patch will fail dismally.

Massive patch for the first months work adding System FC to GHC #11

Broken up massive patch -=chak
Original log message:
This is (sadly) all done in one patch to avoid Darcs bugs.
It's not complete work... more FC stuff to come.  A compiler
using just this patch will fail dismally.

Massive patch for the first months work adding System FC to GHC #10

Broken up massive patch -=chak
Original log message:
This is (sadly) all done in one patch to avoid Darcs bugs.
It's not complete work... more FC stuff to come.  A compiler
using just this patch will fail dismally.

Massive patch for the first months work adding System FC to GHC #9

Broken up massive patch -=chak
Original log message:
This is (sadly) all done in one patch to avoid Darcs bugs.
It's not complete work... more FC stuff to come.  A compiler
using just this patch will fail dismally.

Massive patch for the first months work adding System FC to GHC #8

Broken up massive patch -=chak
Original log message:
This is (sadly) all done in one patch to avoid Darcs bugs.
It's not complete work... more FC stuff to come.  A compiler
using just this patch will fail dismally.

Massive patch for the first months work adding System FC to GHC #7

Broken up massive patch -=chak
Original log message:
This is (sadly) all done in one patch to avoid Darcs bugs.
It's not complete work... more FC stuff to come.  A compiler
using just this patch will fail dismally.

Massive patch for the first months work adding System FC to GHC #6

Broken up massive patch -=chak
Original log message:
This is (sadly) all done in one patch to avoid Darcs bugs.
It's not complete work... more FC stuff to come.  A compiler
using just this patch will fail dismally.

Massive patch for the first months work adding System FC to GHC #5

Broken up massive patch -=chak
Original log message:
This is (sadly) all done in one patch to avoid Darcs bugs.
It's not complete work... more FC stuff to come.  A compiler
using just this patch will fail dismally.

Massive patch for the first months work adding System FC to GHC #4

Broken up massive patch -=chak
Original log message:
This is (sadly) all done in one patch to avoid Darcs bugs.
It's not complete work... more FC stuff to come.  A compiler
using just this patch will fail dismally.

Massive patch for the first months work adding System FC to GHC #2

Broken up massive patch -=chak
Original log message:
This is (sadly) all done in one patch to avoid Darcs bugs.
It's not complete work... more FC stuff to come.  A compiler
using just this patch will fail dismally.

Comments only

Add new field to TySynonym

Make 'iso' special in the parser

Add missing Cast cases to libCase and scExpr

Make mkApps etc infix, and left-associative

A somewhat subtle (FC-related) bug concerning the monomorphism restriction

Add some type signatures

A class in an interface file defines the CoTyCon of its class tyocn

Tiny comment change (darcs test only)

Currently we don't build cabal-setup

Packages cleanup, and allow new packages to be loaded with :set again

This cleans up the package subsystem a little.  There are some
changes to the GHC API as a result.

  - GHC.init and GHC.initFromArgs are no longer necessary.

  - GHC.newSession takes the root of the GHC tree as an argument
    (previously passed to GHC.init).

  - You *must* do GHC.setSessionDynFlags after GHC.newSession,
    this is what loads the package database.

  - Several global vars removed from SysTools

  - The :set command in GHCi can now cause new packages to be loaded,
    or can hide/ignore existing packages.

one more boring file

fix one boring file

unused imports

add boring files from a build tree

remove old comment

unused import

some updates

use ghc-pkg --force-files, and update command-line syntax

add --force-files, like --force but doesn't allow missing dependencies

emit an error if the user ran autoconf instead of autoreconf

Sanity check that all the core packages are present
To catch the case of not running darcs-all get.

reformat import

minor reformatting

compiler/ isn't boring

Added parsing rule for BangPattern in case expr

Fix a bug in subsumption, and tweak error messages

This commit does two largely-unrelated things, but they hit the same code.

First, I tweaked the error messages a bit, to give better errors
for impredicative polymorphism.  This added the mb_fun argument to
tc_sub.

Second, I fixed a long-standing bug in tc_sub.  In the isBoxyTyVar case
of tc_sub (rule F2) I was not recursing to tc_sub as the rule suggests,
but rather calling u_tys.  This is plain wrong, because the first
arugment might have more foralls.

The solution is to recurse to tc_sub, but that in turn requires a parameter,
exp_ib, which says when we are inside a box.

Test is tc210.

Comments

Ensure that only zonked poly_ids are passed to tcSpecPrag

This is a long-standing bug really (Trac #900).  The poly_id passed
to tcSpecPrag should be zonked, else it calls tcSubExp with a non-zonked
type; but that contradicts the latter's invariant.

I ended up doing a bit of refactoring too.  The extra lines are
comments I think; the code line count is reduced.

Test is tc212.hs

Comments only

Add a missing renamer dump (related to Template Haskell)

Instantiate data constructor type variables with the type constructor type variables in constraints for derived class instances. Fixes instance deriving for GADTs which declar H98 types, closing ticket #902.

Fixed error in user's manual, gadt section, part about deriving. Data constructor type was Maybe, should be Maybe1.

Replace "&" with "and" as this also gets pulled into the docbook docs

move the "meat" into the wiki, this file just contains pointers now

Another s/autrijus/audreyt/ in comments.

Take away XXXs in GADT records related code that are no longer TODOs.

Fix ~2000 second profiling time wrapping bug

Add postfix ops to the release notes

Document postfix operators

Simplify desugaring of left sections

MERGE TO 6.6 branch!

Some while ago I made the type checker a tiny bit more lenient about
left sections, so that
(x !)
would typecheck iff
((!) x)
typechecks.

Strictly, Haskell 98 requires that the section typechecks iff
(\y. (!) x y)
typechecks, and I should really have made the relaxation dependent on a
flag, but I didn't.

Anyway, this commit fixes the *desugarer* so that it correctly desugars
the programs that the typechecker passes.

Add comment

Fix warnings traceBegin/traceEnd implicitly declared

Fix linking to expf on Windows

adapt stylesheet to example-contents class used by xsltproc

8 byte align data. Fixes SIBGUSs on HPPA/Linux.

We now need alex >= 2.0.1

remove generated files in a 'finally' manner

Catch errors in pattern matching for unboxed tuples

When fiddling with pattern-matching for unboxed tuples, I'd messed up
the slightly-tricky tests for pattern matching on unboxed tuples, notably
case (# foo, bar #) of r -> ...r...

The fix is in TcPat, and test are tcfail115, tcfail120, and tc209

Typo, spotted by Bulat Ziganshin

Release note tweaks suggested by Bulat Ziganshin

Doc fix: generic classes are no longer broken
Spotted by Bulat Ziganshin.

Fixed typo in users guide section about lexically scoped type variables.

If we get an unknown or unimplemented opcode, say what it is

remove __HUGS__ #if's (Hugs uses the standalone version)