[project @ 2003-09-15 14:20:45 by simonmar]
Update comment for GhcUnregisterised.

[project @ 2003-09-14 22:02:29 by wolfgang]
comment wibble
(merge to stable)

[project @ 2003-09-14 13:50:57 by chak]
* Corrected some outdated comments re variables and type checking
* Added some more details about type checking

[project @ 2003-09-14 09:04:40 by dons]
sparc-unknown-openbsd exists and is supported.

Also, we run on Solaris 2.6 as well as 2.7.

[project @ 2003-09-13 11:48:29 by matthewc]
Update IA64 status (supported except no NCG)

[project @ 2003-09-12 16:32:13 by sof]
delayzh_fast: comment only

[project @ 2003-09-12 16:26:05 by sof]
- Sleep()'s resolution is millisecs, not microsecs.
- adopt a more agressive policy for augmenting the thread pool
  to handle incoming requests (see code comments for details.)

  The previous policy ran the risk of starvation in rare (and hard
  to reproduce) cases, as spotted after having chased a bug
  for two days.

Merge to STABLE

[project @ 2003-09-12 16:16:43 by sof]
- awaitRequests() comments
- code reformatting

Merge to STABLE

[project @ 2003-09-12 14:42:36 by sof]
comment wibble

[project @ 2003-09-12 09:46:37 by simonmar]
Ignore lines containing

  #pragma .*

generated by GCC 3.3's CPP on MacOS X, apparently.

[project @ 2003-09-11 16:46:15 by simonpj]
Make sure that exprIsTrivial responds "False" to
(scc "foo" x)

We do not treat (_scc_ "foo" x) as trivial, because
  a) it really generates code, (and a heap object when it's
     a function arg) to capture the cost centre
  b) see the note [SCC-and-exprIsTrivial] in Simplify.simplLazyBind

[project @ 2003-09-11 15:36:37 by wolfgang]
The FP_CHECK_CONSTS test for the errno constants requires stdio.h to be
included, at least on Mac OS X.

MERGE TO STABLE.

[project @ 2003-09-11 15:12:25 by wolfgang]
Mac OS X:

Bypass the dlfcn compatibility layer in lookupSymbol, use Apple's
NSModule functions directly instead. This protects us from differences
between different implementations of the dlcompat library (regarding
treatment of prefixed underscores).
Note that the compatibility layer is still used in addDLL (it's needed by
the POSIX library anyway).

Also, add a little more sanity checking (checkProddableBlock) to the Mach-O
linker itself.

MERGE TO STABLE

[project @ 2003-09-11 14:34:24 by simonmar]
Document -fth and -fimplicit-params

[project @ 2003-09-11 14:20:40 by simonpj]
--------------------------
    Allow recursive dictionaries
   --------------------------

In response to various bleatings, here's a lovely fix that involved simply
inverting two lines of code, to allow recursive dictionaries.  Here's
the comment.  (typecheck/should_run/tc030 tests it)

Note [RECURSIVE DICTIONARIES]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Consider
    data D r = ZeroD | SuccD (r (D r));

    instance (Eq (r (D r))) => Eq (D r) where
        ZeroD     == ZeroD     = True
        (SuccD a) == (SuccD b) = a == b
        _         == _         = False;

    equalDC :: D [] -> D [] -> Bool;
    equalDC = (==);

We need to prove (Eq (D [])).  Here's how we go:

d1 : Eq (D [])

by instance decl, holds if
d2 : Eq [D []]
where  d1 = dfEqD d2

by instance decl of Eq, holds if
d3 : D []
where d2 = dfEqList d2
d1 = dfEqD d2

But now we can "tie the knot" to give

d3 = d1
d2 = dfEqList d2
d1 = dfEqD d2

