* Mentioned CTypesISO
* Synched comments about MutableArray with reality

*** please merge ***

Removed explicit usage of hslibs/docs, it belongs to
ghc/docs/set. (untested)
*** please merge ***

*** NO NEED TO MERGE WITH 4.07 ***
    (but it would do no harm)

* Improve an error message when overlapping instance
  declarations are present.  Carl Witty reported this
  infelicitous message.  The problem arises for this code:

	class Foo a
	class (Foo a) => Bar a
	
	data Dat a = Dat
	
	instance Foo (Dat a)
	instance Foo (Dat Integer)
	
	instance Bar (Dat a)

  The instance decl for Bar should say

	instance Foo (Dat a) => Bar (Dat a) 

  because the overlapping instance decls for Foo can't
  be resolved (or at least might vary depending on how
  a is instantiated).

*** MERGE WITH 4.07 ***

* ParseIface.y should reject newtypes with no
  definition:
	newtype T a ;
  The rest of the compiler falls over if it sees such a thing.

*** MERGE WITH 4.07 ***

* The divide by zero check in the constant-folding
  rules was testing the numerator not denominator!
  (For Float and Double.)

Add greencard support.

As suggested by SimonM, moved an overview over the three components of the FFI
into the FFI document included as Chapter 7 into the GHC user guide.

Open questions:

* How can I make cross references to the doc in hslibs/?  There are already
  references to hslibs sections in other parts of ghc's user guide, but they
  are not correctly resolved when I generate html from the sgml files.

* There is now a (little) overlap with material in 6.5 (GHC Language Features:
  The foreign interface).  I would say, we could actually leave this as it is,
  as 6.5 goes on to describe GHC specifics.

fix -fno-asm-mangling flag

Force binds with coreBindsSize after every simplifier iteration.
Significantly reduces space use, especially with -O.  This could
probably be done more cleanly.

remove duplicates from the list of ways, so that eg. ghc -prof -prof
is legal.

Don't try to finalize DEAD_WEAKs.  This fix has been sitting in my
tree for so long, I can't remember whether it was a real bugfix or
just a cleanup, oh well.

Set the context switch flag to zero when running a new thread; the
timer interrupt now initiates a context switch.

context switch on a timer interrupt.

remove ToDo about mkdependHS and -osuf.

mkdependHS doesn't understand the -o option anymore; instead it grokss
ghc's -osuf option.  We never really used this, and it behaves
strangely when mixed with -s, but at least now it doesn't conflict
with GHC's -opt<blah> options.

- print the version number as x.yy.z (i.e. replace ", patchlevel z"
with ".z"), but omit the .z if z == 0.

- add --numeric-version flag which prints x.yy.z without the verbage.

- fix -optCrts (was being overriden by -optC)
- fix -osuf with -split-objs
- fix -odir

* makeForeignObj => newForeignObj

* Tried to make type mapping table look less strange, but this
  succeeded only a little bit. Could somebody else have a look?

oops, backout accidental commit

Updated the building from .hc section.

*MERGE*

Time fixes from Michael Weber <michael.weber@post.rwth-aachen.de>:

  * `toClockTime' previously didn't honor the `tz' field of a
    `CalendarTime', which led to time warping when applying

      => (toUTCTime (toClockTime ... (toUTCTime (toClockTime someTime) ... )))

    continuously.

    Now it accepts at least <local>- and UTC-encoded `CalendarTime's
    (TODO: test, whether all timezones work) and converts them
    correctly to <secs from epoch>-format (which is always UTC, as one
    might have guessed).

  * `addToClockTime' now works.

    Previously, `tz' seconds were added(!) when used like:

      => addToClockTime noTimeDiff someTime

    which is clearly wrong.
    Now, the following (hopefully) always holds

      => someTime == (addToClockTime noTimeDiff someTime)

  * `diffClockTimes' works correctly, and is the dual to
    `addToClockTime', i.e.

      => diff == ((addToClockTime diff someTime) `diffClockTimes` someTime)

    should now hold for all diff, someTime

    Previously, it reports ugly diffs at {min,hour,day,...}-breaks,
    for example:

      => "2000/06/18 01:00 UTC"
            `diffClockTimes` "2000/06/17 23:00 UTC" == 1 day, -22 hours

    whereas now it emits "7200 secs". This number can be converted
    with `normalizeTimeDiff' to "2 hours".

  * added `normalizeTimeDiff', which calculates year, month, days,
    etc. out of an unnormalized `TimeDiff' (generated by
    `diffClockTimes', for example)

  * `formatTimeDiff': added the missing "%c" case. The
    format is proprietary, though... Is there a nicer one?

ignore -no-link-chk for backwards compat.

remove tests subdir

Give 'ghc -E' the traditional behaviour: the output is dumped to
stdout.  The new driver also generates <file>.cpp.

Changed SUBDIRS from users_guide to set (the former doesn't build any more
except as part of the latter).

Added Eq and Ord instances for ArrayException

mention cvs-ghc@haskell.org

Add FreeBSD-compatible catalog.  This one works on my FreeBSD 4.0 box
with the following packages installed:

	docbook-3.1
	dsssl-docbook-modular-1.52
	jade-1.2.1
	iso8879-1986

alternatively, installing the 'docproj' meta-package gets everything
you need.

Script that automates building GHC from .hc files.

?? Shall I edit the corresponding section in building.sgml to advise the use
?? of this script (thus replacing the outdated description of the manual
?? steps - which is wrong anyway).

*** MERGE WITH 4.07 ***

* Fix the ambiguity check in TcMonotype.lhs so that
  it is not carried out for types read from interface 
  files.  Some workers may get ambiguous types but that
  does not matter, and should not make compilation fail.
  More detail in the comments with TcMonoType.tc_type_kind
  (the HsForAll case)

* Don't create specialisations for type applications 
  where there's a matching rule.  The rule should
  clearly take precedence.  (Bug reported by Sven.)
  I havn't tested this fix.

* Run the occurrence analyser after tidyCore, so that
  occurrence info (notably dead-var info) is correct
  for the code generators.  This should fix Erik's problem,
  but again I've not tested the fix.  The extra call 
  is in Main.lhs

* Fix CoreToStg so that it can handle an StgLam in mkStgCase.
  This only shows up in a wierd case, documented in 
  CoreToStg.mkStgCase

* SGML_DOC can now hold a _list_ of sgml documentations to build
* both building.sgml and ffi-art.sgml are now build in docs/

*MERGE*

Fix sparc bustage following latest round of NCG hacking (reg-alloc stuff).
Still won't work, but at least should compile again.

instance Eq (HsDecl name pat) : add default case

Quick workaround for Reuben's M$ configuration problems

sigh, fix the ordering of the phases so that splitting works again.

Added new primitives and bytecodes that support
code generation for XMLambda. All additions are
surrounded by #ifdef XMLAMBDA.

Most important additions:
- Rows (n-tuples) which are implemented on top of Frozen Mutarrays
- Inj (variant sums), which is implemented using a new constructor
called Inj which contains both the value and an unboxed int
which represents the index.

Added definition of int64 to make it compilable with both gcc and VisualC++

Added functions to the bytecode assembler that
support code generation for Xmlambda. All additions for
Xmlambda are surrounded by #ifdef XMLAMBDA.

Added definition of int64 to make it compilable with both gcc and VisualC++

urk! the arity of a record selector Id didn't take into account any
dictionary arguments due to the context on the datatype...

(fixes bug on H/OpenGL reported by Sven)

Emit slightly better x86 floating point code for comparisons, +, -,
* and /, in the common case where one of the source fake FP regs
is the same as the destination reg.