Remove checkTopTypeD
Tue Aug 15 17:02:53 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * Remove checkTopTypeD

Remove argument variance info of tycons
Fri Aug 11 13:53:24 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * Remove argument variance info of tycons
  - Following SPJ's suggestion, this patch removes the variance information from
    type constructors.  This information was computed, but never used.

  ** WARNING: This patch changes the format of interface files **
  **          You will need to rebuild from scratch.           **

Don't lift ATs out of classes and instances before tc
Wed Aug  9 15:31:08 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * Don't lift ATs out of classes and instances before tc

Indexed type defs are not declaring type names
Tue Aug  8 19:27:31 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * Indexed type defs are not declaring type names

Deriving Eq for OverlapFlag again
Mon Aug  7 11:15:21 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * Deriving Eq for OverlapFlag again

fix out-of-scope variable
Sun Aug  6 20:09:58 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * fix out-of-scope variable
  Fri Jul 28 13:40:36 EDT 2006  kevind@bu.edu

GADT pattern matching fix
Sun Aug  6 17:01:59 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * GADT pattern matching fix
  Wed Jul 19 10:53:09 EDT 2006  kevind@bu.edu

Simplify mkDataCon slightly
Sat Aug  5 21:42:48 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * Simplify mkDataCon slightly
  Fri Jul 14 12:48:50 EDT 2006  simonpj@microsoft.com

Partial changes for derived newtype instances
Sat Aug  5 21:16:57 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * Partial changes for derived newtype instances
  Fri Jul  7 05:45:15 EDT 2006  simonpj@microsoft.com

Massive patch for the first months work adding System FC to GHC #3
Fri Aug  4 15:21:36 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * Massive patch for the first months work adding System FC to GHC #3

  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 #1
Fri Aug  4 15:11:01 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * Massive patch for the first months work adding System FC to GHC #1
  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 #31
Fri Aug  4 18:13:56 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * Massive patch for the first months work adding System FC to GHC #31

  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 #30
Fri Aug  4 18:13:20 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * Massive patch for the first months work adding System FC to GHC #30

  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 #14
Fri Aug  4 15:59:09 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * Massive patch for the first months work adding System FC to GHC #14

  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.

Added error checks & fixed bugs
Thu Aug  3 19:29:38 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * Added error checks & fixed bugs

Fix class construction
Wed Aug  2 13:34:58 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * Fix class construction

Renaming of indexed types
Tue Aug  1 23:51:38 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * Renaming of indexed types

Renaming of kind signatures (rnTySig)
Tue Aug  1 16:39:51 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * Renaming of kind signatures (rnTySig)

Revised kind signatures
Tue Aug  1 14:10:39 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * Revised kind signatures

Cleanup (re type function parsing)
Mon Jul 31 17:20:56 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * Cleanup (re type function parsing)

Parser support for assoc synonyms
Fri Jul 28 21:52:46 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * Parser support for assoc synonyms

Fix migrated AT support
Wed Jul 26 18:16:25 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * Fix migrated AT support
  - Make it compile
  - Successfully parses and renames simple AT declarations
  - Should not affect non-AT programs

Migrate cvs diff from fptools-assoc branch
Wed Jul 26 17:46:55 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * Migrate cvs diff from fptools-assoc branch
  - Syntactic support for associated types
  - Renamer support for associated types
  - ATs are only allowed with -fglasgow-exts
  - Handle ATs in the type and class declaration kinding knot-tying exercise

Comment on the commoning up of CoPats in Match

Add comment for the invariant that DataAlt is never a newtype

Comments only

Change ASSERT to WARN

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