[project @ 2005-03-04 14:24:51 by simonmar]
Build all the libraries

[project @ 2005-03-04 14:06:55 by simonmar]
Fix a couple of things, should help this script get further

[project @ 2005-03-04 13:38:19 by simonmar]
some more wibbles in cross-compiling

[project @ 2005-03-04 12:04:00 by simonmar]
We shouldn't be including ghcconfig.h here

[project @ 2005-03-04 12:01:11 by simonmar]
include ghcautoconf.h rather than ghcconfig.h, the reason being that
this file is included form the compiler, and we don't want the
platform defines from ghcplatform.h.

[project @ 2005-03-04 11:44:27 by simonmar]
Clean .hi-boot and .o-boot created from .hs-boot/.lhs-boot

[project @ 2005-03-03 21:03:06 by wolfgang]
Look for the docbook-xsl directory in /sw/share/xml/xsl/docbook-xsl,
because that's where the Fink distribution for Mac OS X puts it.

MERGE TO STABLE

[project @ 2005-03-03 21:01:49 by wolfgang]
Install dynamic libraries even when they're not part of a package,
but honor NO_INSTALL_LIBRARY instead.

MERGE TO STABLE

[project @ 2005-03-03 17:01:01 by simonmar]
Add some text about platforms I forgot to commit before, and a couple
of wibbles to the porting section.

[project @ 2005-03-03 11:48:02 by chak]
Merge to STABLE

Fixed two bugs:
* #1035575 from SourceForge (by adding smart constructors for source tuple
  construction at value and type level)
* Parallel array comprehensions were handled wrongly
  - The singleton expression-pattern pair `()'-`[:():]' is the neutral element
    for cross products (comma notation in comprehensions), but not for
    parallel comprehensions.
  - Now groups of parallel statements are handled separately (which is more
    like the vanilla list comprehension case).
  - The code is too general in that it correctly handles cross-products of
    groups of parallel qualifiers.  As this is correctly handled in the
    list and the array comprehension case, the syntax may be generalised to
    allow arbitrary nesting of cross-products and parallel qualifiers.

[project @ 2005-03-03 10:37:57 by simonmar]
Sparc: allow whitespace before .section directive.  Should fix
linking problems on sparc/solaris.

[project @ 2005-03-02 18:22:11 by simonpj]
Add note about defaulting

[project @ 2005-03-02 18:15:36 by simonpj]
Clarification re overlapping instances; merge to stable

[project @ 2005-03-02 14:35:05 by simonmar]
More wibbles to cleaning

[project @ 2005-03-02 14:26:55 by simonmar]
2nd attempt at cleaning ld.script

[project @ 2005-03-02 14:09:26 by simonmar]
wibbles to cleaning

[project @ 2005-03-02 11:06:58 by simonmar]
Change "Reading" to "Using" in -v output to keep hmake happy.

[project @ 2005-03-02 10:59:31 by simonmar]
on second thoughts, don't clean mk/config.mk yet

[project @ 2005-03-02 10:58:04 by simonmar]
Some more distcleaning

[project @ 2005-03-02 10:11:46 by simonmar]
clean up ld.script

[project @ 2005-03-02 10:00:36 by simonmar]
Clean a few more things created by configure

[project @ 2005-03-02 09:57:41 by simonmar]
Clean VERSION

[project @ 2005-03-02 09:49:11 by simonmar]
Clean a bit better

[project @ 2005-03-02 09:48:16 by simonmar]
fix cut-n-pasto in CLEAN_FILES

[project @ 2005-03-02 04:35:24 by simonpj]
Wibble to new desugaring story
Merge to STABLE

Fix an error in my commit to the desugarer.  This makes gadt/type-rep work.

[project @ 2005-03-01 21:40:40 by simonpj]
Type signatures and skolem constants (again)
Merge to STABLE

This commit lays to rest the vexed question of skolem constants
and type signatures.  My fix last week made type-signature variables
into ordinary meta type variables, because they can be unified
together (see Note [Signature skolems] in TcType).  But that was wrong
becuase GADTs will only refine skolems.

So this commit extends TcTyVarDetails with a new constructors, SigSkolTv,
which is a skolem (like SkolemTv) but is unifiable (like MetaTv).  It's
a bit of a hack, but the code came out quite nicely.

Now the GADT tests work.

[project @ 2005-03-01 19:16:14 by sof]
aclocal.m4:FP_PROG_SORT: locate unix-like sort utility; on success, substituted as SortCmd.
-configure.ac: use FP_PROG_SORT
-mk/config.mk.in: added SORT setting..only used by libraries/Makefile

