[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

[project @ 2002-06-10 02:13:03 by matthewc]
Fix nuking of warnings, and nuke another one.

[project @ 2002-06-09 19:27:16 by panne]
Un-break previous commit and nuke a few warnings

[project @ 2002-06-09 14:01:27 by matthewc]
Build cbits (not necessarily RTS) with -G0 on IA64, so GHCI doesn't have
to deal with sdata sections

[project @ 2002-06-09 13:44:30 by matthewc]
Don't SplitObjs on IA64 (not supported yet).

[project @ 2002-06-09 13:40:53 by matthewc]
IA64 doesn't have TABLES_NEXT_TO_CODE (despite being registerised).

[project @ 2002-06-09 13:39:14 by matthewc]
Recognise .subsection directive (IA64).

[project @ 2002-06-09 13:37:41 by matthewc]
Initial GHCI support on IA64.

[project @ 2002-06-07 09:40:05 by matthewc]
STG to machine register mapping for IA64.

[project @ 2002-06-07 07:16:04 by chak]
Fixed handling of infix operators in types:
- Pretty printing didn't take nested infix operators into account
- Explicit parenthesis were ignored in the fixity parser:
  * I added a constructor `HsParTy' to `HsType' (in the spirit of `HsPar' in
    `HsExpr'), which tracks the use of explicit parenthesis
  * Occurences of `HsParTy' in type-ish things that are not quite types (like
    context predicates) are removed in `ParseUtils'; all other occurences of
    `HsParTy' are removed during type checking (just as it works with `HsPar')

[project @ 2002-06-06 07:48:47 by simonpj]
Fix bogon in rebindable syntax implementation

[project @ 2002-06-05 14:39:27 by simonpj]
---------------------------------------
Add rebindable syntax for do-notation
(this time, on the HEAD)
---------------------------------------

Make do-notation use rebindable syntax, so that -fno-implicit-prelude
makes do-notation use whatever (>>=), (>>), return, fail are in scope,
rather than the Prelude versions.

On the way, combine HsDo and HsDoOut into one constructor in HsSyn,
and tidy up type checking of HsDo.

[project @ 2002-06-05 14:08:23 by simonpj]
------------------------------------------------
Fix the (new) lexer, and make the derived read
and show code work according to the new H98 report
------------------------------------------------

The new lexer, based on Koen's cunning parser (Text.ParserCombinators.ReadP)
wasn't quite right.  It's all very cool now.

In particular:

* The H98 "lex" function should return the exact string parsed, and it
now does, aided by the new combinator ReadP.gather.

* As a result the Text.Read.Lex Lexeme type is much simpler than before
    data Lexeme
      = Char   Char -- Quotes removed,
      | String String --  escapes interpreted
      | Punc   String  -- Punctuation, eg "(", "::"
      | Ident  String -- Haskell identifiers, e.g. foo, baz
      | Symbol String -- Haskell symbols, e.g. >>, %
      | Int Integer
      | Rat Rational
      | EOF
     deriving (Eq,Show)

* Multi-character punctuation, like "::" was getting lexed as a Symbol,
but it should be a Punc.

* Parsing numbers wasn't quite right.  "1..n" got it confused because it
got committed to a decimal point and then found a second '.'.

* The new H98 spec for Show is there, which ignores associativity.

[project @ 2002-06-05 14:07:47 by simonpj]
Add comment

[project @ 2002-06-05 13:30:52 by simonpj]
Documentation for rebindable do-notation

[project @ 2002-06-04 19:21:28 by sof]
cygwin support.

[project @ 2002-06-04 19:17:57 by sof]
Three way split of HSbase + adjust pointed fingers in the direction
of the real culprit here (the GNU linker, not the file format.)

[project @ 2002-06-04 18:17:50 by sof]
GhcWithInterpreter: thumbs up for cygwin

[project @ 2002-06-04 18:09:00 by sof]
loadDynamic: both mingw and cygwin slurp DLLs

[project @ 2002-06-04 16:13:53 by sof]
Given how CPP works, the prev. commit does not cut the mustard.

Reduce the risk of name clashes by giving the #defines some more
obscure names instead.

[project @ 2002-06-04 12:01:38 by simonpj]
Make the type-var-default warning more informative

[project @ 2002-06-03 23:36:40 by sof]
whether or not to quote -D and -U opts is a property of the host, not target OS

[project @ 2002-06-03 13:08:37 by matthewc]
Initial mangling and tailcalls support for IA64.

Function prologues and epilogues are deleted and we use a single register
stack frame throughout (with a little register renaming in the mangler...)
Dropthrough from fast to slow entry point is also implemented.
Tailcalls are marked and converted into jumps at mangle time.

[project @ 2002-06-03 12:56:41 by matthewc]
Remove pointless macro INIT_VECTOR

[project @ 2002-06-03 11:31:55 by simonmar]
#undef C & R after using them, we don't want to pollute C's namespace
with one-character #defines...

[project @ 2002-06-03 10:27:11 by simonmar]
Fix buglet with --force, spotted by George Russell

[project @ 2002-05-31 21:12:28 by sof]
added struct msghdr feature tests

[project @ 2002-05-29 22:39:39 by sof]
- nuke ghc_{501,502}_at_least defns, no longer used.
- mingw/cygwin cross-compilation tweak.

[project @ 2002-05-29 22:32:49 by sof]
Use HOSTPLATFORM / *_HOST_OS to examine properties of the environment/compiler
we're using.

[project @ 2002-05-29 22:11:58 by sof]
Use HOSTPLATFORM / *_HOST_OS (instead of TARGET equivalents), as we're
dealing with host-specific properties, not that of the target.

[project @ 2002-05-29 13:44:18 by simonmar]
gcc 3.1 broke the mangler again...  this time it seems gcc is adding
spurious writes to the stack in the prologue, triggered perhaps by
inline functions.  The code generated for uses of ASSIGN_DBL() and
ASSIGN_INT64() is really terrible - we should really submit a bug
report to the gcc folks for this one.

Anyway, this patch should get us going again; we now toss the spurious
instructions back into the main part of the code (just in case they
happened to be there for a good reason).