ghc-hetmet.git
19 years ago[project @ 2005-03-02 14:09:26 by simonmar]
simonmar [Wed, 2 Mar 2005 14:09:26 +0000 (14:09 +0000)]
[project @ 2005-03-02 14:09:26 by simonmar]
wibbles to cleaning

19 years ago[project @ 2005-03-02 11:06:58 by simonmar]
simonmar [Wed, 2 Mar 2005 11:06:58 +0000 (11:06 +0000)]
[project @ 2005-03-02 11:06:58 by simonmar]
Change "Reading" to "Using" in -v output to keep hmake happy.

19 years ago[project @ 2005-03-02 10:59:31 by simonmar]
simonmar [Wed, 2 Mar 2005 10:59:31 +0000 (10:59 +0000)]
[project @ 2005-03-02 10:59:31 by simonmar]
on second thoughts, don't clean mk/config.mk yet

19 years ago[project @ 2005-03-02 10:58:04 by simonmar]
simonmar [Wed, 2 Mar 2005 10:58:04 +0000 (10:58 +0000)]
[project @ 2005-03-02 10:58:04 by simonmar]
Some more distcleaning

19 years ago[project @ 2005-03-02 10:11:46 by simonmar]
simonmar [Wed, 2 Mar 2005 10:11:46 +0000 (10:11 +0000)]
[project @ 2005-03-02 10:11:46 by simonmar]
clean up ld.script

19 years ago[project @ 2005-03-02 10:00:36 by simonmar]
simonmar [Wed, 2 Mar 2005 10:00:36 +0000 (10:00 +0000)]
[project @ 2005-03-02 10:00:36 by simonmar]
Clean a few more things created by configure

19 years ago[project @ 2005-03-02 09:57:41 by simonmar]
simonmar [Wed, 2 Mar 2005 09:57:41 +0000 (09:57 +0000)]
[project @ 2005-03-02 09:57:41 by simonmar]
Clean VERSION

19 years ago[project @ 2005-03-02 09:49:11 by simonmar]
simonmar [Wed, 2 Mar 2005 09:49:11 +0000 (09:49 +0000)]
[project @ 2005-03-02 09:49:11 by simonmar]
Clean a bit better

19 years ago[project @ 2005-03-02 09:48:16 by simonmar]
simonmar [Wed, 2 Mar 2005 09:48:16 +0000 (09:48 +0000)]
[project @ 2005-03-02 09:48:16 by simonmar]
fix cut-n-pasto in CLEAN_FILES

