[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

[project @ 2005-02-14 13:42:09 by simonmar]
-d*-lint shouldn't turn off recompilation checking

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

[project @ 2005-02-14 10:35:07 by simonmar]
Fix documentation for ghc-pkg list.

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

[project @ 2005-02-11 15:28:46 by simonmar]
Catch up with mutable list changes

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

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

[project @ 2005-02-11 10:35:06 by simonmar]
Allow package identifiers with versions in the old command-line syntax

[project @ 2005-02-11 09:57:32 by simonmar]
Add a missing delcaration for stg_MUT_ARR_PTRS_FROZEN0_entry (unbreak
the unregisterised build).

[project @ 2005-02-10 15:26:23 by simonmar]
Print the banner before the "reading package config file" messages in
verbose mode.

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

[project @ 2005-02-10 13:38:50 by simonmar]
NO_INSTALL_LIBRARY=YES

[project @ 2005-02-10 13:38:35 by simonmar]
Fix library installation: we now install libraries *unless*
NO_INSTALL_LIBRARY=YES.

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

[project @ 2005-02-10 12:35:21 by ross]
xrefs to Cabal docs

[project @ 2005-02-10 07:01:45 by wolfgang]
Fix previous commit. Got distracted, thought I had already tested.

[project @ 2005-02-10 05:46:46 by wolfgang]
Fix Mac OS X-specific breakage introduced by rev. 1.67 of ghc/includes/Stg.h.
Adding the used attribute to static functions caused gcc to emit
Apple-specific .no_dead_strip directives, which messed things up.

[project @ 2005-02-10 04:58:09 by wolfgang]
Add a special case for Mac OS X to FP_PROG_AR_NEEDS_RANLIB.
On Mac OS X, we need to run ranlib after installing .a files because
they contain a timestamp which will be outdated after installing.

We could do a proper test for that, but it would contain the command
'sleep 6' and still apply only to one platform.

[project @ 2005-02-10 03:08:26 by wolfgang]
PowerPC: mangler trouble again

[project @ 2005-02-09 15:59:35 by wolfgang]
PowerPC: #ifdef darwin_REGS -> #if darwin_REGS

[project @ 2005-02-09 15:25:12 by simonmar]
Keep .type/.size directives for _entry symbols, but rename them to
_info.  This helps cachegrind to find where my instructions are going.

[project @ 2005-02-09 14:02:31 by simonpj]
Add comment

[project @ 2005-02-09 10:11:36 by simonmar]
oops, fix building of GHCi libraries.  We only want to avoid the
*install* if this isn't a package.

[project @ 2005-02-08 10:21:36 by simonmar]
Only build GHCi libs, install libs, and make Haddock docs for packages
(not ordinary libraries, like libghccompat.a).

[project @ 2005-02-08 10:20:50 by simonmar]
Happy 1.15 is now required

[project @ 2005-02-08 09:41:21 by simonpj]
Remove trace in mkGenericRhs (merge to STABLE)

[project @ 2005-02-07 14:05:25 by simonmar]
Fix doc building for binary distributions

[project @ 2005-02-07 13:51:26 by simonpj]
Missing commit from the module A export list commit

[project @ 2005-02-07 12:16:50 by simonpj]
-----------------------------------------------------
Switch off derivable type class generation by default
-----------------------------------------------------

Merge to STABLE

This commit switches off the generation of the support code for 'Derivable
Type Classes' by default.  Use -fgenerics to switch it on.

Motivation: seldom used, and there's a nasty blowup in Core types for data
types that have lots of constructors or lots of fields.

We now put -fgenerics in the GhcLibOpts, so that the libraries have the
support code, as before.

[project @ 2005-02-07 12:07:21 by simonpj]
------------------------------
Improve unused-import warnings
------------------------------

Merge to STABLE

This commit improves the warning messages for unused imports, in the
case where the 'module A' form is used in an export list.

In doing this, I've realised that the unused-import checking is deficient
in several ways.  At least

a) it doesn't recognise that there might be several import statements
   for the same module (TcRnTypes.imp_mods has only one entry per
   module

b) it doesn't understand about qualified modules at all

c) even more fundamentally, it starts from the used Names,
   but if the module mentions (say) aliases M.f and N.f for
   the same Name, then two imports might be necessary for it

I'm not going to fix these problems now; this message just records them.

[project @ 2005-02-07 11:13:35 by simonmar]
Mention that GHC is required for building GHC.

[project @ 2005-02-07 11:11:33 by simonmar]
Point directly to the Building Guide from here.

[project @ 2005-02-07 09:55:54 by simonpj]
Better documentation for unboxed types; merge to STABLE

