[project @ 2004-03-13 00:56:45 by sof]
tidy up conditional forkProcess() support

[project @ 2004-03-12 21:37:27 by ross]
Deal gracefully with arrow commands where an expression is expected,
instead of panicking.  (Bug reported by Isaac Jones)

merge to STABLE

[project @ 2004-03-12 10:16:34 by simonmar]
clean up pretty printing slightly

[project @ 2004-03-11 14:34:22 by simonpj]
Fix a nasty and long-standing bug in the handling of functional dependencies.

The story is told in comments with TcSimplify.tcSimplifyRestricted.  We were
simpifying a group of constraints *twice*: once to establish the type vars to
quantify over, and once "for real" but less brutally.  Unfortunately, the
less-brutally part meant that we did less improvement, which in turn meant
that an invariant (no captured constraints) was violated.  Consequential
bizarre results.

The test is typecheck/should_compile/tc177

[project @ 2004-03-11 14:31:56 by simonpj]
Better printing for LHsBinds

[project @ 2004-03-11 14:31:35 by simonpj]
Sanity checking

[project @ 2004-03-11 14:31:13 by simonpj]
Comments

[project @ 2004-03-11 14:29:59 by simonpj]
Add sanity check

[project @ 2004-03-11 14:29:29 by simonpj]
Better layout in interppSP

