[project @ 2002-07-09 15:57:09 by sof]
merge rev. 1.1.6.1

[project @ 2002-07-09 08:19:14 by simonpj]
Improve error message

*** MERGE TO STABLE BRANCH ***

[project @ 2002-07-09 06:16:14 by panne]
Fixed my email address

[project @ 2002-07-08 14:38:26 by simonpj]
Remove duplicate line in Linker.c

*** MERGE TO STABLE BRANCH ***

[project @ 2002-07-08 13:39:10 by simonmar]
HEAD is now 5.05

[project @ 2002-07-06 10:14:31 by chak]
Reverted to check for `null srcs' (instead of `null real_srcs') to determine
whether to throw "no input files".  Otherwise, something like

  ghc -o foo ObjectGeneratedByGHC.o

doesn't work anymore.

[project @ 2002-07-05 20:30:38 by sof]
isSourceFile: widened to also return True for .hc files

[project @ 2002-07-05 19:05:41 by sof]
5.04

[project @ 2002-07-05 16:15:14 by sof]
When validating the number of source files on the command-line wrt other
options, only consider source files. i.e., don't consider .a's and .o's
that inadvertently, and idempotently, might be present.

[project @ 2002-07-05 01:23:45 by mthomas]
Allow module names up to 50 chars wide without misalignment of the
profiling table.  For example: "Graphics.UI.ObjectIO.Process.Toolbar"
no longer messes up the output.

The output is now well over 80 chars wide now.

[project @ 2002-07-04 13:06:28 by simonpj]
Fix error message

[project @ 2002-07-04 10:38:49 by simonmar]
In hPutLitString, catch the empty string case before calling hPutBuf.
Some older versions of hPutBufFull choke on a zero-length buffer.

Fixes occasional problems with the Sparc native code generator, which
uses SLIT("") in a couple of places.

[project @ 2002-07-04 07:09:47 by mthomas]
Mingw32 has problems with "long long" display so convert to float output.

[project @ 2002-07-03 15:17:15 by sof]
comment out para mentioning old ghc-win32 page; doesn't contain all that much useful info any longer

[project @ 2002-07-03 15:16:09 by sof]
updated external core frontend info

[project @ 2002-07-03 15:15:24 by sof]
Remove -fcore option, a NOP. (The Core frontend is enabled by feeding
GHC .hcr files.)

[project @ 2002-07-03 14:50:27 by wolfgang]
added a note about MacOS X support

[project @ 2002-07-03 11:28:12 by simonmar]
version 5.04

[project @ 2002-07-03 11:27:43 by simonmar]
Announce for 5.04

[project @ 2002-07-03 11:16:56 by simonmar]
Small fix to the documentation installation

[project @ 2002-07-03 11:07:58 by simonmar]
Remove old BIN_DIST specific stuff

[project @ 2002-07-03 10:04:38 by simonmar]
Remove the stuff on building the documentation to the building guide.

[project @ 2002-07-03 10:02:19 by simonmar]
Add documentation on building the documentation.  (I've moved the
section on building documentation from the User's Guide, it doesn't
really seem appropriate there).

[project @ 2002-07-03 08:53:50 by simonpj]
Reorder sections of type-system extensions

[project @ 2002-07-03 08:30:27 by simonmar]
Direct the punter to GHC.Exts rather than GHC.Prim.

[project @ 2002-07-02 16:27:38 by simonmar]
After loading a package, set the context to something sensible

[project @ 2002-07-02 16:21:23 by simonmar]
Note that literate Haskell is not supported by hsc2hs at the moment

[project @ 2002-07-02 14:55:29 by simonmar]
Updates, mainly to get the documentation installed

[project @ 2002-07-02 14:53:30 by simonmar]
Give the book an id so it gets a nice HTML filename

[project @ 2002-07-02 14:48:51 by simonmar]
make $(datadir)/html before attempting to install into it

[project @ 2002-07-02 14:24:54 by simonmar]
For a binary distribution, install docs using the standard
install-docs target rather than hacky copying (needed now that we use
Haddock for building some of the docs too).

[project @ 2002-07-02 14:15:22 by simonmar]
Don't omit docs when doing a binary dist

[project @ 2002-07-02 13:56:22 by simonmar]
Remove $(GhcBinDistDocs), this will be done differently

