ghc-hetmet.git
14 years agoMigrate cvs diff from fptools-assoc branch
Manuel M T Chakravarty [Fri, 15 Sep 2006 20:43:38 +0000 (20:43 +0000)]
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

14 years agoComment on the commoning up of CoPats in Match
simonpj@microsoft.com [Wed, 6 Sep 2006 11:42:23 +0000 (11:42 +0000)]
Comment on the commoning up of CoPats in Match

14 years agoAdd comment for the invariant that DataAlt is never a newtype
simonpj@microsoft.com [Wed, 6 Sep 2006 11:41:55 +0000 (11:41 +0000)]
Add comment for the invariant that DataAlt is never a newtype

14 years agoComments only
simonpj@microsoft.com [Mon, 4 Sep 2006 13:55:13 +0000 (13:55 +0000)]
Comments only

14 years agoChange ASSERT to WARN
simonpj@microsoft.com [Wed, 9 Aug 2006 08:46:20 +0000 (08:46 +0000)]
Change ASSERT to WARN

14 years agoOccName->FS in tyThingToIfaceDecl that moved to MkIface
Manuel M T Chakravarty [Mon, 7 Aug 2006 17:38:39 +0000 (17:38 +0000)]
OccName->FS in tyThingToIfaceDecl that moved to MkIface

14 years agoFix pattern w/o location in Check
Manuel M T Chakravarty [Mon, 7 Aug 2006 17:09:53 +0000 (17:09 +0000)]
Fix pattern w/o location in Check

14 years agoOccName->FS change over for equalities in GADTs
Manuel M T Chakravarty [Mon, 7 Aug 2006 15:16:34 +0000 (15:16 +0000)]
OccName->FS change over for equalities in GADTs

14 years agoComments only
Manuel M T Chakravarty [Mon, 7 Aug 2006 00:46:13 +0000 (00:46 +0000)]
Comments only
Wed Aug  2 05:00:03 EDT 2006  kevind@bu.edu

14 years agoCorrect grevious bug in mkSymCoercion
Manuel M T Chakravarty [Mon, 7 Aug 2006 00:31:40 +0000 (00:31 +0000)]
Correct grevious bug in mkSymCoercion
Tue Aug  1 08:53:05 EDT 2006  simonpj@microsoft.com

14 years agoGADT tweaks
Manuel M T Chakravarty [Mon, 7 Aug 2006 00:23:45 +0000 (00:23 +0000)]
GADT tweaks
Mon Jul 31 12:42:07 EDT 2006  kevind@bu.edu

14 years agoConfigure changes to make testsuite work better on MSys
Manuel M T Chakravarty [Mon, 7 Aug 2006 00:05:18 +0000 (00:05 +0000)]
Configure changes to make testsuite work better on MSys
Fri Jul 28 06:49:35 EDT 2006  simonpj@microsoft.com

14 years agoRemove Control-M from Coercion.hs
Manuel M T Chakravarty [Sun, 6 Aug 2006 23:59:25 +0000 (23:59 +0000)]
Remove Control-M from Coercion.hs
Thu Jul 27 04:07:46 EDT 2006  simonpj@microsoft.com

14 years agoAdd Coercion.lhs
Manuel M T Chakravarty [Sun, 6 Aug 2006 21:40:25 +0000 (21:40 +0000)]
Add Coercion.lhs
- Extra patch as diff doesn't capture add files

14 years agoAdding TcGadt.lhs
Manuel M T Chakravarty [Sun, 6 Aug 2006 21:35:23 +0000 (21:35 +0000)]
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

14 years agoAdd a missing prime, to fix desugaring of CoPats
Manuel M T Chakravarty [Sun, 6 Aug 2006 21:27:11 +0000 (21:27 +0000)]
Add a missing prime, to fix desugaring of CoPats
Wed Jul 26 08:23:11 EDT 2006  simonpj@microsoft.com

14 years agoComments and tidy-up
Manuel M T Chakravarty [Sun, 6 Aug 2006 21:26:28 +0000 (21:26 +0000)]
Comments and tidy-up
Wed Jul 26 08:22:50 EDT 2006  simonpj@microsoft.com