Merge to STABLE

[project @ 2005-03-01 16:20:27 by simonmar]
6.4 announcement, first draft

[project @ 2005-03-01 14:59:18 by simonmar]
Work around bugs in DocBook XSL stylesheets: don't put
cross-references in section headers.

[project @ 2005-03-01 14:32:43 by simonmar]
-no-link is renamed to -c

[project @ 2005-03-01 11:51:14 by simonmar]
More dependencies required by 'make -j8'

[project @ 2005-03-01 05:49:43 by simonpj]
Make desugaring of pattern-matching much more civilised.

Before this change we wrapped new bindings around the
right hand side; but that meant they ended up wrapped
in reverse order.  Now we accumulate the bindings
separately, in the eqn_wrap field of an EqnInfo.

This cures a desugaring bug encountered by Akos Korosmezey
immortalised as ds055

[project @ 2005-02-28 17:12:36 by simonmar]
Back out previous change; something broke, I'll look into it later

[project @ 2005-02-28 17:01:13 by simonmar]
Optimisation: the update code only needs to check whether the closure
being updated is a BLACKHOLE_BQ if it has been blackholed; which is
only the case after lazy blackholing has taken place.

So to avoid this unnecessary cost, we have two kinds of update frame:
one which checks for BLACKHOLE_BQ and one that doesn't, and the lazy
blackholing algorithm converts the latter kind into the former as it
replaces thunks with blackholes.

[project @ 2005-02-28 16:04:54 by simonpj]
Add forall-hoisting to TcIface; see comments with mkIfTcAPp
Fixes Sourceforge bug 1146068
tc191 tests

This fix is temporary, until we get rid of forall-hoisting
altogether

[project @ 2005-02-28 16:02:57 by simonpj]
Fix kind error in record update; tc190 tests

[project @ 2005-02-28 16:02:42 by simonpj]
Comment only

[project @ 2005-02-28 16:01:52 by simonpj]
Print empty classes right

[project @ 2005-02-28 12:03:12 by simonmar]
The type variables in the types of wired-in entities were built using
mkVarOcc, which gives a variable name rather than a type variable
name.  Normally the compiler doesn't care, but when tidying types for
output to the user the tidier would consider a VarName as distinct
from a TvName, and not give them different print names.

This fix makes puts all the type variables in the TvName namespace.

[project @ 2005-02-26 11:03:13 by panne]
Don't use draft mode when generating FO, otherwise fop might try
download a watermark when generating PDF/PS. Fixed a comment typo on
the way.

[project @ 2005-02-25 17:06:43 by simonpj]
improve docs for scoped type vars

[project @ 2005-02-25 14:39:52 by simonmar]
Turn a Q/A section into a <variablelist> to avoid fop barfage.

[project @ 2005-02-25 14:15:53 by simonpj]
-----------------------------------------
Improve ambiguity reporting in TcSimplify
-----------------------------------------

Merge to STABLE

The test for ambiguity in tcSimplifyTop caused us to say thing like
No instance for (Show c)
which is a bit confusing -- and in fact exposed a separate buglet in
the fix-reporting code.

This commit deals with the origial problem.  tcfail133 tests it.

[project @ 2005-02-25 13:57:05 by simonpj]
Wibble to last commit

[project @ 2005-02-25 13:54:41 by simonpj]
Prevent a crash; reason the situation arises in the first place is still unclear

[project @ 2005-02-25 13:06:31 by simonpj]
---------------------------------------------
Type signatures are no longer instantiated with skolem constants
---------------------------------------------

Merge to STABLE

Consider

  p :: a
  q :: b
  (p,q,r) = (r,r,p)

Here, 'a' and 'b' end up being the same, because they are both bound
to the type for 'r', which is just a meta type variable.  So 'a' and 'b'
can't be skolems.

Sigh.  This commit goes back to an earlier way of doing things, by
arranging that type signatures get instantiated with *meta* type
variables; then at the end we must check that they have not been
unified with types, nor with each other.

This is a real bore.  I had to do quite a bit of related fiddling around
to make error messages come out right.  Improved one or two.

Also a small unrelated fix to make
:i (:+)
print with parens in ghci.  Sorry this got mixed up in the same commit.

[project @ 2005-02-25 12:50:48 by simonpj]
Profiling addition

[project @ 2005-02-25 12:49:47 by simonpj]
Spelling

