[project @ 2005-04-28 09:46:25 by simonmar]
Run each nofib program multiple times, tunable by the $(NoFibRuns)
variable.  nofib-analyse already knows how to average the times from
multiple runs.

[project @ 2005-04-27 17:13:13 by sof]
comment wibble; switch from Italian to English spelling of 'compatible'

[project @ 2005-04-27 14:37:26 by simonmar]
When using -H<size> in SMP mode, divide the total nursery size amongst
the various nurseries.  -H<size> now does something reasonable with
SMP.

[project @ 2005-04-27 14:25:17 by simonmar]
Hold the sm_mutex around access to the mutable list.

The SMP RTS now seems quite stable, I've run my simple test program
with 64 threads without crashes.

[project @ 2005-04-27 14:09:43 by simonmar]
fprintf(stderr,..) --> debugBelch(...)

[project @ 2005-04-27 12:54:45 by simonmar]
Some extra sanity checking

[project @ 2005-04-27 12:53:35 by simonmar]
initCapability: initialise the rInHaskell field (found by Valgrind)

[project @ 2005-04-27 12:52:52 by simonmar]
expandTaskTable: we need to update the hash table too
  (found by: Valgrind :-)

initTaskManager: take into account -N flag when sizing the initial
task table.

[project @ 2005-04-27 11:31:22 by simonmar]
i386 wibble

[project @ 2005-04-27 11:15:15 by simonmar]
Support for returning the renamed syntax from checkModule (untested).

[project @ 2005-04-27 09:57:14 by simonmar]
x86_64: hang register parameters off the call instruction, like
powerpc does.  This gives the register allocator better information.

[project @ 2005-04-27 09:55:50 by simonmar]
showReg(x86_64): fix
callerSaves: fix

[project @ 2005-04-27 09:54:26 by simonmar]
Fix the volatile regs to the suspendThread call

[project @ 2005-04-27 09:48:34 by simonmar]
Remove uses of stderr from .cmm code.

We can't reliably refer to stdin/stdout/stderr from .cmm, because the
C standard doesn't specify whether stderr is a variable or a macro.

[project @ 2005-04-27 09:39:27 by simonmar]
Add comment

[project @ 2005-04-27 08:25:46 by simonmar]
newTempName: instead of bumping the processId until we find a name
that isn't used, add an integer suffix to the processId.  This should
prevent temp-file conflicts that appear to have been affecting our
nightly builds and occasionally make -j.

The right way to allocate a temporary file is to create it straight
away, but I'm not sure of the implications of passing existing
temporary files to the various sub-processes that GHC executes, hence
this fix instead.

[project @ 2005-04-26 15:44:48 by simonmar]
resetStaticObjectForRetainerProfiling: catch up changes in ClosureMacros.h

[project @ 2005-04-26 15:08:16 by simonmar]
When chasing explicit imports, we now look for the module in both the
home package and external packages, and complain if it is found in
both:

Chasing modules from: Overlap
Cannot import `List':
  it was found in both overlap/List.hs and package haskell98-1.0.
  Possible fix: -ignore-package haskell98-1.0
  (imported from overlap/Overlap.hs)

Previously the home module would have been ignored in favour of the
package module.  It means we're doing a bit more searching, but the
behaviour is less obscure.

[project @ 2005-04-26 14:43:31 by simonmar]
Back out previous revision.

It appears that passing -g to the assembly phase of C compilation
results in an object file with broken debug info, that gdb can't
read.  This is probably a bug in gcc and/or binutils, but this change
means that I can't avoid it (unless we were to hack the pipeline to
do .c->.s->.o in one stage instead of two).

[project @ 2005-04-26 12:00:48 by simonmar]
Add entry about non-blocking stdin and System.Cmd.{system,rawSystem}.

[project @ 2005-04-26 00:08:17 by sof]
runSomething: 'rawSystem' might raise an exception to indicate that
'pgm' couldn't be executed, so catch this here & report.

Merge to STABLE.

[project @ 2005-04-25 15:56:19 by simonmar]
scavenge_one: fix reversed PAP/AP cases

[project @ 2005-04-25 15:36:28 by simonmar]
Partial support for deadlock detection in the threaded/SMP RTS.

The idea is to wait until a complete time slice has gone by without
running any Haskell code, and then try doing a GC to detect deadlocked
threads.

This kind of works: but we can only wake up a worker thread from the
signal handler if there's another worker running - we can't wake up the
current thread, it seems.

[project @ 2005-04-25 14:22:29 by simonmar]
interruptStgRts: call threadRunnable().  This might not work properly
from a signal handler, but it's all we can do (and seems to do
something reasonable on Linux).

[project @ 2005-04-25 14:13:23 by simonmar]
atomicModifyMutVarzh_fast: move the sm_mutex acquisition *after* the
heap check

[project @ 2005-04-25 13:45:40 by simonmar]
Yet another StgClosure that should be StgThunk

[project @ 2005-04-25 13:17:59 by simonmar]
stg_raise: we should by using StgThunk_payload(), not StgClosure_payload()

[project @ 2005-04-25 13:02:31 by simonmar]
Requested by Duncan Coutts: -optc flags get passed to the assembler
phase too.  It's not obvious, when using GHC to compile a .c file,
that options need to be passed both with -optc and -opta - gcc doesn't
need this, for example.

This is an experimental change - if it breaks anything we can back it
out.  If anyone needs to pass flags to the .c->.s phase *only*, then
we will need to add another flag for that purpose.  It seems unlikely,
though (there aren't many flags that affect the assembler only, and
those that do don't conflict with flags for the C phase).

[project @ 2005-04-25 09:32:23 by simonmar]
daVinci is now called uDraw(Graph)

[project @ 2005-04-24 21:50:26 by simonmar]
Fix bogus uses of C variable stable_ptr_table exposed by recent fix to
C backend.

[project @ 2005-04-24 20:19:30 by panne]
Warning police (unused parameter)

[project @ 2005-04-24 20:17:28 by panne]
Nuked dead code

[project @ 2005-04-24 20:10:55 by panne]
No -optc prefix fot GhcRtsCcOpts needed

[project @ 2005-04-23 22:02:31 by simonmar]
Fix comment

[project @ 2005-04-23 09:56:06 by panne]
ATTENTION: Make it compile again, but only via a wild and probably
wrong guess which might break GHCi. SimonM, please have a look at
this. (Who broke it should fix it! :-)

[project @ 2005-04-23 03:10:18 by sof]
tweak to handle ghc-6.1 compilation. Merge to STABLE

[project @ 2005-04-23 03:07:23 by sof]
added ghc_ge_602. Merge to STABLE

[project @ 2005-04-22 22:00:00 by simonmar]
Don't split in here

[project @ 2005-04-22 21:57:42 by simonmar]
Fix a comment

[project @ 2005-04-22 21:54:37 by simonmar]
enable splitting on x86_64

[project @ 2005-04-22 21:54:08 by simonmar]
splitting support on x86_64

[project @ 2005-04-22 21:16:27 by simonmar]
fix uses of stderr

[project @ 2005-04-22 17:50:13 by sof]
Switch to a manual-reset event for the completed-console-event object;
with auto-reset, we ran the risk of leaving it in a signalled state.

Merge to STABLE.

[project @ 2005-04-22 17:15:51 by sof]
Switch away from using _spawnv() to CreateProcess(); the former has the
annoying 'feature' that it quits upon Ctrl-C, leaving its child in the
background. Use CreateProcess() instead and avoid the Ctrl-C issue by
having the wrapper let go of its console before waiting for the sub-process
running GHCi to exit.

This still doesn't fix the issue of Ctrl-C handling when the 'ghci' wrapper
is invoked from a cygwin-based bash. cmd.exe users will hopefully see
an improvement in behaviour though.

Merge to STABLE.

[project @ 2005-04-22 17:00:48 by sof]
[mingw only]
Better handling of I/O request abortions upon throwing an exception
to a Haskell thread. As was, a thread blocked on an I/O request was
simply unblocked, but its corresponding worker thread wasn't notified
that the request had been abandoned.

This manifested itself in GHCi upon Ctrl-C being hit at the prompt -- the
worker thread blocked waiting for input on stdin prior to Ctrl-C would
stick around even though its corresponding Haskell thread had been
thrown an Interrupted exception. The upshot was that the worker would
consume the next character typed in after Ctrl-C, but then just dropping
it. Dealing with this turned out to be even more interesting due to
Win32 aborting any console reads when Ctrl-C/Break events are delivered.

The story could be improved upon (at the cost of portability) by making
the Scheduler able to abort worker thread system calls; as is, requests
are cooperatively abandoned. Maybe later.

Also included are other minor tidyups to Ctrl-C handling under mingw.

Merge to STABLE.

[project @ 2005-04-22 16:53:48 by sof]
oops;supposed to have been included with revert-back-to-__stginit-for-mingw commit

[project @ 2005-04-22 16:49:38 by sof]
resetStaticObjectForRetainerProfiling(): warning wibble

[project @ 2005-04-22 16:01:53 by sof]
Until the GHCi linker is made capable of handling .ctors sections in
PEi object files, stick with __stginits. Being a bit sloppy by
using 'mingw32_HOST_OS' to test for this.

[project @ 2005-04-22 14:19:07 by simonmar]
Fix creation of raise_info closures: they're THUNKs

[project @ 2005-04-22 14:18:29 by simonmar]
evacuate(): fix THUNK case

[project @ 2005-04-22 13:12:41 by simonmar]
checkSanity: fix bug in nursery checking

[project @ 2005-04-22 13:05:51 by simonmar]
SAVE_EVERYTHING: for some reason we used R10.w rather than R10 in this
macro, which just broke with the change to the C backend.

[project @ 2005-04-22 12:28:00 by simonmar]
- Now that labels are always prefixed with '&' in .hc code, we have to
  fix some sloppiness in the RTS .cmm code.  Fortunately it's not too
  painful.

- SMP: acquire/release the storage manager lock around
  atomicModifyMutVar#.  This is a hack: atomicModifyMutVar# isn't
  atomic under SMP otherwise, but the SM lock is a large sledgehammer.
  I think I'll apply the sledgehammer to the MVar primitives too, for
  the time being.

[project @ 2005-04-22 11:20:22 by simonmar]
rtsSupportsBoundThreads, isThreadBound: these should return rtsTrue
for SMP too.

[project @ 2005-04-22 10:21:10 by simonmar]
pprLit: when printing a CLabel, prefix it with '&'.  This ensures we
get the address rather than the value, in the case when the C label
refers to a variable (as might be the case if it is from a foreign
import, for example).

[project @ 2005-04-22 10:01:20 by simonmar]
Remove bogus cut-n-pasted comment

[project @ 2005-04-22 09:32:39 by simonmar]
SMP: the rest of the changes to support safe thunk entry & updates.  I
thought the compiler changes were independent, but I ended up breaking
the HEAD, so I'll have to commit the rest.  non-SMP compilation should
not be affected.

[project @ 2005-04-22 08:58:36 by simonmar]
Add a comment about possible improvement to the THUNK_SELECTOR
algorithm, from discussion with Ian Lynagh

[project @ 2005-04-22 08:41:00 by simonmar]
Various fixes to ghcprof, from Christian Maeder <maeder@tzi.de>.  Thanks!

[project @ 2005-04-22 02:10:10 by simonpj]
Fix hi-boot interface-finding code

[project @ 2005-04-21 15:28:20 by simonmar]
SMP: thunks get an extra header word so that the payload doesn't
occupy the same space as the updated value.  This is the sum total of
the changes to compiler/, which are pleasingly few.

[project @ 2005-04-21 10:06:17 by simonmar]
Allow args to be passed to GHC from runghc

  syntax: runghc [-f GHCPATH] [GHC-ARGS] FILE ARG...

[project @ 2005-04-21 09:25:40 by simonmar]
ghcprof is a perl script, not a binary

[project @ 2005-04-20 13:58:00 by simonmar]
Remove bogus code: the mutable list does not need to be rebuilt during
compaction.  It just needs to be updated, which is already happening.

(fixes crashes in compacting collection; I think a different fix is
required for STABLE, though)

[project @ 2005-04-20 13:56:43 by simonmar]
Update to match ClosureTypes.h

[project @ 2005-04-20 13:56:18 by simonmar]
remove gaps in the closure type sequence, and add a big warning comment

[project @ 2005-04-20 13:50:04 by krasimir]
modInfoExports, TypecheckedSource and ParsedSource are exported.
Added modInfoPrintUnqualified function.

[project @ 2005-04-19 15:28:35 by simonmar]
- DriverPipeline.compile: report errors in GHC_OPTIONS pragmas using the
  Message callback, and give them a proper line number.

- GHC.checkModule: read the GHC_OPTIONS pragma, and report errors
  appropriately.

[project @ 2005-04-19 14:24:55 by simonmar]
main_thread double-linkage bug

[project @ 2005-04-19 13:39:41 by simonmar]
In the event of a complete deadlock, we should handle the case when
the main thread is BlockedOnSTM (bug #1183455, the strange error
message only occurs on Windows because on Unix we end up waiting for
^C instead of deadlocking).

[project @ 2005-04-19 13:19:37 by simonmar]
Turn off splitting on x86_64

[project @ 2005-04-19 12:50:52 by simonmar]
Pass -ignore-dot-ghci to GHC

[project @ 2005-04-19 12:29:56 by simonmar]
Now build.mk.sample does *nothing* by default

[project @ 2005-04-17 11:13:30 by panne]
Haddock can't handle recursive modules currently, so we disable it for now.

[project @ 2005-04-17 11:11:32 by panne]
Haddock fixes, "-- *" should be used with care...

[project @ 2005-04-16 22:47:23 by simonpj]
Significant clean-up of the handling of hi-boot files.
Previously, when compling A.hs, we loaded A.hi-boot, and
it went into the External Package Table.  It was strange
but it worked.  This tidy up stops it going anywhere;
it's just read in, and typechecked into a ModDetails.

All this was on the way to improving the handling of
instances in hs-boot files, something Chris Ryder wanted.
I think they work quite sensibly now.

If I've got all this right (have not had a chance to
fully test it) we can merge it into STABLE.

[project @ 2005-04-16 22:46:01 by simonpj]
Improve kind error msg; may make some tests change their output

[project @ 2005-04-16 22:45:17 by simonpj]
Improve location info for kind errors; may make some tests change their output

[project @ 2005-04-16 19:39:25 by panne]
And yesterday's "I messed up DocBook XML, too!" award goes to...

   *drum roll*

   ... Simon Peyton-Jones!

Congratulations! :-)

[project @ 2005-04-16 16:05:52 by ross]
Rejig handling of environments in arrow notation: instead of the
proc_level stuff, we just record the environment of the proc, and
use that on the left side of -< and the head of (|...|).

This also makes the arrow1 test yield a compile error, as it should,
but the error message is uninformative.

[project @ 2005-04-15 21:51:28 by sof]
back out Directory.hs:1.14 and directory.c:1.7; neither meant for HEAD

[project @ 2005-04-15 18:13:34 by sof]
LIBRARY, GHCI_LIBRARY: permit settings of these to be overridden in Makefiles; Merge to STABLE

[project @ 2005-04-15 14:33:49 by simonpj]
Update the CgCmmBranch (ghc directory) up to the HEAD ghc-6-4-branch-point

[project @ 2005-04-15 14:26:39 by simonpj]
Be consistent about quotes in error messages; MERGE TO STABLE

[project @ 2005-04-15 07:13:08 by simonpj]
Update comments on hslibs to make it clear that that they are (a) deprecated,
and (b) not required for building GHC.

Merge to STABLE

[project @ 2005-04-15 05:29:48 by wolfgang]
Initialise foreign exports from GNU C __attribute__((constructor)) functions
in the stub C file, rather than from __stginit_ functions.
For non-profiling ways, leave out __stginit_ alltogether.

[project @ 2005-04-14 23:41:25 by sof]
Better reporting of WAIT_FAILEDs from WaitFor*Object() calls.

Merge to STABLE.

[project @ 2005-04-14 18:07:05 by ross]
fix typo (Sourceforge bug #1183229)

(for STABLE)

[project @ 2005-04-14 15:19:29 by simonpj]
Fix TH handling of guards

[project @ 2005-04-14 14:06:25 by wolfgang]
Fix previous commit

[project @ 2005-04-14 04:32:29 by dons]
Typo in comment only.

[project @ 2005-04-13 21:42:17 by wolfgang]
Make the status messages from ghc --make display the number of modules
to be compiled, as in:

[3 of 9] Compiling Foo.hs     ( Foo.hs, Foo.o )

[project @ 2005-04-13 15:07:20 by simonmar]
Fix breakage in i386 floating-pt comparisons

[project @ 2005-04-13 14:44:51 by simonmar]
preprocessFile: return the source filename rather than "<buffer>"

[project @ 2005-04-13 14:02:17 by simonmar]
stopTaskManager: don't complain too loudly if we can't stop all the
tasks.  The IO manager thread turns out to be an offender here;
perhaps we should start sending signals to threads if they don't stop
when they're told to.

[project @ 2005-04-13 13:30:42 by simonmar]
Add :

  loadMsg :: Session -> LoadHowMuch
  -> (Messages-> IO ()) -> IO SuccessFlag

ie. just like load, except it takes a message callback and plumbs it
down to hscMain.  checkModule now uses loadMsgs.  Better name
suggestions welcome.

[project @ 2005-04-13 13:17:35 by simonmar]
- checkModule is back, and now returns a ModuleInfo

- added:

  modInfoTopLevelScope :: [Name]
  modInfoExports       :: [Name]

- in order to implement modInfoExports, ModDetails now contains
  md_exports::NameSet.

[project @ 2005-04-13 11:11:31 by simonmar]
Fix assertion

[project @ 2005-04-12 23:14:32 by sof]
tidy up prev commit; mingw doesn't support these two symbols

[project @ 2005-04-12 19:58:56 by wolfgang]
Dynamic Linking:
On non-Win32, we can store cross-dylib pointers in static data, so disable
a Win32-specific hack on the other platforms, to prevent code bloat.