14 years agoFix a lint bug with coercions
Manuel M T Chakravarty [Sun, 6 Aug 2006 21:21:11 +0000 (21:21 +0000)]
Fix a lint bug with coercions
Wed Jul 26 08:18:25 EDT 2006  simonpj@microsoft.com

14 years agoGADT fixes
Manuel M T Chakravarty [Sun, 6 Aug 2006 21:20:26 +0000 (21:20 +0000)]
GADT fixes
Wed Jul 26 06:00:53 EDT 2006  kevind@bu.edu

14 years agoAdd CoPat stuff
Manuel M T Chakravarty [Sun, 6 Aug 2006 21:00:58 +0000 (21:00 +0000)]
Add CoPat stuff
Wed Jul 19 09:55:27 EDT 2006  kevind@bu.edu

14 years agoResolve conflict in MkExternalCore
Manuel M T Chakravarty [Sun, 6 Aug 2006 01:10:28 +0000 (01:10 +0000)]
Resolve conflict in MkExternalCore
Thu Jul  6 09:55:27 EDT 2006  simonpj@microsoft.com

14 years agoMassive patch for the first months work adding System FC to GHC #36
Manuel M T Chakravarty [Fri, 4 Aug 2006 22:24:36 +0000 (22:24 +0000)]
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.

14 years agoMassive patch for the first months work adding System FC to GHC #35
Manuel M T Chakravarty [Fri, 4 Aug 2006 22:23:51 +0000 (22:23 +0000)]
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.

14 years agoMassive patch for the first months work adding System FC to GHC #33
Manuel M T Chakravarty [Fri, 4 Aug 2006 22:14:55 +0000 (22:14 +0000)]
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.

14 years agoMassive patch for the first months work adding System FC to GHC #32
Manuel M T Chakravarty [Fri, 4 Aug 2006 22:14:23 +0000 (22:14 +0000)]
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.

14 years agoMassive patch for the first months work adding System FC to GHC #29
Manuel M T Chakravarty [Fri, 4 Aug 2006 22:12:21 +0000 (22:12 +0000)]
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.

14 years agoMassive patch for the first months work adding System FC to GHC #28
Manuel M T Chakravarty [Fri, 4 Aug 2006 22:11:48 +0000 (22:11 +0000)]
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.

14 years agoMassive patch for the first months work adding System FC to GHC #27
Manuel M T Chakravarty [Fri, 4 Aug 2006 22:10:01 +0000 (22:10 +0000)]
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.

14 years agoMassive patch for the first months work adding System FC to GHC #26
Manuel M T Chakravarty [Fri, 4 Aug 2006 22:06:14 +0000 (22:06 +0000)]
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.

14 years agoMassive patch for the first months work adding System FC to GHC #25
Manuel M T Chakravarty [Fri, 4 Aug 2006 22:05:26 +0000 (22:05 +0000)]
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.

14 years agoMassive patch for the first months work adding System FC to GHC #24
Manuel M T Chakravarty [Fri, 4 Aug 2006 22:04:23 +0000 (22:04 +0000)]
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.

14 years agoMassive patch for the first months work adding System FC to GHC #23
Manuel M T Chakravarty [Fri, 4 Aug 2006 21:58:46 +0000 (21:58 +0000)]
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.

14 years agoMassive patch for the first months work adding System FC to GHC #22
Manuel M T Chakravarty [Fri, 4 Aug 2006 21:56:42 +0000 (21:56 +0000)]
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.

14 years agoMassive patch for the first months work adding System FC to GHC #21
Manuel M T Chakravarty [Fri, 4 Aug 2006 21:54:14 +0000 (21:54 +0000)]
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.

14 years agoMassive patch for the first months work adding System FC to GHC #19
Manuel M T Chakravarty [Fri, 4 Aug 2006 21:39:46 +0000 (21:39 +0000)]
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.

14 years agoMassive patch for the first months work adding System FC to GHC #18
Manuel M T Chakravarty [Fri, 4 Aug 2006 21:36:10 +0000 (21:36 +0000)]
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.

14 years agoMassive patch for the first months work adding System FC to GHC #17
Manuel M T Chakravarty [Fri, 4 Aug 2006 21:21:40 +0000 (21:21 +0000)]
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.