[project @ 2005-02-04 17:36:47 by simonpj]
Wibble to message

[project @ 2005-02-04 17:24:01 by simonpj]
------------------------------------------------------
Report top-level implicit parameter errors more nicely
------------------------------------------------------

Consider
    module Main where

main = let ?x = 5 in print foo

foo = woggle 3

woggle :: (?x :: Int) => Int -> Int
woggle y = ?x + y

GHC's current rules say that 'foo' is monomorphic, so we get
foo :: Int
but we also get an unbound top-level constraint (?x::Int).  GHC 6.2 emits a
message like:
     Unbound implicit parameter (?x::Int)
     arising from use of `woggle' at ...

The point is that THERE IS NO WAY FOR THIS CONSTRAINT TO GET BOUND,
because we don't have a top-level binding form for implicit parameters.
So it's stupid for 'foo' to be monomorphic.

This commit improves matters by giving a much nicer error message:

     Implicit parameters escape from the monomorphic top-level binding(s) of `foo':
       ?x::Int arising from use of `woggle' at tcfail130.hs:10:6-11
     Probably fix: add type signatures for the top-level binding(s)
     When generalising the type(s) for `foo'

[project @ 2005-02-04 15:43:28 by simonpj]
Respect --exclude-module in ghc -M; some tidying up as well

[project @ 2005-02-04 15:42:54 by simonpj]
Comments and type sig

[project @ 2005-02-04 13:36:27 by simonmar]
The HEAD is now 6.5

[project @ 2005-02-04 13:32:28 by simonmar]
In the fragments of Haskell code which setup buffering and flushing
for the std Handles in GHCi, qualify names with System.IO rather than IO.

[project @ 2005-02-04 11:58:23 by simonmar]
Need to add -I. when compiling with GHC 6.3+

[project @ 2005-02-03 13:11:44 by simonpj]
Fix another substitution-related bug in CoreLint

[project @ 2005-02-03 11:21:03 by simonmar]
Move the in_haskell check to somewhere that works for the threaded RTS too.

[project @ 2005-02-03 10:59:05 by simonmar]
add a prototype

[project @ 2005-02-03 10:57:06 by simonmar]
Make setProgArgv() set the RTS's idea of the prog name too.

[project @ 2005-02-02 13:41:08 by simonpj]
Document dependency printing

[project @ 2005-02-02 13:40:34 by simonpj]
Dump package config only with -v4
Dump module dependencies (ghc -M) with -v2

[project @ 2005-02-02 13:28:29 by simonpj]
Tidy output

[project @ 2005-02-02 13:28:05 by simonpj]
Make sure that the argument of DataToTag is evaluated; rather a horrible piece of code, I fear

[project @ 2005-02-02 13:27:07 by simonpj]
Import trimming

[project @ 2005-02-02 12:41:50 by simonmar]
Add a helpful sanity check: if we try to re-enter the scheduler from
Haskell code without going via suspendThread()/resumeThread(), such as
when you have a 'foreign import unsafe' that should be 'safe', then you
get an error message.

[project @ 2005-02-02 11:49:43 by simonmar]
include ghcplatform.h

[project @ 2005-02-02 11:04:23 by simonmar]
Fix sed command line

[project @ 2005-02-02 10:50:28 by simonpj]
Futher gruesome makefile hackery to deal with building lib/compat

[project @ 2005-02-02 10:15:48 by simonpj]
Fix two separate bugs in CoreLint, both relating to the fact that the substitution
it carries must be applied exactly once.

This cures a lint crash in Text.ParserCombinators.Parsec.Perm, which was triggered
by -O2; specifically, SpecConstr generated some terms with heavy shadowing of type
variables.

[project @ 2005-02-02 10:14:01 by simonmar]
Fix isLinkMode and adjust formatting a little

[project @ 2005-02-02 09:59:41 by simonmar]
Add an entry for "duplicate definition for __module_registered"

[project @ 2005-02-01 17:49:02 by simonpj]
Finish docs for hs-boot files; please review!

[project @ 2005-02-01 17:27:34 by simonpj]
First cut at hs-boot documentation

[project @ 2005-02-01 15:55:00 by simonmar]
Generate some sensible code when presented with the output from gcc -O2

[project @ 2005-02-01 15:34:00 by simonmar]
whitespace

[project @ 2005-02-01 15:33:14 by simonmar]
hack upon the hack: confine the hack to -fasm, because gcc is too
stupid to optimise away the extra temporary.

[project @ 2005-02-01 15:08:06 by simonmar]
small perf hack in emitVectoredReturnInstr: work around lack of CSE in
the NCG by assigning info_amode to a new temporary.