[project @ 2002-07-02 13:50:56 by simonmar]
Install SGML docs in the right places:

$(datadir)/html for HTML docs
$(datedir)      for everything else

(our main HTML documentation tree will live in $(datadir)/html now).

[project @ 2002-07-02 13:20:53 by simonmar]
Updates

[project @ 2002-07-02 12:24:48 by simonmar]
Don't install a SIGFPE handler: this causes us to go into an infinite
loop on a divide by zero on some systems (BSD, but not Linux it
seems).  I don't think we really ought to be ignoring SIGFPE: for
floating point exceptions, the system usually has a way to request
that operations generate exceptional values rather than signals (this
is the required IEEE behaviour), and for integral division we should
really check beforehand for division by zero (we don't yet).

[project @ 2002-07-02 10:35:12 by wolfgang]
mkMarshalCode implemented for PowerPC

[project @ 2002-07-02 10:31:39 by wolfgang]
GHCi lib autogeneration for MacOS X

[project @ 2002-07-02 10:22:13 by wolfgang]
added a missing SymX(__eprintf)
improved handling of local symbols

[project @ 2002-07-02 10:16:35 by wolfgang]
MacOS X: Make GHCi load frameworks specified in package.conf.
Frameworks specified directly from the command line are still ignored.

[project @ 2002-07-02 08:41:28 by simonmar]
Allow Haddock docs to be turned off by setting $(NO_HADDOCK_DOCS) to "YES"

[project @ 2002-07-01 15:19:48 by simonmar]
set $(INSTALL_SGML_DOC)

[project @ 2002-07-01 15:16:33 by simonmar]
Be a bit more verbose when installing documentation

[project @ 2002-07-01 14:29:05 by simonmar]
I'm pretty sure we don't need to set WAYS in here.

[project @ 2002-07-01 14:27:26 by simonmar]
Add a top-level HTML page pulling together all the GHC documentation.

[project @ 2002-07-01 14:13:16 by simonmar]
set ==> users_guide

[project @ 2002-07-01 12:31:21 by simonmar]
"set" is no more - the User's Guide will be separate from the hslibs and
libraries documentation from now on.

[project @ 2002-06-28 14:06:52 by simonpj]
-----------------------------------
Fix the CAF info field of error Ids
-----------------------------------

A bizarre bug.   In MkId, we build the Id for various error-y
Ids (like pAT_ERROR_ID) that we grab out of thin air in various
places (like the desugarer).  They were marked as not referring
to any CAFs, but this was a lie!  In fact, they refer to 'untangle'
(see GHC.Err) and thence to a CAF.

Result: GC crash under very obscure circumstances.  (Rob's optimistic
evaluator tickled it.)

Solution: give them more conservative IdInfo.

Two other better solutions to think about:

* Don't grab them out of thin air; instead get them from
  an interface file.

* Treat them as always-live (requires mod to garbage collector)
  so they don't need to be mentioned in SRTs at all

[project @ 2002-06-27 15:38:56 by simonmar]
Finally fix foreign export and foreign import "wrapper" so that
exceptions raised during the call are handled properly rather than
causing the RTS to bomb out.

In particular, calling System.exitWith in a foreign export will cause
the program to terminate cleanly with the desired exit code.  All
other exceptions are printed on stderr (and the program is
terminated).

Details:

GHC.TopHandler.runMain is now called runIO, and has type IO a -> IO a
(previously it had type IO a -> IO (), but that's not general enough
for a foreign export).  The stubs for foreign export and forein import
"wrapper" now automatically wrap the computation in runIO or its dual,
runNonIO.  It turned out to be simpler to do it this way than to do
the wrapping in Haskell land (plain foreign exports don't have
wrappers in Haskell).

[project @ 2002-06-27 15:15:05 by simonmar]
Don't process OPTIONS in the HsPp phase as well as the cpp phase.
Fixes problems with include files appearing twice in stub files.

[project @ 2002-06-27 12:17:47 by simonmar]
Improve the documentation for hierarchical libraries.

[project @ 2002-06-27 09:41:18 by simonmar]
Updates to make sure that the CVS instructions mention 'libraries' in
addition to 'hslibs'.

[project @ 2002-06-26 13:33:05 by simonpj]
Add 5.04 release notes draft

[project @ 2002-06-26 08:20:25 by stolz]
The "Ouch"-commit:
 - didn't notice my local change to libraries/Makefile
 - forgot to register new files

[project @ 2002-06-26 08:18:38 by stolz]
- Make TSO "stable" again: The thread label was changing the size of the
   TSO if you were building a debugging-RTS, leading to binary
   incompatibility. Now we map TSOs to strings using Hash.c.

- API change for labelThread: Label arbitrary threads.

[project @ 2002-06-25 15:49:58 by mthomas]
Latest Mingw32 needs libmingwex, but for now not when installing as
bundled gcc is out of date.

[project @ 2002-06-25 12:05:14 by simonmar]
Various hacking on the User's Guide to knock it into shape for the release.

Committers: please take a look at the 5.04 release notes and feel free
to tweak or embelish the description for your favourite new feature.

[project @ 2002-06-25 11:29:55 by simonmar]
Update license date.

[project @ 2002-06-25 08:32:19 by simonmar]
We need Happy version 1.13 now, not 1.9

[project @ 2002-06-24 14:50:59 by simonmar]
use $(GHC_INPLACE) rather than $(GHC) when pre-processing source for Haddock.

[project @ 2002-06-24 14:38:06 by simonmar]
dump and read interfaces for Haddock

[project @ 2002-06-24 14:35:44 by simonmar]
comment updates only

[project @ 2002-06-24 14:35:28 by simonmar]
add HADDOCK_OPTS

[project @ 2002-06-21 13:34:42 by simonpj]
---------------------------------------------
    Calculate the free vars of a type 'right'
---------------------------------------------

type C u a = u

Question: is 'a' free in 'C u a'?

I think the answer should be 'no'; see typecheck/should_compile/tc157.hs
for an example of why it matters.  This commit makes it so, and adds
comments to explain a dark corner in the zonking code.

[project @ 2002-06-21 13:31:50 by simonpj]
Dont use the isomorphic-newtype deriving trick for recursive newtypes

[project @ 2002-06-21 12:53:03 by simonmar]
bugfix

[project @ 2002-06-20 16:03:56 by simonmar]
Add $(INSTALL_IFACES) and $(INSTALL_IFACES_WITH_DIRS) for installing
interfaces (the latter replaces $(INSTALL_DATAS_WITH_DIRS).

[project @ 2002-06-20 16:03:19 by simonmar]
Add support for building & installing Haddock docs.

Also minor cleanups: use $(ifacedir) rather than overriding $(datadir)
when installing interfaces.

[project @ 2002-06-20 16:00:18 by simonmar]
Add:
$(ifacedir) where we install interfaces
$(HADDOCK_INPLACE) how to invoke Haddock

[project @ 2002-06-20 08:33:20 by simonpj]
Fix validity checking of an instance-decl context

[project @ 2002-06-20 08:31:48 by simonpj]
Teach code gen about some extra no-ops

[project @ 2002-06-19 20:45:14 by sof]
When handling external call-ins (via the RTS API) in
the multi-threaded case, add the StgMainThread that
the external thread is going to block waiting on
to the main_threads list prior to scheduling the new
worker thread.

Do this by having the scheduler provide a new entry
point, scheduleWaitThread().

Fixes a bug/race condition spotted by Wolfgang Thaller
(see scheduleWaitThread() comment) + enables a little
tidier interface between RtsAPI and Schedule.

[project @ 2002-06-19 13:38:36 by simonmar]
Include directories called 'tests' in source distributions

[project @ 2002-06-19 12:01:28 by simonmar]
Fix wibble in previous commit to Weak.c.  Should fix problems with
--enable-threaded-rts.

[project @ 2002-06-18 15:13:32 by simonpj]
clarification in multi-threading docs

[project @ 2002-06-18 14:00:07 by simonpj]
Comments only

[project @ 2002-06-18 13:58:53 by simonpj]
typo

[project @ 2002-06-18 13:58:22 by simonpj]
---------------------------------------
    Rehash the handling of SeqOp
---------------------------------------

See the comments in the commentary (Cunning Prelude Code).

* Expunge SeqOp altogether

* Add GHC.Base.lazy :: a -> a
  to GHC.Base

* Add GHC.Base.lazy
  to basicTypes/MkId.  The idea is that this defn will over-ride
  the info from GHC.Base.hi, thereby hiding strictness and
  unfolding

* Make stranal/WorkWrap do a "manual inlining" for GHC.Base.lazy
  This happens nicely after the strictness analyser has run.

* Expunge the SeqOp/ParOp magic in CorePrep

* Expunge the RULE for seq in PrelRules

* Change the defns of pseq/par in GHC.Conc to:

{-# INLINE pseq  #-}
        pseq :: a -> b -> b
        pseq  x y = x `seq` lazy y

        {-# INLINE par  #-}
        par :: a -> b -> b
        par  x y = case (par# x) of { _ -> lazy y }

[project @ 2002-06-18 12:43:42 by simonpj]
Notes about par/seq

[project @ 2002-06-18 08:05:44 by simonpj]
Wibble on printing outmost parens

[project @ 2002-06-17 16:21:42 by simonpj]
Ignore fewer type errors in tcSimplifyTop; fixes tc106

[project @ 2002-06-17 15:53:42 by simonpj]
Fix HnType parenthesisation; fixes rnfail020, tcfail057

[project @ 2002-06-17 11:24:30 by simonpj]
Record correct location for fixity errors

[project @ 2002-06-16 16:10:29 by panne]
* Use the encoded module name for the C stub of "foreign import
  wrapper", so e.g. the '.' in hierarchical module names gets mangled.
* Nuke unused parameter in mkFExportCBits

[project @ 2002-06-15 20:23:12 by wolfgang]
Documentation for Darwin/MacOS X-Specific options/packacke.conf entries
(-framework, -framework-path; framework_dirs, extra_frameworks)

[project @ 2002-06-15 19:38:11 by wolfgang]
remove RTS_DARWIN_ONLY_SYMBOLS, use RTS_EXTRA_SYMBOLS instead.

[project @ 2002-06-15 14:45:53 by sof]
all: restore old behaviour of exiting upon 'boot' failure in a SUBDIR

[project @ 2002-06-15 12:05:13 by sof]
Accept empty package lists.

[project @ 2002-06-14 16:19:04 by simonpj]
Another HsParTy wibble; cures rn018 failure

[project @ 2002-06-14 14:04:01 by simonpj]
Make count_lines use the in-place unlit

[project @ 2002-06-14 14:03:25 by simonpj]
---------------------------------------
Utterly expunge the tyGenInfo field of
an IdInfo
---------------------------------------

tyGenInfo was a relic of a previous version of Keith's usage
analyser.  It's just dead code, so I've nuked it.

[project @ 2002-06-14 14:00:49 by simonpj]
Wibble in Generics; fixes str002

[project @ 2002-06-14 08:23:57 by simonpj]
---------------------------------------
Add a target "count" which counts lines
       in user source files
---------------------------------------

[project @ 2002-06-13 23:31:55 by sof]
Make it compile

[project @ 2002-06-13 21:14:51 by wolfgang]
added a clarifying comment to the PowerPC version

[project @ 2002-06-13 11:41:15 by simonmar]
Fix a logic bug which caused some dead weak pointers to not get
stubbed out with DEAD_WEAK.

[project @ 2002-06-12 22:29:43 by wolfgang]
Initial support for GHCi on MacOS X.
The code still has problems with global variables in compiled C code, but
it _seems_ to work OK for GHC-compiled code. Many error checks are still
missing.

[project @ 2002-06-12 22:04:25 by wolfgang]
Added support for Frameworks on MacOS X.
*) On MacOS X, two additional command-line options are supported:
-framework <FRAMEWORK>    link with framework, gets passed on to ld
-framework-path <PATH>    gets passed on to ld as "-F<PATH>". (-F is already taken for GHC).
*) Two corresponding additional options for package.conf files:
framework_dirs
extra_frameworks
These options are allowed on any platform. They are ignored everywhere except on MacOS X.
*) ghc-pkg no longer uses Read. Instead, it uses a Happy parser. ghc/utils/ghc-pkg/ParsePkgConfLite.y is basically a copy of ghc/compiler/main/ParsePkgConf.y. "Light" refers to the fact that it doesn't depend on other GHC modules and has less sophisticated error reporting.
*) Frameworks will need some additional work for GHCi.

[project @ 2002-06-12 21:43:47 by wolfgang]
(powerpc-darwin) Add a missing newline to the prologue.

[project @ 2002-06-11 08:06:33 by matthewc]
#ifdef use of EM_IA_64