14 years agoMassive patch for the first months work adding System FC to GHC #16
Manuel M T Chakravarty [Fri, 4 Aug 2006 21:19:12 +0000 (21:19 +0000)]
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.

14 years agoMassive patch for the first months work adding System FC to GHC #15
Manuel M T Chakravarty [Fri, 4 Aug 2006 20:01:05 +0000 (20:01 +0000)]
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.

14 years agoMassive patch for the first months work adding System FC to GHC #13
Manuel M T Chakravarty [Fri, 4 Aug 2006 19:57:34 +0000 (19:57 +0000)]
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.

14 years agoMassive patch for the first months work adding System FC to GHC #12
Manuel M T Chakravarty [Fri, 4 Aug 2006 19:56:07 +0000 (19:56 +0000)]
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.

14 years agoMassive patch for the first months work adding System FC to GHC #11
Manuel M T Chakravarty [Fri, 4 Aug 2006 19:54:06 +0000 (19:54 +0000)]
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.

14 years agoMassive patch for the first months work adding System FC to GHC #10
Manuel M T Chakravarty [Fri, 4 Aug 2006 19:51:45 +0000 (19:51 +0000)]
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.

14 years agoMassive patch for the first months work adding System FC to GHC #9
Manuel M T Chakravarty [Fri, 4 Aug 2006 19:49:08 +0000 (19:49 +0000)]
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.

14 years agoMassive patch for the first months work adding System FC to GHC #8
Manuel M T Chakravarty [Fri, 4 Aug 2006 19:39:05 +0000 (19:39 +0000)]
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.

14 years agoMassive patch for the first months work adding System FC to GHC #7
Manuel M T Chakravarty [Fri, 4 Aug 2006 19:37:19 +0000 (19:37 +0000)]
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.

14 years agoMassive patch for the first months work adding System FC to GHC #6
Manuel M T Chakravarty [Fri, 4 Aug 2006 19:35:30 +0000 (19:35 +0000)]
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.

14 years agoMassive patch for the first months work adding System FC to GHC #5
Manuel M T Chakravarty [Fri, 4 Aug 2006 19:24:00 +0000 (19:24 +0000)]
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.

14 years agoMassive patch for the first months work adding System FC to GHC #4
Manuel M T Chakravarty [Fri, 4 Aug 2006 19:23:02 +0000 (19:23 +0000)]
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.

14 years agoMassive patch for the first months work adding System FC to GHC #2
Manuel M T Chakravarty [Fri, 4 Aug 2006 19:19:37 +0000 (19:19 +0000)]
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.

14 years agoComments only
simonpj@microsoft.com [Fri, 4 Aug 2006 08:24:03 +0000 (08:24 +0000)]
Comments only

14 years agoAdd new field to TySynonym
Manuel M T Chakravarty [Wed, 2 Aug 2006 17:10:52 +0000 (17:10 +0000)]
Add new field to TySynonym

14 years agoMake 'iso' special in the parser
Manuel M T Chakravarty [Wed, 2 Aug 2006 14:06:30 +0000 (14:06 +0000)]
Make 'iso' special in the parser

14 years agoAdd missing Cast cases to libCase and scExpr
kevind@bu.edu [Tue, 1 Aug 2006 10:50:31 +0000 (10:50 +0000)]
Add missing Cast cases to libCase and scExpr

14 years agoMake mkApps etc infix, and left-associative
simonpj@microsoft.com [Wed, 26 Jul 2006 12:18:07 +0000 (12:18 +0000)]
Make mkApps etc infix, and left-associative

14 years agoA somewhat subtle (FC-related) bug concerning the monomorphism restriction
simonpj@microsoft.com [Wed, 26 Jul 2006 09:46:55 +0000 (09:46 +0000)]
A somewhat subtle (FC-related) bug concerning the monomorphism restriction

14 years agoAdd some type signatures
simonpj@microsoft.com [Fri, 14 Jul 2006 16:50:11 +0000 (16:50 +0000)]
Add some type signatures

14 years agoA class in an interface file defines the CoTyCon of its class tyocn
simonpj@microsoft.com [Thu, 13 Jul 2006 21:34:18 +0000 (21:34 +0000)]
A class in an interface file defines the CoTyCon of its class tyocn