and it'll even run!  The trick is to put the thing we are trying to prove
(in this case Eq (D []) into the database before trying to prove its
contributing clauses.

[project @ 2003-09-11 14:18:38 by simonpj]
Add comments, change a WARN to an ASSERT

[project @ 2003-09-11 13:41:38 by simonpj]
Undo bogus claim that
_scc_ "foo" x  ==  x

This just isn't right in general, for example when x is a
top-level function.

[project @ 2003-09-11 10:36:56 by simonmar]
HEAD is now 6.3

[project @ 2003-09-11 10:35:28 by simonmar]
When setting TARGETPLATFORM, we should also set foo_TARGET_ARCH,
bar_TARGET_OS, etc.

[project @ 2003-09-11 10:26:31 by simonmar]
Add missing 'cd T' to the porting instructions.

[project @ 2003-09-11 09:29:22 by simonmar]
The reify keywords should be valid when template haskell is turned on.

[project @ 2003-09-11 05:05:34 by sof]
hGetStringBuffer: open file in binary mode

[project @ 2003-09-11 00:58:02 by sof]
Fix race condition re: WorkItems and SubmitWork().

It is unsafe to access a WorkItem after it has been queued, since
a worker thread may have already serviced (and freed) it.
Hence, return request IDs without looking at the WorkItem.

If desired, this one could be merged to STABLE.

[project @ 2003-09-11 00:39:04 by sof]
awaitRequests(): canonicalize removal of thread from blocked_queue

[project @ 2003-09-10 16:44:03 by simonmar]
New flags for individual syntax extensions:

  -fth                enables template haskell
  -fimplicit-params   enables implicit parameters

These extensions are still implied by -fglasgow-exts, but they can now
be switched off individually with -fno-th and -fno-implicit-params
respectively.  Also, -fno-ffi now works as expected.

I cleaned up the interface to the lexer a bit while I was here.

[project @ 2003-09-10 14:45:24 by simonmar]
Quick hack to work around the dynamic exception crashes in GHCi.  The
problem is this: the Data.Typeable library (Data.Dymamic in previous
versions of GHC) maintains an internal cache mapping type names to
unique numbers, and this cache is used for fast comparisons on
TypeReps.  In GHCi, there are actually two versions of the
Data.Typeable library loaded: one linked to GHCi itself, and the other
dynamically loaded, so there are two copies of the hash tables.

The problem is that if we have a Dynamic value generated using one set
of hash tables, it will erroneously appear to be of a different type
when the other hash tables are used.

The hack I've instigated is to use the central RTS genSym (which
already exists) to generate the unique Ids, so that the two copies of
the dynamic library will be using distinct Ids, and Dynamics from one
will never be recognisable to the other.

[project @ 2003-09-09 11:18:25 by simonmar]
Slight amendment to the porting instructions to ensure that the
target's config.h doesn't get overwritten on the host system.

[project @ 2003-09-09 09:49:49 by simonmar]
Build Happy, Alex, and Haddock before GHC if they are in this source tree.

[project @ 2003-09-09 09:12:36 by simonmar]
Back out previous revision

[project @ 2003-09-09 09:08:42 by panne]
Teach ghc-pkg the now standard -?/-V options

[project @ 2003-09-09 08:50:50 by simonmar]
Oops, forgot to commit this file with the new lexer.  M.() is no
longer legal.

[project @ 2003-09-09 08:40:38 by panne]
Recognize the qualified unit as a lexeme when -fglasgow-exts is on
(which is the case when lexing .hi-boot files).

Note: Should `[]' and `(->)' be recognized similarly?

[project @ 2003-09-08 17:55:40 by sof]
New option, -DNAME=VAL, for adding to the set of
variables substituted for when processing a package
description.

(Needed to support Windows installers for GHC packages.)

[project @ 2003-09-08 14:46:37 by panne]
*sigh* Handle lines like (note the blank!):

