ghc-hetmet.git
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

14 years agoRelease note tweaks suggested by Bulat Ziganshin
Ian Lynagh [Fri, 8 Sep 2006 01:40:50 +0000 (01:40 +0000)]
Release note tweaks suggested by Bulat Ziganshin

14 years agoDoc fix: generic classes are no longer broken
Ian Lynagh [Thu, 7 Sep 2006 20:54:26 +0000 (20:54 +0000)]
Doc fix: generic classes are no longer broken
Spotted by Bulat Ziganshin.

14 years agoFixed typo in users guide section about lexically scoped type variables.
bringert@cs.chalmers.se [Thu, 7 Sep 2006 21:46:26 +0000 (21:46 +0000)]
Fixed typo in users guide section about lexically scoped type variables.

14 years agoIf we get an unknown or unimplemented opcode, say what it is
Ian Lynagh [Thu, 7 Sep 2006 17:10:38 +0000 (17:10 +0000)]
If we get an unknown or unimplemented opcode, say what it is

14 years agoremove __HUGS__ #if's (Hugs uses the standalone version)
Ross Paterson [Thu, 7 Sep 2006 15:29:30 +0000 (15:29 +0000)]
remove __HUGS__ #if's (Hugs uses the standalone version)

14 years agoRemove the -optP-P from .raw-hs generation
Simon Marlow [Thu, 7 Sep 2006 15:18:55 +0000 (15:18 +0000)]
Remove the -optP-P from .raw-hs generation
We need the #line directives left in, so that Haddock can figure out
what the name of the original source file was called, which is
necessary for generating source links.  You probably now need an
updated Haddock to generate HTML from the libraries, but a release
will be forthcoming shortly.

14 years agoFix the handling of names in declaration brackets
simonpj@microsoft.com [Thu, 7 Sep 2006 14:18:45 +0000 (14:18 +0000)]
Fix the handling of names in declaration brackets

The handling of top-level names in declaration brackets is a bit tricky.
This commit fixes Trac #977;  test is TH_spliceD2.

The changes are commented in RnExpr.rnBracket and RdrName.hideSomeUnquals

14 years agourk, the dependencies added in the last commit don't really work properly
Simon Marlow [Thu, 7 Sep 2006 11:37:02 +0000 (11:37 +0000)]
urk, the dependencies added in the last commit don't really work properly
first, I got the dependencies wrong (should be the .o file, not the
.hs), and secondly GHC's recompilation checker refuses to recompile
these files anyway.  I haven't done anything about the second problem
yet, except to comment it.

14 years agoRemove trailing CRs with sed rather than relying on diff in nofib
Ian Lynagh [Thu, 7 Sep 2006 11:20:27 +0000 (11:20 +0000)]
Remove trailing CRs with sed rather than relying on diff in nofib
Some diffs don't understand --strip-trailing-cr.

14 years agoDocumentation for impredicative polymorphism
simonpj@microsoft.com [Thu, 7 Sep 2006 11:15:40 +0000 (11:15 +0000)]
Documentation for impredicative polymorphism

14 years agoComments only
simonpj@microsoft.com [Thu, 7 Sep 2006 10:57:05 +0000 (10:57 +0000)]
Comments only

14 years agoRemove result type signatures from documentation
simonpj@microsoft.com [Thu, 7 Sep 2006 10:43:01 +0000 (10:43 +0000)]
Remove result type signatures from documentation

14 years agoFix bug in error message
simonpj@microsoft.com [Thu, 7 Sep 2006 10:30:52 +0000 (10:30 +0000)]
Fix bug in error message

14 years agoResult type signatures are no longer supported (partial)
simonpj@microsoft.com [Thu, 7 Sep 2006 10:27:18 +0000 (10:27 +0000)]
Result type signatures are no longer supported (partial)

I had failed to remove the bit where result type signatures bind
lexical type variables.  And now we are planning to remove them entirely.

This commit therefore does a partial removal (to avoid destablising 6.6).
It also arranges that
f :: sig = rhs
means a *pattern* binding (not a function binding with no arguments
and a result signature), which makes sense.

14 years agoAdd dependencies on .h files #included into Haskell source
Simon Marlow [Thu, 7 Sep 2006 09:47:51 +0000 (09:47 +0000)]
Add dependencies on .h files #included into Haskell source
Our .depend machinery doesn't automatically generate these, so we have
to add them manually.  (this fixes one instance of missing
dependencies in the GHC build tree, there are lots more...).