14 years agoTiny comment change (darcs test only)
simonpj@microsoft.com [Thu, 6 Jul 2006 16:51:02 +0000 (16:51 +0000)]
Tiny comment change (darcs test only)

14 years agoCurrently we don't build cabal-setup Before_FC_branch_merge
sven.panne@aedion.de [Tue, 19 Sep 2006 08:17:59 +0000 (08:17 +0000)]
Currently we don't build cabal-setup

14 years agoPackages cleanup, and allow new packages to be loaded with :set again
Simon Marlow [Tue, 19 Sep 2006 01:24:48 +0000 (01:24 +0000)]
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.

14 years agoone more boring file
Simon Marlow [Tue, 19 Sep 2006 01:18:49 +0000 (01:18 +0000)]
one more boring file

14 years agofix one boring file
Simon Marlow [Tue, 19 Sep 2006 01:18:23 +0000 (01:18 +0000)]
fix one boring file

14 years agounused imports
Simon Marlow [Tue, 19 Sep 2006 01:17:46 +0000 (01:17 +0000)]
unused imports

14 years agoadd boring files from a build tree
Simon Marlow [Tue, 19 Sep 2006 01:17:22 +0000 (01:17 +0000)]
add boring files from a build tree

14 years agoremove old comment
Simon Marlow [Tue, 19 Sep 2006 01:03:33 +0000 (01:03 +0000)]
remove old comment

14 years agounused import
Simon Marlow [Tue, 19 Sep 2006 01:03:03 +0000 (01:03 +0000)]
unused import

14 years agosome updates
Simon Marlow [Mon, 18 Sep 2006 23:29:24 +0000 (23:29 +0000)]
some updates

14 years agouse ghc-pkg --force-files, and update command-line syntax
Simon Marlow [Mon, 18 Sep 2006 23:29:03 +0000 (23:29 +0000)]
use ghc-pkg --force-files, and update command-line syntax

14 years agoadd --force-files, like --force but doesn't allow missing dependencies
Simon Marlow [Mon, 18 Sep 2006 23:28:34 +0000 (23:28 +0000)]
add --force-files, like --force but doesn't allow missing dependencies

14 years agoemit an error if the user ran autoconf instead of autoreconf
Simon Marlow [Sat, 16 Sep 2006 08:42:05 +0000 (08:42 +0000)]
emit an error if the user ran autoconf instead of autoreconf

14 years agoSanity check that all the core packages are present
Simon Marlow [Sat, 16 Sep 2006 07:05:29 +0000 (07:05 +0000)]
Sanity check that all the core packages are present
To catch the case of not running darcs-all get.

14 years agoreformat import
Simon Marlow [Wed, 13 Sep 2006 10:35:12 +0000 (10:35 +0000)]
reformat import

14 years agominor reformatting
Simon Marlow [Wed, 13 Sep 2006 10:34:27 +0000 (10:34 +0000)]
minor reformatting

14 years agocompiler/ isn't boring
Simon Marlow [Wed, 13 Sep 2006 02:13:00 +0000 (02:13 +0000)]
compiler/ isn't boring

14 years agoAdded parsing rule for BangPattern in case expr
Markus Lauer [Mon, 18 Sep 2006 16:18:50 +0000 (16:18 +0000)]
Added parsing rule for BangPattern in case expr

14 years agoFix a bug in subsumption, and tweak error messages
simonpj@microsoft.com [Mon, 18 Sep 2006 00:52:23 +0000 (00:52 +0000)]
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.

14 years agoComments
simonpj@microsoft.com [Mon, 18 Sep 2006 00:51:42 +0000 (00:51 +0000)]
Comments

14 years agoEnsure that only zonked poly_ids are passed to tcSpecPrag
simonpj@microsoft.com [Mon, 18 Sep 2006 00:48:05 +0000 (00:48 +0000)]
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

14 years agoComments only
simonpj@microsoft.com [Mon, 18 Sep 2006 00:41:09 +0000 (00:41 +0000)]
Comments only

14 years agoAdd a missing renamer dump (related to Template Haskell)
simonpj@microsoft.com [Sun, 17 Sep 2006 17:17:07 +0000 (17:17 +0000)]
Add a missing renamer dump (related to Template Haskell)