{-# LINE 1 "<command line>" #-}

[project @ 2003-09-08 14:23:11 by simonmar]
The POSIX library has more or less completed moving over to the
hierarchical libraries, so remove the statement that says it hasn't
moved.

We should really aim to have everything moved from hslibs to libraries
before 6.2, then we can finally remove hslibs altogether for 6.4.

[project @ 2003-09-08 13:33:29 by simonmar]
Two more tokens that herald layout contexts: 'rec' and '[d|'.

[project @ 2003-09-08 13:31:35 by panne]
Handle lines like (note the blank!):

# 1 "<command line>"

[project @ 2003-09-08 13:20:29 by simonmar]
Add Alex as a pre-supposed tool, and mention it in a few places.

[project @ 2003-09-08 13:01:16 by simonmar]
mdo needs layout treatment too.

[project @ 2003-09-08 11:53:14 by simonmar]
Remove old lexer; replaced by Lexer.x.

[project @ 2003-09-08 11:52:24 by simonmar]
Replace the handwritten lexer with one generated by Alex.

YOU NOW NEED ALEX (v 2.0 or later) TO COMPILE GHC FROM CVS.

Highlights:

  - Faster than the previous lexer (about 10% of total parse time,
    depending on the token mix).

  - More correct than the previous lexer: a couple of minor wibbles
    in the syntax were fixed.

  - Completely accurate source spans for each token are now collected.
    This information isn't used yet, but it will be used to give much
    more accurate error messages in the future.

  - SrcLoc now contains a column field as well as a line number,
    although this is currently ignored when printing out SrcLocs.

  - StringBuffer is now based on a ByteArray# rather than a Ptr, which
    means that StringBuffers are now garbage collected.  Previously
    StringBuffers were hardly ever released, so a GHCi session would
    leak space as more source files were loaded in.

  - Code size reduction: Lexer.x is about the same size as the old
    Lex.lhs, but StringBuffer.lhs is significantly shorter and
    simpler.  Sadly I wasn't able to get rid of parser/Ctypes.hs
    (yet).

[project @ 2003-09-08 09:05:42 by simonmar]
Update comp.lang.functional FAQ URL.

[project @ 2003-09-05 09:51:02 by simonmar]
Add powerpc-unknown-linux.

[project @ 2003-09-04 13:58:12 by simonmar]
- Document -e

- Rearrange the documentation on "modes".  I've moved the list of
  modes from the beginning of "Using GHC", to a subsection a little
  later, and the sections describing make-mode and batch-mode are now
  further subsections of this.

- Add missing modes to the list: -M and --mk-dll.

[project @ 2003-09-04 11:08:46 by simonmar]
Add a new command-line flag -e EXPR, which runs ghc in interactive
mode and evaluates EXPR only before exiting.

Also, the lexer now ignores lines beginning with "#!".  This is so
that we can use ghc as a scripting language with Unix-style scripts
beginning with

#! /usr/local/bin/ghc -e main

(well, it's not quite that simple, but I'll leave the details for the
more enterprising hackers).

[project @ 2003-09-04 09:56:16 by simonmar]
Don't bogusly use HOST instead of BUILD or TARGET in the platform defines.

[project @ 2003-09-04 09:55:28 by simonmar]
Flesh out the platform variables, rather than bogusly setting BUILD
and TARGET to HOST most of the time.

This doesn't give us any better cross-compiling support, but it's a
step in the right direction.

Also, I added a comment describing the proper meaning of BUILD
vs. HOST vs. TARGET, and which one to test in various parts of the
source tree.

[project @ 2003-09-04 09:53:31 by simonmar]
Uncomment AC_SUBSTs for many of the platform variables, since I'm
guessing that this comment doesn't apply any more:

dnl Cannot afford all these SUBSTs (because of braindead seds w/ 99 cmd limits)

[project @ 2003-09-03 13:16:37 by simonmar]
Update the unregisterised bootstrapping instructions to recommend
using hc-build, and rearange some things.

[project @ 2003-09-03 11:15:19 by simonmar]
Add SplitObjs=NO and GhcLibWays=  to the build.mk when doing an
unregisterised bootstrap.

[project @ 2003-09-02 10:26:53 by simonmar]
Wibbles to the touching of files to avoid unecessary recompilation
when doing 'make install' in a tree after bootstrapping.

[project @ 2003-09-02 10:23:30 by simonmar]
Hopefully make this work when GhcWithInterpter=YES, without breaking
the case when GhcWithInterpreter=NO (the latter is usually the case
when doing an unregisterised bootstrap).

[project @ 2003-09-02 09:20:05 by simonmar]
Fix cut-n-pasto in delayzh_fast

[project @ 2003-09-01 12:35:09 by simonpj]
Add a binding for
maxPrimOpTag :: Int
to
primop-tag.hs-incl
with the obvious meaning.

[project @ 2003-08-29 16:15:59 by panne]
-fno-prune-tydecls is dead, Jim...

[project @ 2003-08-29 16:13:48 by simonmar]
Oops, forgot one file in the x86_64 commit.

[project @ 2003-08-29 16:00:25 by simonmar]
Initial x86-64 (aka amd64) support.

Unregisterised it works perfectly.  Registerised, I think it's almost
there, except that I seem to be running into the known codegen bug in
GCC with register variables (bug #7871 in the gcc bugzilla), which
means registerised support is basically hosed until the GCC folks
can get their act together.

We get 8 more registers on amd64, but only 2 more callee-saves
registers.  The calling convention seems to pass args in registers by
default, using the previously-callee-saves %rsi and %rdi as two of the
new arg registers.

I think GHCi should work, since we already have 64-bit ELF support
thanks to Mat Chapman's work on the IA64 port.  I haven't tried GHCi,
though.

The native code generator should be a breeze, because it's so similar
to plain x86.

[project @ 2003-08-29 12:05:39 by simonmar]
Remove unused references to $T_create_word

[project @ 2003-08-28 16:33:42 by simonmar]
Warning police: fix a few 64-bit warnings

[project @ 2003-08-28 16:30:45 by simonmar]
- Revamp the "Porting GHC" guide, now that I've gone through the process
  of doing a cross-compile using unregisterised HC files and written
  down a set of instructions that should work.

- Update a few odds and ends that have become out of date.

[project @ 2003-08-28 04:52:02 by dons]
m68k-apple-netbsd is now guessed as m68k-unknown-netbsd,
that's alright though.

[project @ 2003-08-27 15:18:29 by panne]
green-card => greencard
Green Card => GreenCard

Although Alastair prefers "Greencard", the library's name is
"Foreign.GreenCard", and unless we change this, too, "GreenCard" is
more consistent.

[project @ 2003-08-27 14:24:08 by panne]
Moved green-card to greencard, no other changes yet.

[project @ 2003-08-27 14:11:16 by panne]
* Added short option -? for --help and -V for --version.
* Small cleanup

[project @ 2003-08-27 13:56:37 by simonmar]
Add x86_64-unknown-linux.  Personally I think amd64 is a better name
than x86_64, but it looks like that's what the GNU folks have gone for.

[project @ 2003-08-27 13:28:01 by panne]
Added short option -V for long option --version

[project @ 2003-08-27 12:29:21 by simonmar]
Always display the prompt if verbosity > 0, previously it was only
displayed if stdin was a tty.  This fixes problems with running GHCi
under Emacs, which expects to see a prompt.

[project @ 2003-08-27 08:53:17 by panne]
Added a section about commandline arguments

[project @ 2003-08-27 08:17:52 by panne]
Make validator.w3.org happy

[project @ 2003-08-26 12:12:49 by simonmar]
Add missing case to eval_thunk_selector().

[project @ 2003-08-26 10:42:21 by panne]
Revamped version comparison test (no bash-isms, more conservative)

[project @ 2003-08-26 08:51:57 by panne]
Nuked unused gzip/compress detection (including misnomer). If the need
for something like this should ever arise again, it should be made a
bit more general, anyway (compress/gzip/bzip2, compression levels, etc.)

[project @ 2003-08-22 23:04:46 by sof]
html stylesheet: added comments on what you need to define in order to get one page output

[project @ 2003-08-22 22:38:02 by sof]
rts_mainEvalIO() ~> rts_mainLazyIO()

Merge to STABLE.

[project @ 2003-08-22 22:24:12 by sof]
setupRtsFlags(): don't overwrite argv[0] with its basename:
   - argv[] may not point to writeable memory
   - System.Environment.getProgName strips off the 'dirname' portion
     anyway.
   - Not possible to get at the untransformed argv[0] from
     Haskell code, should such a need arise.

Uses of prog_argv[0] within the RTS has now been replaced with prog_name,
which is the basename of prog_argv[0].

[project @ 2003-08-22 16:38:51 by sof]
mkHomeModLocation: basename has to be equal to module name, not just suffix

[project @ 2003-08-22 10:21:46 by panne]
The autoconf magic for the library documentation belongs to
libraries/, not ghc/.

[project @ 2003-08-22 06:29:42 by panne]
OpenBSD's sh doesn't like the parentheses in "foo='(-1)'" so let's
drop them. Thanks to Don for pointing this out.

[project @ 2003-08-21 20:08:43 by panne]
Added a new test FP_HTML_COMMENT (better name?) and use it in configure.ac.

As an additional bonus, autoreconf doesn't call aclocal anymore
because we have an aclocal.m4 now and it obviously doesn't require
automake stuff. This fixes problems with older (< 1.4-p6) automakes,
which insist on "configure.in".

[project @ 2003-08-20 20:51:15 by krc]
Oops. Should import Directory instead of System.Directory.

[project @ 2003-08-20 18:48:20 by sof]
my_prefix_match ~> Util.maybePrefixMatch

[project @ 2003-08-20 15:54:43 by panne]
Nuked FPTOOLS_O_BINARY test and use FP_CHECK_CONST instead, which is
shorter and better (e.g. cross compilation).

[project @ 2003-08-20 15:44:18 by panne]
* Cleaned up FP_CHECK_ALIGNMENT test a bit.

* Nuked FPTOOLS_CHECK_CCONST test in favour of a more general one
  which handles cross compilation and languages different from C.

[project @ 2003-08-20 15:16:43 by sof]
pprInstr{PPC}: insist on xori,ori,andi being fed non-negative immediate values.
               GAS is barfing on neg. values.

[ Don't have access to a PPC box right now to really test the change, so beware.]

[project @ 2003-08-20 15:11:06 by simonmar]
After removing temp files, reset the list of temporary files to empty.

[project @ 2003-08-20 15:10:22 by simonmar]
Don't drop {-# LINE #-} pragmas into the source, because it confuses
CPP's line counts, making them off-by-one.  GHC understands the
CPP-style line pragmas anyhow.

[project @ 2003-08-20 15:07:56 by simonmar]
Use Util.maybePrefixMatch instead of DriverUtil.my_prefix_match, and
remove the latter.

[project @ 2003-08-20 15:06:23 by simonmar]
Define maybePrefixMatch, which is like prefixMatch but returns the
rest of the String after the match.

[project @ 2003-08-20 12:55:14 by simonmar]
Fix bug in hashSubStringBA, which it appears has been broken for
ever.  However, I suspect so far we've never tickled the bug in GHC.

[project @ 2003-08-20 07:07:59 by panne]
Nuked the broken FPTOOLS_CC_FLAG test and added a more general
FP_CHECK_FLAG test instead.

[project @ 2003-08-19 22:09:09 by krc]
External Core programs sometimes contain newtype declarations with no
data constructors. GHC expected every newtype declaration to have at
least one data constructor, so it would previously fail with an "empty list"
error if you tried to compile such a program. These declarations are handled
properly now.

[project @ 2003-08-19 22:04:54 by krc]
Added correct parsing of external calls. External calls are assumed to be
static C calls, but this assumption should always hold since compiling to
External Core will fail for programs that contain any other kind of
external call.

Added correct parsing of the null-pointer literal (0::GHCziPrim.Addrzh) --
this caused an "unknown integer literal type" error before.

[project @ 2003-08-19 22:03:04 by krc]
Changed outputForeignStubs to check whether stub files from a previous
compilation still exist (in the case where no new stubs exist). This is
necessary to compile External Core programs that require these stubs.

[project @ 2003-08-19 21:59:40 by krc]
Two issues:

1. According to the spec for External Core, datatype declarations are required
to have at least one data constructor. Previously, if you tried to generate
External Core for a program containing a datatype declaration with no
constructors, generating the Core file would succeed, but compiling it would
result in a parse error. Changed MkExternalCore to signal an error if such
a declaration is encountered while compiling to External Core.

2. Previously, MachLabel literals were translated into Externals when compiling
to External Core. This is wrong -- such literals are not foreign calls and
can't be handled in the same way (compiling any External Core code generated
from code containing literals resulting from "foreign label" declarations would
result in a strange error message). There doesn't seem to be any way to
correctly represent these labels in External Core, so MkExternalCore now
signals an error if one of these is encountered as well.

[project @ 2003-08-19 16:32:23 by simonmar]
setlocale(LC_ALL,""), to enable the locale support in libc.

[project @ 2003-08-19 16:31:40 by simonmar]
Check for locale.h and wctype.h

[project @ 2003-08-19 15:41:19 by panne]
Nuked FPTOOLS_MSGHDR_MSG_ACCRIGHTS and FPTOOLS_MSGHDR_MSG_CONTROL
tests. Use autoconf's own macros for dealing with struct members.

[project @ 2003-08-19 14:22:14 by panne]
Death to the acconfig.h hack!

[project @ 2003-08-19 12:42:39 by panne]
Well, we really need autoconf 2.52...

[project @ 2003-08-19 12:35:47 by panne]
Expand the (a bit faulty) definition of AC_MSG_FAILURE, which is only
available since autoconf 2.57. Thanks to Don for pointing this out.