[project @ 2005-02-25 10:53:08 by simonmar]
Add a pointer to the Cabal docs

[project @ 2005-02-25 10:45:25 by simonmar]
rearrange #includes

[project @ 2005-02-24 09:41:49 by simonpj]
Add missing semicolon; merge to stable

[project @ 2005-02-24 08:59:36 by simonpj]
Add a clarifying para about Win32 GUI-only programs

[project @ 2005-02-23 15:38:52 by simonmar]
Make :info behave like :type, and show foralls when -fglasgow-exts is on.

[project @ 2005-02-23 14:01:32 by simonmar]
Fix the use of -package flags (I hope).  GHC 6.4 should build with
itself, now.

[project @ 2005-02-23 13:57:27 by simonmar]
Sanity check for $hardtop containing space characters, suggested by
Malcolm Wallace.

[project @ 2005-02-23 13:46:43 by simonpj]
---------------------------------------------
Make type synonyms uniform with data types
so far as infix operators are concerned
---------------------------------------------

Merge to STABLE

This allows

type (a :+: b) c d = ...

which was prevented before by accident.

I've also documented the fact that classes can be infix;
and arranged that class constraints in types can be in infix form.
f :: (a :=: b) => ....

[project @ 2005-02-23 13:24:18 by simonmar]
Add final newline

[project @ 2005-02-23 12:44:17 by simonmar]
In -e mode, if there is an error loading the modules on the command
line, stop immediately rather than going on to evaluate the expression.

[project @ 2005-02-23 12:18:29 by simonmar]
fix for findPackageModule: if we find the module in the cache, check
that it actually is a package module before returning it.

[project @ 2005-02-23 11:03:42 by simonmar]
rearrange includes

[project @ 2005-02-23 10:59:17 by simonmar]
Move include <stdlib.h> later

[project @ 2005-02-23 10:57:52 by simonmar]
Move include of <string.h> later

[project @ 2005-02-23 10:54:52 by simonmar]
more include of <stdio.h> later: ghcautoconf.h must come before any
system includes, because it might define _FILE_OFFSET_BITS.

[project @ 2005-02-23 10:50:30 by simonmar]
Add AdjustorAsm.S to EXCLUDED_SRCS unless we're building for
powerpc/powerpc64.  Apparently Solaris ld chokes on the empty object
file otherwise.

[project @ 2005-02-23 09:13:49 by simonpj]
---------------------------------------------
Another fix to data2tag evaluated-ness (sigh)
---------------------------------------------

Merge to STABLE

[project @ 2005-02-22 16:29:41 by simonpj]
-------------------------------------------------------
Change -include-prelude to -include-pkg-deps for ghc -M
-------------------------------------------------------

Merge to STABLE

This commit just renames the flag for ghc -M to something more
sensible.

[project @ 2005-02-22 15:59:00 by simonpj]
Commentary stuff

[project @ 2005-02-22 10:58:22 by simonmar]
emitSwitch: if we're compiling via C, then always generate a switch
rather than an if-tree.  This should work around brokenness in older
versions of GCC.

[project @ 2005-02-21 14:53:16 by simonmar]
add mk/fix_install_names.sh to source dist

[project @ 2005-02-21 14:07:07 by simonmar]
Fix a recompilation bug caused by the fact that typecheckIface wasn't
going via loadDecl to create the binders properly.  The fix actually
results in slightly cleaner code.

[project @ 2005-02-21 11:27:21 by simonmar]
Clean and install ghcplatform.h

[project @ 2005-02-21 10:13:00 by simonmar]
For some reason rev. 1.71 undid rev. 1.70.  Restore it.

[project @ 2005-02-20 09:59:42 by ross]
more tracking of field name changes (cc-options, hugs-options & frameworks)

[project @ 2005-02-20 03:40:23 by desrt]
package.conf.in: more Cabal changes tracking
                   - change 'extra-ld-opts' to 'ld-options'
                   - change 'extra-libs' to 'extra-libraries'

                 stage2 once again builds successfully.

[project @ 2005-02-20 01:36:23 by ross]
more InstalledPackageInfo tracking: extraFrameworks -> frameworks

[project @ 2005-02-19 19:45:50 by desrt]
Linker.lhs: s/extraLdOpts/ldOptions/ to fix a build breakage caused by
            recent updates to main/ParsePkgConf.y (version 1.20)