14 years agoInstantiate data constructor type variables with the type constructor type variables...
bringert@cs.chalmers.se [Fri, 15 Sep 2006 23:33:15 +0000 (23:33 +0000)]
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.

14 years agoFixed error in user's manual, gadt section, part about deriving. Data constructor...
bringert@cs.chalmers.se [Fri, 15 Sep 2006 23:05:17 +0000 (23:05 +0000)]
Fixed error in user's manual, gadt section, part about deriving. Data constructor type was Maybe, should be Maybe1.

14 years agoReplace "&" with "and" as this also gets pulled into the docbook docs
Ian Lynagh [Tue, 12 Sep 2006 12:56:17 +0000 (12:56 +0000)]
Replace "&" with "and" as this also gets pulled into the docbook docs

14 years agomove the "meat" into the wiki, this file just contains pointers now
Simon Marlow [Mon, 11 Sep 2006 13:50:37 +0000 (13:50 +0000)]
move the "meat" into the wiki, this file just contains pointers now

14 years agoAnother s/autrijus/audreyt/ in comments.
audreyt@audreyt.org [Tue, 12 Sep 2006 12:13:23 +0000 (12:13 +0000)]
Another s/autrijus/audreyt/ in comments.

14 years agoTake away XXXs in GADT records related code that are no longer TODOs.
audreyt@audreyt.org [Tue, 12 Sep 2006 12:09:42 +0000 (12:09 +0000)]
Take away XXXs in GADT records related code that are no longer TODOs.

14 years agoFix ~2000 second profiling time wrapping bug
Ian Lynagh [Mon, 11 Sep 2006 22:32:10 +0000 (22:32 +0000)]
Fix ~2000 second profiling time wrapping bug

14 years agoAdd postfix ops to the release notes
simonpj@microsoft.com [Tue, 12 Sep 2006 08:11:04 +0000 (08:11 +0000)]
Add postfix ops to the release notes

14 years agoDocument postfix operators
simonpj@microsoft.com [Mon, 11 Sep 2006 16:28:43 +0000 (16:28 +0000)]
Document postfix operators

14 years agoSimplify desugaring of left sections
simonpj@microsoft.com [Mon, 11 Sep 2006 08:35:10 +0000 (08:35 +0000)]
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.

14 years agoAdd comment
simonpj@microsoft.com [Mon, 11 Sep 2006 08:34:40 +0000 (08:34 +0000)]
Add comment

14 years agoFix warnings traceBegin/traceEnd implicitly declared
Ian Lynagh [Sun, 10 Sep 2006 20:06:11 +0000 (20:06 +0000)]
Fix warnings traceBegin/traceEnd implicitly declared

14 years agoFix linking to expf on Windows
Ian Lynagh [Sun, 10 Sep 2006 14:15:06 +0000 (14:15 +0000)]
Fix linking to expf on Windows

14 years agoadapt stylesheet to example-contents class used by xsltproc
Ross Paterson [Sun, 10 Sep 2006 14:39:41 +0000 (14:39 +0000)]
adapt stylesheet to example-contents class used by xsltproc

14 years ago8 byte align data. Fixes SIBGUSs on HPPA/Linux.
Ian Lynagh [Sat, 9 Sep 2006 10:24:45 +0000 (10:24 +0000)]
8 byte align data. Fixes SIBGUSs on HPPA/Linux.

14 years agoWe now need alex >= 2.0.1
Ian Lynagh [Fri, 8 Sep 2006 19:17:06 +0000 (19:17 +0000)]
We now need alex >= 2.0.1

14 years agoremove generated files in a 'finally' manner
sof@galois.com [Sat, 9 Sep 2006 14:44:32 +0000 (14:44 +0000)]
remove generated files in a 'finally' manner

14 years agoCatch errors in pattern matching for unboxed tuples
simonpj@microsoft.com [Fri, 8 Sep 2006 09:52:17 +0000 (09:52 +0000)]
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

14 years agoTypo, spotted by Bulat Ziganshin
Ian Lynagh [Fri, 8 Sep 2006 01:49:47 +0000 (01:49 +0000)]
Typo, spotted by Bulat Ziganshin