[project @ 2004-03-11 10:52:55 by simonpj]
Fix a long-standing bug; the type checker should recover from a failure
in the default method of a class declaration, else the default method
doesn't get added to the type envt, and we get an opaque
    tcLookupGlobal: `FunnyError.$dmb' is not in scope
message.

[project @ 2004-03-11 10:00:23 by simonmar]
Don't call hGetArray with a size of zero (fixes read021).

[project @ 2004-03-11 09:53:45 by simonmar]
Add dependency on GHC.TopHandler if this is the main module.

[project @ 2004-03-10 00:18:21 by wolfgang]
Remove -static flag from non-darwin PowerPC builds
(this was a relic from the long-dead AIX support)

Merge to STABLE.

[project @ 2004-03-08 16:08:52 by simonmar]
Apply $libdir hack to GHCi libs in the same way as ordinary .a libs.

[project @ 2004-03-08 12:47:41 by simonmar]
Add small embellishment to one of the filename rules.

[project @ 2004-03-08 11:20:53 by simonmar]
Ignore #! lines for scripts.

[project @ 2004-03-08 10:31:00 by stolz]
-Wall police

[project @ 2004-03-08 10:27:22 by stolz]
INLINEs for Intel's icc

[project @ 2004-03-07 17:56:35 by ross]
if X is available, build X11 and HGL packages.

[project @ 2004-03-05 16:04:52 by simonmar]
Be clearer about when source files must match module names.

[project @ 2004-03-05 16:04:05 by simonmar]
Fail with an error if the interface file we're reading doesn't contain
the module we were expecting.

[project @ 2004-03-05 15:09:37 by stolz]
Fix #ifdef'ed flags for FreeBSD.

[project @ 2004-03-05 15:05:28 by simonmar]
comments

[project @ 2004-03-05 14:12:13 by stolz]
Reduce noise if there's no in-tree version of Happy.

[project @ 2004-03-05 13:58:20 by simonmar]
Fix a URL link

[project @ 2004-03-03 17:11:51 by simonpj]
Comments only

[project @ 2004-03-03 17:10:33 by simonpj]
Patches to configuration script for MSYS.  It's not clear that this'll
always work, because we generate paths like /c/mingw/bin, which MinGW
binaries won't understand -- but all of them seem to be fed to the
MSYS shell, which translates them to c:/mingw/bin etc.

Perhaps the Right Thing is to implement msyspath, by analogy with
cygpath, to convert /c/xxx to c:/xxx?

Anyway, this patch seems to work for now.

[project @ 2004-03-02 22:22:48 by ralf]
Once more revised some details of the Data class.
Comitting the Data.Generics* library in a second.

[project @ 2004-03-02 13:57:55 by simonpj]
New chapter on MSYS, filenames etc

[project @ 2004-03-01 14:18:35 by simonmar]
Threaded RTS improvements:

  - Make the main_threads list doubly linked.  Have threads
    remove themselves from this list when they complete, rather
    than searching for completed main threads each time around
    the scheduler loop.  This removes an O(n) loop from the
    scheduler, but adds some new constraints (basically completed
    threads must remain on the run queue until dealt with, including
    threads which have been killed by an async exception).

  - Add a pointer from the TSO to the StgMainThread struct, for
    main threads.  This avoids a number of places where we had
    to traverse the list of main threads to find the right one,
    including one place in the scheduler loop.  Adding a field to
    a TSO is cheap.

  - taskStart: we should be resetting the startingWorkerThread flag
    in here.  Not sure why we aren't; maybe this got lost at some point.

  - Use the BlockedOnCCall flags in the non-threaded RTS too.  Q: what
    should happen if a thread does a foreign call which re-enters the
    RTS, and then sends an async exception to the original thread?
    Answer: it should deadlock, which it does in the threaded RTS, and
    this commit makes it do so in the non-threaded RTS too (see
    testsuite/tests/concurrent/should_run/conc040.hs).

[project @ 2004-03-01 14:11:01 by simonmar]
Remove Deadlock_closure (not used any more).

[project @ 2004-03-01 13:44:10 by simonmar]
add a few RTS ways (combinations) I missed out

[project @ 2004-03-01 13:34:54 by simonmar]
Warning police, and omit a useless debugging msg in !RTS_SUPPORTS_THREADS.

[project @ 2004-03-01 12:33:17 by simonmar]
wibble

[project @ 2004-03-01 10:17:53 by simonmar]
Update version numbering policy: we now allow snapshots along the
stable branch (eg. 6.2.20040229).

[project @ 2004-03-01 10:16:28 by simonmar]
Update docs for RTS options and GhcRtsThreaded

[project @ 2004-03-01 10:14:54 by simonmar]
Add -fno-generics to SRC_HC_OPTS

[project @ 2004-03-01 10:13:01 by simonmar]
build target should use '::' not ':'

[project @ 2004-03-01 09:49:48 by simonmar]
make it compile (win32)

[project @ 2004-02-28 15:37:09 by ralf]
Revised dataTypeOf member in "deriving ( ... Data ...)".
This revised schemes relies on the updated modules
Data.Typeable and Data.Generics*.

[project @ 2004-02-27 16:16:31 by simonmar]
cosmetic only

[project @ 2004-02-27 15:58:54 by simonmar]
redo the condition-cache hack

[project @ 2004-02-27 15:56:25 by simonmar]
Remove an unnecessary #ifdef

[project @ 2004-02-27 13:35:16 by simonmar]
hs_exit(): call exitScheduler() *after* finalizeWeakPointersNow(),
because the latter needs to create/run threads.

[project @ 2004-02-27 12:39:16 by simonmar]
scheduleWaitThread(): don't call THREAD_RUNNABLE because the new
thread is bound, and therefore only runnable by the current OS
thread.  Calling THREAD_RUNNABLE just wakes up workers and slows
things down.

[project @ 2004-02-26 16:49:34 by simonmar]
waitCondition: use RELEASE_LOCK/ACQUIRE_LOCK because these check the
return value for errors.

[project @ 2004-02-26 16:42:57 by simonmar]
Check result of SetEvent() for errors.

[project @ 2004-02-26 16:39:40 by simonmar]
#include "RtsUtils.h" for barf prototype

[project @ 2004-02-26 16:36:21 by simonmar]
Add the usual multi-slurp protection

[project @ 2004-02-26 16:31:44 by simonmar]
Avoid signalling thread_ready_cond if rts_n_waiting_tasks==0.

[project @ 2004-02-26 16:21:36 by simonmar]
merge rev. 1.6.2.3 from ghc-6-2-branch

[project @ 2004-02-26 16:19:32 by simonmar]
thread_id_mutex isn't required (at least for non-SMP), since
createThread is under the Capability.

[project @ 2004-02-26 16:14:21 by simonmar]
no need to declare thread_ready_cond

[project @ 2004-02-26 16:13:46 by simonmar]
thread_ready_cond is initialised in two places

[project @ 2004-02-26 14:49:05 by simonpj]
Back out hiding change -- hiding should hide the qualified name too

[project @ 2004-02-26 12:42:07 by simonpj]
Fix a long-standing bug, whereby 'hiding' hid the qualified name as
well as the unqualified one.

This bug is not as easy to fix in the 6.2 branch, unfortunately; don't merge.

[project @ 2004-02-26 11:41:22 by simonmar]
oops, fix the build

[project @ 2004-02-25 17:35:44 by simonmar]
Feeble performance hack for the threaded RTS: instead of
allocating/releasing a new condition variable for each new call-in, we
just cache one in the RTS and re-use it for the next call.

On a little test I have here which does lots of call-ins on Windows,
this reduces the slowdown for using the threaded RTS from a factor of
7-8 down to a factor of 4-5.  I'm aiming for a factor of 2 or better...

[project @ 2004-02-25 16:18:00 by simonmar]
ShutdownIOManager: don't free the IOManagerState, because the worker
threads haven't necessarily died yet and might reference it again.

Apparently fixes a strange bug: I have a Haskell program which on
Windows causes the shell to exit after I run it.  I don't know what
the real cause of this is, but this is a clear bug and fixing it stops
the shell from exiting.

MERGE TO STABLE

[project @ 2004-02-25 14:51:37 by simonpj]
Add a -fno-full-laziness flag

[project @ 2004-02-25 13:57:38 by simonmar]
- For each language option, document exactly the syntax that is
  stolen from Haskell 98.

- Fix up docrot at the beginning of the chapter.

[project @ 2004-02-25 13:54:30 by simonpj]
Yet another fix to the -Onot optimisation that hides data type
representations in .hi files.

1.  Expose the representation if any fields are exposed

2.  Don't expose newtypes whose data-cons are abstract, unless the
    rep type is a FFI type.  (Previously we were more conservative
    and always exposed newtypes, just in case of a foreign decl.)

[project @ 2004-02-25 11:49:14 by simonmar]
Document -threaded and -debug options.

[project @ 2004-02-25 11:34:29 by simonmar]
Allow configuration of RTS ways by tweaking the GhcRTSWays variable.
Add default settings to config.mk.in, and add a comment to explain
which values make sense here.

Also, I disabled the debug_p way by default; it's of limited
usefulness to the average punter.

[project @ 2004-02-25 11:31:24 by simonmar]
Combined build tags get '_' between them

[project @ 2004-02-25 11:24:34 by simonmar]
Add missing case to allowedWith

[project @ 2004-02-25 11:17:47 by simonmar]
Delete options for building the debugging RTS; it is now built by default.

[project @ 2004-02-25 11:16:20 by simonmar]
Fix a test

[project @ 2004-02-25 10:34:44 by simonmar]
Add an entry to the FAQ about buffering of stdout

[project @ 2004-02-24 17:56:00 by simonpj]
more hi-boot documentation

[project @ 2004-02-24 17:37:11 by simonmar]
wibble to previous commit; forgot to save my buffer

[project @ 2004-02-24 17:33:32 by simonmar]
Experimental support for RTS-only "ways"

HEADS UP!  This changes the way that the threaded RTS is used, and
also the use of debugging RTSs:

  - We always build threaded and debugging variants of the RTS now.
    The --enable-threaded-rts configure option is ignored (and will
    be removed at some point).

  - New option:  -debug     enables the debugging RTS

  - New option:  -threaded  enables the threaded RTS.  When the threaded
    RTS is stable enough, we might make it the default.

The new options just cause a different variant of the RTS to be linked
in, and they cause one or two extra options to be enabled too.  The
implementation is via the usual ways machinery in the compiler, except
that these ways are labelled as RTS-only, and so don't require
rebuilding all the libraries too.

All of this means we can ship threaded and debugging RTSs with GHC, so
that users don't need to fetch and build a GHC source tree to use
them.

I'd like to get this functionality into 6.2.1 if possible, so please
test (I'm willing to stretch the definition of "interface change" to
accomodate this, since having a threaded RTS available without having
to build GHC will be a big win for the Visual Studio project).

[project @ 2004-02-24 17:13:56 by simonpj]
Better error message for no-instance in deriving clause

[project @ 2004-02-24 16:44:26 by simonpj]
---------------------------------------
      Allow constructors to be specified in hi-boot files
  ---------------------------------------

[project @ 2004-02-24 15:57:52 by simonpj]
---------------------------------------
    Record dependency on Template Haskell package
  ---------------------------------------

An unforseen consequence of making the Template Haskell package separate
is that we need to record dependency on the package, even if no TH module
is imported.  So we carry round (another) mutable variable tcg_th_used in
the tyepchecker monad, and zap it when $(...) and [| ... |] are used.

I did a little tidy-up and documentation in ListSetOps too

[project @ 2004-02-24 15:51:33 by simonmar]
only set WAYS if it isn't already set

[project @ 2004-02-24 15:18:27 by simonpj]
---------------------------------------
    Make foreign import "&foo" work in constructors
  ---------------------------------------

Merge to stable branch

A foreign-imported-label might be in another DLL or library, and
can't be in the read-only static data.  This showed up when compiling
unix/System/Posix/Env.hs without -O

[project @ 2004-02-24 12:39:12 by simonmar]
New version of translate for mingw32, which correctly (allegedly)
reverses the command-line translation done by the standard C runtime
on Windows.

[project @ 2004-02-24 11:52:34 by simonpj]
Comment only

[project @ 2004-02-24 10:34:21 by simonmar]
Fix line-comments.  The problem was that eg.

   --->

at the beginning of a line was matched by the line-comment rule,
because the varsym rule isn't valid at this point (we're in the bol
state).  Fix is to split the line-comment regex into two:

"--"\-* [^$symbol] .* ;
"--"\-* / { atEOL } ;

so a sequence of dashes on its own is only treated as a comment if
we're at the end of the line (or file).  Otherwise the dashes must be
followed by a non-symbol character.

[project @ 2004-02-20 21:29:36 by panne]
Reverted to previous version, too, because of wrong SGMLDocWays-handling, sorry,
but the build system should not be changed in a  non-backwards-compatible way
easily...

[project @ 2004-02-20 21:21:27 by panne]
Reverted previous commit, it was fixing things in the wrong place: When e.g.
"make dvi" is issued, we should *always* descend into the docs directory.
Generally, the SGMLDocWays-handling seems to be a bit a wrong: We should not
change how make descends down the hierarchy, but should make it a no-op when
nothing should/can be done.

[project @ 2004-02-16 10:46:07 by simonmar]
Fiddle with HC_SPLIT_POST to reduce the size of the ld command line
and hence avoid bumping into command-line length limits for a while
longer.

From: Jeremy Shaw <jeremy.shaw@lindows.com>

[project @ 2004-02-15 13:38:18 by krasimir]
Remove unused hooks

[project @ 2004-02-15 13:29:44 by krasimir]
Remove unused hooks

[project @ 2004-02-15 12:20:26 by panne]
I'm giving up here: The various quoting-related changes in rawSystem &
friends make it impossible to pass $(exeext) with double quotes via
cpp to Main.hs in a backwards-compatible way, so we revert to a cruel
hack here.  >:-(  Improvements are highly welcome...

[project @ 2004-02-12 14:58:46 by simonpj]
Document non-std behaviour of array

[project @ 2004-02-12 14:31:53 by simonpj]
Make trace message more accurate

[project @ 2004-02-12 14:31:39 by simonpj]
Layout only

[project @ 2004-02-12 14:31:11 by simonpj]
Fix printing bug for Kinds

[project @ 2004-02-12 02:11:33 by mthomas]
Support for nightly builds of utilities, esp. machines with no doc tools.

[project @ 2004-02-12 02:04:59 by mthomas]
General cleanup and updates.

[project @ 2004-02-12 02:01:54 by mthomas]
Rejig haddock and alex.

[project @ 2004-02-11 09:19:01 by simonmar]
Happy 1.14 is needed to compile the HEAD these days.

[project @ 2004-02-10 17:55:24 by simonpj]
Always expose newtypes, at least for now (see comments)

[project @ 2004-02-10 17:54:50 by simonpj]
Comments only

[project @ 2004-02-09 17:23:20 by ross]
only uses FFI, not glasgow-exts.  also updated ffi syntax

[project @ 2004-02-09 17:21:33 by ross]
the H98 Report no longer says Char is 16 bits, plus a typo

[project @ 2004-02-09 15:04:19 by malcolm]
Some hints about compiling hsc2hs with nhc98.

[project @ 2004-02-07 16:37:06 by panne]
Simplifications + small steps towards a stand-alone hsc2hs:

 * Replaced Config module by a simple CPP macro
 * Don't #include configuration header
 * Bumped version number
 * Warning police