[project @ 2005-02-19 18:51:19 by desrt]
Linker.c: ELF: Added two utility functions findElfSectionIndexByName
               and findElfSectionByName that are used by the PPC64 linker
               currently being worked on.  These functions should be used
               in other (generic) ELF code too.

[project @ 2005-02-18 16:19:10 by simonmar]
Track InstalledPackageInfo updates

[project @ 2005-02-18 15:06:38 by simonmar]
Rename fields in InstalledPackageInfo for consistency with
PackageDescription & buildInfo:

 extra-libs (extraLibraries) --> extra-libraries (extraLibraries)
 extra-cc-opts (extraCcOpts) --> cc-options (ccOptions)
 extra-ld-opts (extraLdOpts) --> ld-options (ldOptions)
 extra-hugs-opts (extraHugsOpts) --> hugs-options (hugsOptions)
 extra-frameworks (extraFrameworks) --> frameworks (frameworks)

[project @ 2005-02-18 12:09:05 by simonmar]
use $(strip ..) in various places to eliminate spurious whitespace

[project @ 2005-02-18 10:41:58 by simonmar]
Detect and substitue $(GccVersion) properly

[project @ 2005-02-18 09:32:50 by simonmar]
Mac OS X: fixes to the splitter (rev. 1.24.6.1 on the branch)

[project @ 2005-02-17 16:58:18 by desrt]
LinkerInternals.h: all platforms: changed 'image' pointer in ObjectCode
                                  from (void *) to (char *).

Linker.c: linux/ppc: added mremap() support to unbreak the build when
                     USE_MMAP is defined on linux/ppc (as it now is.)

[project @ 2005-02-17 14:41:36 by simonmar]
Mention GHC's relaxation of the layout rule

[project @ 2005-02-17 14:25:57 by ross]
* set off examples (e.g. as used in the Cabal doc) from the text.

* make minor headers blue too.

* make the green in screens a bit darker for contrast.

[project @ 2005-02-16 11:33:44 by simonmar]
wibble to previous... (*fatalInternalErrorFn)() is not expected to return.

[project @ 2005-02-16 11:16:40 by simonmar]
assertion failures should go through the RtsMessages layer, so they
get a pop-up box in a Windows app.

[project @ 2005-02-16 10:50:23 by simonmar]
Recommend using -M rather than -H to increase the heap size.

On Windows, there's an arbitrary limit of 256Mb due to the way memory
is allocated, which is the primary cause of running out of heap.  On
Unix, the heap size is unlimited by default.

[project @ 2005-02-15 16:41:25 by simonmar]
Fix test in findPackages

[project @ 2005-02-15 15:58:28 by simonmar]
Fix --mk-dll

[project @ 2005-02-15 12:41:26 by simonmar]
omit the initial foralls for :type, unless -fglasgow-exts is on

[project @ 2005-02-15 12:15:25 by simonmar]
ghc -e 'System.Exit.exitWith (System.Exit.ExitFailure 99)'

should just exit 99, rather than printing out the exception.  Also
while I'm here, make all other exceptions cause 'ghc -e' to exit(1),
which is probably what we want.

[project @ 2005-02-15 11:39:52 by simonmar]
remove race conditions in the recent in_haskell sanity check code

[project @ 2005-02-15 11:24:51 by simonmar]
Fix endMkDependHS

[project @ 2005-02-15 11:05:43 by simonmar]
Update documentation of ghc-pkg command

[project @ 2005-02-15 10:51:37 by simonmar]
Change in semantics:
  - commands which only inspect the databse (list,describe,field)
    now take into account the user database unless --global is
    given.  This behaviour matches GHC, which also uses the user
    database by default.
  - However, commands which modify the database still use the
    global database, unless --user is given.

Also, allow P-* to be given as a package identifier, which means
"all versions of package P".

[project @ 2005-02-14 17:00:31 by simonmar]
Be clearer about HC files: you need a set generated on the same
platform, not just similar hardware.

[project @ 2005-02-14 16:49:50 by simonmar]
Improve the module-not-found error message when we didn't actually
search for it anywhere.  This happens when we know all the places it
might be: either in the current program, or a package.

[project @ 2005-02-14 16:38:30 by simonmar]
cmSetContext: check whether the modules specified actually exist and
emit the usual Finder error message if any don't.

This regressed duing the ModuleName->Module changeover, where I was a
bit heavyhanded in removing moduleNameToModule: it also checked for
the existence of each module and emitted a sensible exception.

[project @ 2005-02-14 16:20:56 by simonmar]
More libghccompat nonsense