[project @ 2005-02-01 14:14:41 by simonmar]
Add __attribute__((used)) to static functions, as gcc 3.4 -O2 is in the
habit of throwing them away.

[project @ 2005-02-01 13:18:05 by simonmar]
Fix the source_unchanged test in the Hsc phase

[project @ 2005-02-01 08:36:02 by simonpj]
--------------------
Command-flag cleanup
--------------------

* Fewer cases in GhcMode: eliminate DoMkDLL, DoLink, both in favour of
  StopBefore StopLn

* Replace the NoLink boolean with a GhcLink three-way flag:
NoLink, StaticLink, MakeDLL

* Corresponding plumbing to link it all up.

[project @ 2005-02-01 00:52:18 by ross]
more regex test down to libraries/base

[project @ 2005-01-31 16:59:37 by simonpj]
Tidy up stop-phase passing; fix bug in -o handling for ghc -E X.hs -o X.pp

[project @ 2005-01-31 15:48:13 by simonpj]
---------------------------
Some Template Haskell fixes
---------------------------

* Tidy up conversion from TH.Name to RdrName.RdrName. It was partly
  duplicated between Convert.thRdrName and TcSplice.lookupThName.
  Now it's all in one place: Convert.thRdrName

* Fix a bug in TH.tupleTypeName/TH.tupleDataName (GHC.Tuple -> Data.Tuple)

* Export appEs from Language.Haskell.TH

[project @ 2005-01-31 14:57:36 by simonpj]
Compile utilities and lib/compat with GhcHcOpts, in case it is profiled

[project @ 2005-01-31 14:53:13 by simonpj]
Compile utilities and lib/compat with GhcHcOpts, in case it is profiled

[project @ 2005-01-31 13:53:29 by simonpj]
Wibble to hoistForAllTys

[project @ 2005-01-31 13:25:33 by simonpj]
---------------------------
Types and evaluated-ness in
  CoreTidy and CorePrep
---------------------------

This commmit fixes two problems.

1.  DataToTagOp requires its argument to be evaluated, otherwise it silently
    gives the wrong answer.  This was not happening because we had
case (tag2Enum x) of y -> ...(dataToTag y)...
    and the tag2Enum was being inlined (it's non-speculative), giving
...(dataToTag (tag2Enum x))...

    Rather than relying on a somewhat-delicate global invariant, CorePrep
    now establishes the invariant that DataToTagOp's argument is evaluated.
    It does so by putting up-to-date is-evaluated information into each
    binder's UnfoldingInfo; not a full unfolding, just the (OtherCon [])
    for evaluated binders.

    Then there's a special case for DataToTag where applications are dealt with.

    Finally, we make DataToTagOp strict, which it really is.

2.  CoreTidy now does GADT refinement as it goes. This is important to ensure that
    each variable occurrence has informative type information, which in turn is
    essential to make exprType work (otherwise it can simply crash).
    [This happened in test gadt/tdpe]

    CorePrep has the same problem, but the solution is a little different:
    when looking up in the cloning environment, use the type at the occurrence
    site if we're inside a GADT.  It might be cleaner to use the same story as
    CoreTidy, but then we'd need to keep an in-scope set for type variables.
    No big deal either way.

[project @ 2005-01-31 13:22:57 by simonpj]
Rename mkTvSubst to mkOpenTvSubst; add new mkTvSubst

[project @ 2005-01-31 13:21:01 by simonpj]
Name evaldUnfolding = OtherCon [], and use it

[project @ 2005-01-31 12:55:50 by simonmar]
Move signal prototypes into RtsExternal.h

[project @ 2005-01-31 05:27:14 by wolfgang]
Reorganise handling of -fPIC flags passed to C compiler.
The flags expected by gcc differ only slightly per platform
(basically depending whether you are on a Mac or not), we don't need
separate cases for every processor.

TODO: Display an error message for platforms where -fPIC -fvia-C is not
      supported.

[project @ 2005-01-29 12:15:33 by ross]
Oops, misspelled OPTIONS_GHC

[project @ 2005-01-29 09:57:42 by stolz]
USE_MMAP on FreeBSD as well

[project @ 2005-01-28 23:33:51 by krasimir]
- The output from uncaught exceptions handler is redirected to RTS's errorBelch.
- The output from Debug.Trace is redirected to RTS's debugBelch
- Usually errorBelch and debugBelch messages go to stderr except for
Windows GUI applications. For GUI applications the Debug.Trace output is
redirected to debug console and the exceptions message is displayed in message box.