19 years ago[project @ 2005-03-02 04:35:24 by simonpj]
simonpj [Wed, 2 Mar 2005 04:35:24 +0000 (04:35 +0000)]
[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.

19 years ago[project @ 2005-03-01 21:40:40 by simonpj]
simonpj [Tue, 1 Mar 2005 21:40:54 +0000 (21:40 +0000)]
[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.

19 years ago[project @ 2005-03-01 19:16:14 by sof]
sof [Tue, 1 Mar 2005 19:16:18 +0000 (19:16 +0000)]
[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

19 years ago[project @ 2005-03-01 16:20:27 by simonmar]
simonmar [Tue, 1 Mar 2005 16:20:27 +0000 (16:20 +0000)]
[project @ 2005-03-01 16:20:27 by simonmar]
6.4 announcement, first draft

19 years ago[project @ 2005-03-01 14:59:18 by simonmar]
simonmar [Tue, 1 Mar 2005 14:59:18 +0000 (14:59 +0000)]
[project @ 2005-03-01 14:59:18 by simonmar]
Work around bugs in DocBook XSL stylesheets: don't put
cross-references in section headers.

19 years ago[project @ 2005-03-01 14:32:43 by simonmar]
simonmar [Tue, 1 Mar 2005 14:32:43 +0000 (14:32 +0000)]
[project @ 2005-03-01 14:32:43 by simonmar]
-no-link is renamed to -c

19 years ago[project @ 2005-03-01 11:51:14 by simonmar]
simonmar [Tue, 1 Mar 2005 11:51:14 +0000 (11:51 +0000)]
[project @ 2005-03-01 11:51:14 by simonmar]
More dependencies required by 'make -j8'

19 years ago[project @ 2005-03-01 05:49:43 by simonpj]
simonpj [Tue, 1 Mar 2005 05:49:49 +0000 (05:49 +0000)]
[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

19 years ago[project @ 2005-02-28 17:12:36 by simonmar]
simonmar [Mon, 28 Feb 2005 17:12:47 +0000 (17:12 +0000)]
[project @ 2005-02-28 17:12:36 by simonmar]
Back out previous change; something broke, I'll look into it later

19 years ago[project @ 2005-02-28 17:01:13 by simonmar]
simonmar [Mon, 28 Feb 2005 17:01:23 +0000 (17:01 +0000)]
[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.

19 years ago[project @ 2005-02-28 16:04:54 by simonpj]
simonpj [Mon, 28 Feb 2005 16:04:54 +0000 (16:04 +0000)]
[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

19 years ago[project @ 2005-02-28 16:02:57 by simonpj]
simonpj [Mon, 28 Feb 2005 16:02:57 +0000 (16:02 +0000)]
[project @ 2005-02-28 16:02:57 by simonpj]
Fix kind error in record update; tc190 tests

19 years ago[project @ 2005-02-28 16:02:42 by simonpj]
simonpj [Mon, 28 Feb 2005 16:02:42 +0000 (16:02 +0000)]
[project @ 2005-02-28 16:02:42 by simonpj]
Comment only

19 years ago[project @ 2005-02-28 16:01:52 by simonpj]
simonpj [Mon, 28 Feb 2005 16:01:52 +0000 (16:01 +0000)]
[project @ 2005-02-28 16:01:52 by simonpj]
Print empty classes right

19 years ago[project @ 2005-02-28 12:03:12 by simonmar]
simonmar [Mon, 28 Feb 2005 12:03:12 +0000 (12:03 +0000)]
[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.

19 years ago[project @ 2005-02-26 11:03:13 by panne]
panne [Sat, 26 Feb 2005 11:03:13 +0000 (11:03 +0000)]
[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.

19 years ago[project @ 2005-02-25 17:06:43 by simonpj]
simonpj [Fri, 25 Feb 2005 17:06:43 +0000 (17:06 +0000)]
[project @ 2005-02-25 17:06:43 by simonpj]
improve docs for scoped type vars

19 years ago[project @ 2005-02-25 14:39:52 by simonmar]
simonmar [Fri, 25 Feb 2005 14:39:52 +0000 (14:39 +0000)]
[project @ 2005-02-25 14:39:52 by simonmar]
Turn a Q/A section into a <variablelist> to avoid fop barfage.

19 years ago[project @ 2005-02-25 14:15:53 by simonpj]
simonpj [Fri, 25 Feb 2005 14:15:53 +0000 (14:15 +0000)]
[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.

19 years ago[project @ 2005-02-25 13:57:05 by simonpj]
simonpj [Fri, 25 Feb 2005 13:57:05 +0000 (13:57 +0000)]
[project @ 2005-02-25 13:57:05 by simonpj]
Wibble to last commit

19 years ago[project @ 2005-02-25 13:54:41 by simonpj]
simonpj [Fri, 25 Feb 2005 13:54:41 +0000 (13:54 +0000)]
[project @ 2005-02-25 13:54:41 by simonpj]
Prevent a crash; reason the situation arises in the first place is still unclear

19 years ago[project @ 2005-02-25 13:06:31 by simonpj]
simonpj [Fri, 25 Feb 2005 13:07:54 +0000 (13:07 +0000)]
[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.

19 years ago[project @ 2005-02-25 12:50:48 by simonpj]
simonpj [Fri, 25 Feb 2005 12:50:48 +0000 (12:50 +0000)]
[project @ 2005-02-25 12:50:48 by simonpj]
Profiling addition

19 years ago[project @ 2005-02-25 12:49:47 by simonpj]
simonpj [Fri, 25 Feb 2005 12:49:47 +0000 (12:49 +0000)]
[project @ 2005-02-25 12:49:47 by simonpj]
Spelling

19 years ago[project @ 2005-02-25 10:53:08 by simonmar]
simonmar [Fri, 25 Feb 2005 10:53:08 +0000 (10:53 +0000)]
[project @ 2005-02-25 10:53:08 by simonmar]
Add a pointer to the Cabal docs

19 years ago[project @ 2005-02-25 10:45:25 by simonmar]
simonmar [Fri, 25 Feb 2005 10:45:25 +0000 (10:45 +0000)]
[project @ 2005-02-25 10:45:25 by simonmar]
rearrange #includes

19 years ago[project @ 2005-02-24 09:41:49 by simonpj]
simonpj [Thu, 24 Feb 2005 09:41:49 +0000 (09:41 +0000)]
[project @ 2005-02-24 09:41:49 by simonpj]
Add missing semicolon; merge to stable

19 years ago[project @ 2005-02-24 08:59:36 by simonpj]
simonpj [Thu, 24 Feb 2005 08:59:36 +0000 (08:59 +0000)]
[project @ 2005-02-24 08:59:36 by simonpj]
Add a clarifying para about Win32 GUI-only programs

19 years ago[project @ 2005-02-23 15:38:52 by simonmar]
simonmar [Wed, 23 Feb 2005 15:38:52 +0000 (15:38 +0000)]
[project @ 2005-02-23 15:38:52 by simonmar]
Make :info behave like :type, and show foralls when -fglasgow-exts is on.

19 years ago[project @ 2005-02-23 14:01:32 by simonmar]
simonmar [Wed, 23 Feb 2005 14:01:32 +0000 (14:01 +0000)]
[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.

19 years ago[project @ 2005-02-23 13:57:27 by simonmar]
simonmar [Wed, 23 Feb 2005 13:57:27 +0000 (13:57 +0000)]
[project @ 2005-02-23 13:57:27 by simonmar]
Sanity check for $hardtop containing space characters, suggested by
Malcolm Wallace.

19 years ago[project @ 2005-02-23 13:46:43 by simonpj]
simonpj [Wed, 23 Feb 2005 13:46:46 +0000 (13:46 +0000)]
[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) => ....

19 years ago[project @ 2005-02-23 13:24:18 by simonmar]
simonmar [Wed, 23 Feb 2005 13:24:18 +0000 (13:24 +0000)]
[project @ 2005-02-23 13:24:18 by simonmar]
Add final newline

19 years ago[project @ 2005-02-23 12:44:17 by simonmar]
simonmar [Wed, 23 Feb 2005 12:44:17 +0000 (12:44 +0000)]
[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.

19 years ago[project @ 2005-02-23 12:18:29 by simonmar]
simonmar [Wed, 23 Feb 2005 12:18:29 +0000 (12:18 +0000)]
[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.

19 years ago[project @ 2005-02-23 11:03:42 by simonmar]
simonmar [Wed, 23 Feb 2005 11:03:42 +0000 (11:03 +0000)]
[project @ 2005-02-23 11:03:42 by simonmar]
rearrange includes

19 years ago[project @ 2005-02-23 10:59:17 by simonmar]
simonmar [Wed, 23 Feb 2005 10:59:17 +0000 (10:59 +0000)]
[project @ 2005-02-23 10:59:17 by simonmar]
Move include <stdlib.h> later

19 years ago[project @ 2005-02-23 10:57:52 by simonmar]
simonmar [Wed, 23 Feb 2005 10:57:52 +0000 (10:57 +0000)]
[project @ 2005-02-23 10:57:52 by simonmar]
Move include of <string.h> later

19 years ago[project @ 2005-02-23 10:54:52 by simonmar]
simonmar [Wed, 23 Feb 2005 10:54:52 +0000 (10:54 +0000)]
[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.

19 years ago[project @ 2005-02-23 10:50:30 by simonmar]
simonmar [Wed, 23 Feb 2005 10:50:30 +0000 (10:50 +0000)]
[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.

19 years ago[project @ 2005-02-23 09:13:49 by simonpj]
simonpj [Wed, 23 Feb 2005 09:13:49 +0000 (09:13 +0000)]
[project @ 2005-02-23 09:13:49 by simonpj]
---------------------------------------------
Another fix to data2tag evaluated-ness (sigh)
---------------------------------------------

Merge to STABLE

19 years ago[project @ 2005-02-22 16:29:41 by simonpj]
simonpj [Tue, 22 Feb 2005 16:29:42 +0000 (16:29 +0000)]
[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.

19 years ago[project @ 2005-02-22 15:59:00 by simonpj]
simonpj [Tue, 22 Feb 2005 15:59:00 +0000 (15:59 +0000)]
[project @ 2005-02-22 15:59:00 by simonpj]
Commentary stuff

19 years ago[project @ 2005-02-22 10:58:22 by simonmar]
simonmar [Tue, 22 Feb 2005 10:58:22 +0000 (10:58 +0000)]
[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.

19 years ago[project @ 2005-02-21 14:53:16 by simonmar]
simonmar [Mon, 21 Feb 2005 14:53:16 +0000 (14:53 +0000)]
[project @ 2005-02-21 14:53:16 by simonmar]
add mk/fix_install_names.sh to source dist

19 years ago[project @ 2005-02-21 14:07:07 by simonmar]
simonmar [Mon, 21 Feb 2005 14:07:08 +0000 (14:07 +0000)]
[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.

19 years ago[project @ 2005-02-21 11:27:21 by simonmar]
simonmar [Mon, 21 Feb 2005 11:27:21 +0000 (11:27 +0000)]
[project @ 2005-02-21 11:27:21 by simonmar]
Clean and install ghcplatform.h

19 years ago[project @ 2005-02-21 10:13:00 by simonmar]
simonmar [Mon, 21 Feb 2005 10:13:00 +0000 (10:13 +0000)]
[project @ 2005-02-21 10:13:00 by simonmar]
For some reason rev. 1.71 undid rev. 1.70.  Restore it.

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

19 years ago[project @ 2005-02-20 03:40:23 by desrt]
desrt [Sun, 20 Feb 2005 03:40:23 +0000 (03:40 +0000)]
[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.

19 years ago[project @ 2005-02-20 01:36:23 by ross]
ross [Sun, 20 Feb 2005 01:36:23 +0000 (01:36 +0000)]
[project @ 2005-02-20 01:36:23 by ross]
more InstalledPackageInfo tracking: extraFrameworks -> frameworks

19 years ago[project @ 2005-02-19 19:45:50 by desrt]
desrt [Sat, 19 Feb 2005 19:45:50 +0000 (19:45 +0000)]
[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)

19 years ago[project @ 2005-02-19 18:51:19 by desrt]
desrt [Sat, 19 Feb 2005 18:51:19 +0000 (18:51 +0000)]
[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.

19 years ago[project @ 2005-02-18 16:19:10 by simonmar]
simonmar [Fri, 18 Feb 2005 16:19:10 +0000 (16:19 +0000)]
[project @ 2005-02-18 16:19:10 by simonmar]
Track InstalledPackageInfo updates

19 years ago[project @ 2005-02-18 15:06:38 by simonmar]
simonmar [Fri, 18 Feb 2005 15:06:47 +0000 (15:06 +0000)]
[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)

19 years ago[project @ 2005-02-18 12:09:05 by simonmar]
simonmar [Fri, 18 Feb 2005 12:09:05 +0000 (12:09 +0000)]
[project @ 2005-02-18 12:09:05 by simonmar]
use $(strip ..) in various places to eliminate spurious whitespace

19 years ago[project @ 2005-02-18 10:41:58 by simonmar]
simonmar [Fri, 18 Feb 2005 10:41:58 +0000 (10:41 +0000)]
[project @ 2005-02-18 10:41:58 by simonmar]
Detect and substitue $(GccVersion) properly

19 years ago[project @ 2005-02-18 09:32:50 by simonmar]
simonmar [Fri, 18 Feb 2005 09:32:50 +0000 (09:32 +0000)]
[project @ 2005-02-18 09:32:50 by simonmar]
Mac OS X: fixes to the splitter (rev. 1.24.6.1 on the branch)

19 years ago[project @ 2005-02-17 16:58:18 by desrt]
desrt [Thu, 17 Feb 2005 16:58:21 +0000 (16:58 +0000)]
[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.)

19 years ago[project @ 2005-02-17 14:41:36 by simonmar]
simonmar [Thu, 17 Feb 2005 14:41:36 +0000 (14:41 +0000)]
[project @ 2005-02-17 14:41:36 by simonmar]
Mention GHC's relaxation of the layout rule

19 years ago[project @ 2005-02-17 14:25:57 by ross]
ross [Thu, 17 Feb 2005 14:25:57 +0000 (14:25 +0000)]
[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.

19 years ago[project @ 2005-02-16 11:33:44 by simonmar]
simonmar [Wed, 16 Feb 2005 11:33:44 +0000 (11:33 +0000)]
[project @ 2005-02-16 11:33:44 by simonmar]
wibble to previous... (*fatalInternalErrorFn)() is not expected to return.

19 years ago[project @ 2005-02-16 11:16:40 by simonmar]
simonmar [Wed, 16 Feb 2005 11:16:42 +0000 (11:16 +0000)]
[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.

19 years ago[project @ 2005-02-16 10:50:23 by simonmar]
simonmar [Wed, 16 Feb 2005 10:50:23 +0000 (10:50 +0000)]
[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.

19 years ago[project @ 2005-02-15 16:41:25 by simonmar]
simonmar [Tue, 15 Feb 2005 16:41:25 +0000 (16:41 +0000)]
[project @ 2005-02-15 16:41:25 by simonmar]
Fix test in findPackages

19 years ago[project @ 2005-02-15 15:58:28 by simonmar]
simonmar [Tue, 15 Feb 2005 15:58:28 +0000 (15:58 +0000)]
[project @ 2005-02-15 15:58:28 by simonmar]
Fix --mk-dll

19 years ago[project @ 2005-02-15 12:41:26 by simonmar]
simonmar [Tue, 15 Feb 2005 12:41:26 +0000 (12:41 +0000)]
[project @ 2005-02-15 12:41:26 by simonmar]
omit the initial foralls for :type, unless -fglasgow-exts is on

19 years ago[project @ 2005-02-15 12:15:25 by simonmar]
simonmar [Tue, 15 Feb 2005 12:15:25 +0000 (12:15 +0000)]
[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.

19 years ago[project @ 2005-02-15 11:39:52 by simonmar]
simonmar [Tue, 15 Feb 2005 11:39:52 +0000 (11:39 +0000)]
[project @ 2005-02-15 11:39:52 by simonmar]
remove race conditions in the recent in_haskell sanity check code

19 years ago[project @ 2005-02-15 11:24:51 by simonmar]
simonmar [Tue, 15 Feb 2005 11:24:51 +0000 (11:24 +0000)]
[project @ 2005-02-15 11:24:51 by simonmar]
Fix endMkDependHS

19 years ago[project @ 2005-02-15 11:05:43 by simonmar]
simonmar [Tue, 15 Feb 2005 11:05:43 +0000 (11:05 +0000)]
[project @ 2005-02-15 11:05:43 by simonmar]
Update documentation of ghc-pkg command

19 years ago[project @ 2005-02-15 10:51:37 by simonmar]
simonmar [Tue, 15 Feb 2005 10:51:37 +0000 (10:51 +0000)]
[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".

19 years ago[project @ 2005-02-14 17:00:31 by simonmar]
simonmar [Mon, 14 Feb 2005 17:00:31 +0000 (17:00 +0000)]
[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.

19 years ago[project @ 2005-02-14 16:49:50 by simonmar]
simonmar [Mon, 14 Feb 2005 16:49:50 +0000 (16:49 +0000)]
[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.

19 years ago[project @ 2005-02-14 16:38:30 by simonmar]
simonmar [Mon, 14 Feb 2005 16:38:30 +0000 (16:38 +0000)]
[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.

19 years ago[project @ 2005-02-14 16:20:56 by simonmar]
simonmar [Mon, 14 Feb 2005 16:20:56 +0000 (16:20 +0000)]
[project @ 2005-02-14 16:20:56 by simonmar]
More libghccompat nonsense

19 years ago[project @ 2005-02-14 13:42:09 by simonmar]
simonmar [Mon, 14 Feb 2005 13:42:09 +0000 (13:42 +0000)]
[project @ 2005-02-14 13:42:09 by simonmar]
-d*-lint shouldn't turn off recompilation checking

19 years ago[project @ 2005-02-14 13:27:52 by simonmar]
simonmar [Mon, 14 Feb 2005 13:28:05 +0000 (13:28 +0000)]
[project @ 2005-02-14 13:27:52 by simonmar]
Put the GlobalRdrEnv back into the ModIface, so it gets preserved when
we reload a module without recompiling it.

19 years ago[project @ 2005-02-14 10:35:07 by simonmar]
simonmar [Mon, 14 Feb 2005 10:35:07 +0000 (10:35 +0000)]
[project @ 2005-02-14 10:35:07 by simonmar]
Fix documentation for ghc-pkg list.

19 years ago[project @ 2005-02-14 10:33:58 by simonmar]
simonmar [Mon, 14 Feb 2005 10:33:58 +0000 (10:33 +0000)]
[project @ 2005-02-14 10:33:58 by simonmar]
Fix help text for ghc-pkg list to match the implementation (it was
easier to do this than fix the implementation, and in fact this is
more consistent).

19 years ago[project @ 2005-02-11 15:28:46 by simonmar]
simonmar [Fri, 11 Feb 2005 15:28:46 +0000 (15:28 +0000)]
[project @ 2005-02-11 15:28:46 by simonmar]
Catch up with mutable list changes

19 years ago[project @ 2005-02-11 14:01:30 by simonmar]
simonmar [Fri, 11 Feb 2005 14:01:30 +0000 (14:01 +0000)]
[project @ 2005-02-11 14:01:30 by simonmar]
Careful with mutable list entries that point to THUNKs: the thunk
might be updated, and the resulting IND_OLDGEN will be on the mutable
list twice.

We previously avoided this problem by having an extra MUT_CONS object
on the mutable list pointing to the THUNK, so that we could tell the
difference between the entry on the mutable list that used to be the
THUNK, and the new entry for the IND_OLDGEN.

We don't have MUT_CONS any more (this was part of the cleanup from
separating the mutable list from the heap).  So, now, when scavenging
an IND_OLDGEN on the mutable list, we check whether it is pointing to
an already-evacuated object.  This is a bit crude, but at least it is
a localised hack.

19 years ago[project @ 2005-02-11 12:20:12 by simonmar]
simonmar [Fri, 11 Feb 2005 12:20:12 +0000 (12:20 +0000)]
[project @ 2005-02-11 12:20:12 by simonmar]
Fix a bug: thunk_selector_depth was being incremented before checking
that we had reached the depth limit, and not decremented if we had
reached the limit.

19 years ago[project @ 2005-02-11 10:35:06 by simonmar]
simonmar [Fri, 11 Feb 2005 10:35:06 +0000 (10:35 +0000)]
[project @ 2005-02-11 10:35:06 by simonmar]
Allow package identifiers with versions in the old command-line syntax

19 years ago[project @ 2005-02-11 09:57:32 by simonmar]
simonmar [Fri, 11 Feb 2005 09:57:32 +0000 (09:57 +0000)]
[project @ 2005-02-11 09:57:32 by simonmar]
Add a missing delcaration for stg_MUT_ARR_PTRS_FROZEN0_entry (unbreak
the unregisterised build).

19 years ago[project @ 2005-02-10 15:26:23 by simonmar]
simonmar [Thu, 10 Feb 2005 15:26:23 +0000 (15:26 +0000)]
[project @ 2005-02-10 15:26:23 by simonmar]
Print the banner before the "reading package config file" messages in
verbose mode.

19 years ago[project @ 2005-02-10 15:12:22 by simonmar]
simonmar [Thu, 10 Feb 2005 15:12:22 +0000 (15:12 +0000)]
[project @ 2005-02-10 15:12:22 by simonmar]
Make sure we don't register a package with an identifier that cannot
be parsed later.

19 years ago[project @ 2005-02-10 13:38:50 by simonmar]
simonmar [Thu, 10 Feb 2005 13:38:50 +0000 (13:38 +0000)]
[project @ 2005-02-10 13:38:50 by simonmar]
NO_INSTALL_LIBRARY=YES

19 years ago[project @ 2005-02-10 13:38:35 by simonmar]
simonmar [Thu, 10 Feb 2005 13:38:35 +0000 (13:38 +0000)]
[project @ 2005-02-10 13:38:35 by simonmar]
Fix library installation: we now install libraries *unless*
NO_INSTALL_LIBRARY=YES.

19 years ago[project @ 2005-02-10 13:01:52 by simonmar]
simonmar [Thu, 10 Feb 2005 13:02:40 +0000 (13:02 +0000)]
[project @ 2005-02-10 13:01:52 by simonmar]
GC changes: instead of threading old-generation mutable lists
through objects in the heap, keep it in a separate flat array.

This has some advantages:

  - the IND_OLDGEN object is now only 2 words, so the minimum
    size of a THUNK is now 2 words instead of 3.  This saves
    some amount of allocation (about 2% on average according to
    my measurements), and is more friendly to the cache by
    squashing objects together more.

  - keeping the mutable list separate from the IND object
    will be necessary for our multiprocessor implementation.

  - removing the mut_link field makes the layout of some objects
    more uniform, leading to less complexity and special cases.

  - I also unified the two mutable lists (mut_once_list and mut_list)
    into a single mutable list, which lead to more simplifications
    in the GC.

19 years ago[project @ 2005-02-10 12:35:21 by ross]
ross [Thu, 10 Feb 2005 12:35:21 +0000 (12:35 +0000)]
[project @ 2005-02-10 12:35:21 by ross]
xrefs to Cabal docs