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)

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.

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

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.

Remove trailing CRs with sed rather than relying on diff in nofib
Some diffs don't understand --strip-trailing-cr.

Documentation for impredicative polymorphism

Comments only

Remove result type signatures from documentation

Fix bug in error message

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.

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...).

Remove CONSTR_CHARLIKE and CONSTR_INTLIKE closure types
These closure types aren't used/needed, as far as I can tell.  The
commoning up of Chars/Ints happens by comparing info pointers, and
the info table for a dynamic C#/I# is CONSTR_0_1.  The RTS seemed
a little confused about whether CONSTR_CHARLIKE/CONSTR_INTLIKE were
supposed to be static or dynamic closures, too.

document -V in the +RTS --help outpout

Pattern-match warning police

Improve error reporting for SigTvs, and add comments

Check that top-level binders are unqualified names

Not having this check led to strange error messages.
See test rnfail046.

Don't fail on missing happy/alex if we don't need them

Make record selection look cheap

exprIsCheap was already making record selection look cheap, esp for
dictionary selection; e.g.
   (==) dEq

The idea is to allow those record selections to migrate inside a
lambda, because on the whole it's more expensive to share than
repeat them.

But sometimes dictionary selection is nested; e.g.
   (==) ($p1Num dNum)

This turned out to make a (fragile) rewrite rule fire a little
more robustly, but it seems like a good idea in any case.

This patch makes nested record selections also look cheap.

Documentation for lexically-scoped type variables

GHC's design for lexically scoped type variables has changed.
Here, belatedly, is the documentation.

Fix the Windows "VirtualAlloc MEM_COMMIT failed" bug
We had
    base=01100000 size=1048576 size_delta=0 it->size=2097152
    it->base=00F00000 base-it->base=00200000
in commitBlocks.
Esa Ilari Vuokko identified this inequality test as the cause.

Now in the wiki

-threaded and -prof do not currently work together

Correct the Cabal version number and remove features.
We're not going to include cabal-setup and cabal-install in this release.

Strip trailing CRs when comparing output for nofib. Fixes #797.

new RTS flag: -V to modify the resolution of the RTS timer
Fixed version of an old patch by Simon Marlow. His description read:
 Also, now an arbitrarily short context switch interval may now be
 specified, as we increase the RTS ticker's resolution to match the
 requested context switch interval.  This also applies to +RTS -i (heap
 profiling) and +RTS -I (the idle GC timer).  +RTS -V is actually only
 required for increasing the resolution of the profile timer.

Fix dependency analysis (notably bindInstsOfLocalFuns) in TcBinds

GHC 6.5 does enhanced dependency analysis for recursive bindings, to
maximise polymorphism based on type signatures.  (See Mark Jones's
THIH paper.)

I didn't do the bindInstsOfLocalFuns part correctly though, and jhc
showed up the bug.  (It only matters when you have a recursive group
of two or more functions with a type signature, not at top level, which
is why it hasn't shown up till now.)

Test is tc207.hs

Add note about overlapping instances

Record that TH doesn't support pattern types signature

Fix typos.

Refactoring for derived Read

There are no functional changes in this commit.  But the code for
derived Read is refactored to make it tidier --- and also to make
it very easy if we want derived Read to parse the prefix form of
infix ocnstructors.

For example,
data T = Int `T1` Int
According to the H98 report, the derived Read instance will parse
infix uses of T1, but not prefix uses (T1 4 3).  It's arguable that it
should parse both -- and easy to implement, but it would cause a little bit
of code bloat.

Similarly records.

Anyway this commit doesn't implement the change; just makes it easy
to do so.

Enable bang-patterns only when the flag says so (had missed a case before)

Improve pretty-printing for HsExpr