[project @ 2004-10-06 00:56:59 by dons]
Use >> append onto build.mk, so that build scripts can add extra vars
to build.mk.

Replace grep \(a\|b\) with [ab]. \| is an extended regex, whereas the
[] class is a basic RE -- so it works with BSD grep.

[project @ 2004-10-05 13:56:31 by simonmar]
Document -ferror-spans

[project @ 2004-10-05 07:46:41 by simonpj]
Report bogus strictness annotation on newtype

[project @ 2004-10-04 15:51:00 by simonpj]
------------------------------------
Part-fix an awkward interaction
between case-of-case and GADTs
------------------------------------

Consider
data T a where
  MkT :: a -> b -> T a

f = /\a. \(w::a).
   case (case ...) of
  MkT a' b (p::a') (q::b) -> [p,w]

The danger is that we'll make a join point

j a' p = [p,w]

and that's ill-typed, because (p::a') but (w::a).

Solution so far: don't abstract over a', because the type refinement
maps [a' -> a] .  Ultimately that won't work when real refinement goes on.

Then we must abstract over any refined free variables.  Hmm.  Maybe we
could just abstract over *all* free variables, thereby lambda-lifting
the join point?   We should try this.

[project @ 2004-10-04 09:35:08 by simonpj]
Sort decls in cycle for error message

[project @ 2004-10-04 09:28:00 by simonpj]
Better reporting of duplicate top-level defns

[project @ 2004-10-04 09:27:32 by simonpj]
Make combineSrcSpans commutative

[project @ 2004-10-04 09:11:09 by simonpj]
Improve error locations for binding conflicts

[project @ 2004-10-04 05:54:04 by dons]
Warning police. Move prototype of genericRaise into RtsExternal.h, so
the libraries can see it.

[project @ 2004-10-04 03:37:22 by wolfgang]
Mac OS X:
Make the Linker deal properly with object files that lack a symbol table or
a dynamic symbol table.
Objects that don't import any symbols don't get a dynamic symbol table,
which caused GHCi to crash.

MERGE TO STABLE

[project @ 2004-10-03 17:13:34 by panne]
Warning police (added missing #include)

[project @ 2004-10-03 16:50:53 by panne]
Warning police (bring 'raise' into scope)

[project @ 2004-10-03 16:50:01 by panne]
Synched with latest GHC #include changes: Add '.' to the #include path manually.

[project @ 2004-10-03 16:37:42 by panne]
Warning police

[project @ 2004-10-03 16:28:02 by panne]
Improved #include path handling:

* Don't use '-I-', it breaks a lot of system headers, e.g.

     #include <GL/glut.h>

  fails (when using freeglut), because /usr/include/GL/glut.h contains

     #include "freeglut_std.h"

  but /usr/include/GL/freeglut_std.h will not be found. It is a bit
  debatable if the header is broken and should use

     #include "GL/freeglut_std.h"

  instead. Anyway, a grep through the SuSE 9.1 system headers shows that
  there seems to be no real common practice, so let's play safe and don't
  use '-I-'.

* Don't use '-I .', #include stub headers "locally" instead, e.g. use

     #include "Concurrent_stub.h"

  instead of

     #include "Control/Concurrent_stub.h"

  Note that "Control" is still in the #include path, because the *.hc file
  is normally in /tmp and the stub header is in the directory where *.hs
  is. We could remove this path element, too, if the stub header would be
  copied to the directory of the *.hc file during compilation. SimonM?

[project @ 2004-10-03 16:17:08 by ross]
spelling

[project @ 2004-10-03 02:04:29 by dons]
Make sure genericRaise symbol is defined on all platforms, so Linker.c
won't complain, even if they don't actually use it.

[project @ 2004-10-02 15:12:48 by wolfgang]
Deal with Apple's broken cpp 3.3 (you know, the one that inserts useless
#pragma lines into it's output) by filtering it's output through
grep -v.
This shouldn't be a problem for other platforms, and it's much simpler
than to make the parsers for ghc-pkg, genprimopcode and happy ignore
those lines.

MERGE TO STABLE

[project @ 2004-10-02 07:32:25 by dons]
When linking against libpthreads, raise(3) can behave strangely on
some platforms (OpenBSD at least, maybe other BSDs, not Linux). So use
pthread_kill() to generate signals when running the threaded rts,
instead of raise(), when System.Posix.Signals.raiseSignal is called.

raiseSignal will call genericRaise, in the rts, which knows which
function to use.

[project @ 2004-10-01 19:23:47 by panne]
Layout rule again...

[project @ 2004-10-01 16:39:26 by simonpj]
Allow kind signatures in GADT data type declarations

[project @ 2004-10-01 16:04:23 by simonpj]
First-cut documentation for GADTs

[project @ 2004-10-01 16:03:58 by simonpj]
A bit more about hi-boot

[project @ 2004-10-01 14:25:12 by simonpj]
Comments only

[project @ 2004-10-01 13:46:07 by ross]
fix dummy ASSERTM2 macro

[project @ 2004-10-01 13:42:04 by simonpj]
------------------------------------
Simplify the treatment of newtypes
Complete hi-boot file consistency checking
------------------------------------

In the representation of types, newtypes used to have a special constructor
all to themselves, very like TyConApp, called NewTcApp.    The trouble is
that means we have to *know* when a newtype is a newtype, and in an hi-boot
context we may not -- the data type might be declared as
data T
in the hi-boot file, but as
newtype T = ...
in the source file.  In GHCi, which accumulates stuff from multiple compiles,
this makes a difference.

So I've nuked NewTcApp.  Newtypes are represented using TyConApps again. This
turned out to reduce the total amount of code, and simplify the Type data type,
which is all to the good.

This commit also fixes a few things in the hi-boot consistency checking
stuff.

[project @ 2004-10-01 11:12:30 by simonpj]
Remove bogus defn in hi-boot

[project @ 2004-10-01 10:08:49 by simonpj]
-----------------------------------
Do simple checking on hi-boot files
-----------------------------------

This commit arranges that, when compiling A.hs, we compare
the types we infer with those in A.hi-boot, if the latter
exists.  (Or, more accurately, if anything A.hs imports in
turn imports A.hi-boot, directly or indirectly.)

This has been on the to-do list forever.

[project @ 2004-10-01 09:49:14 by simonpj]
Generate in the @size suffix for a stdcall symbol properly.

[project @ 2004-10-01 03:52:57 by wolfgang]
Replace \? by \{0,1\} in the sed regular expressions, as the former
does not work with Mac OS X's (= BSD's) sed.

I'm a bit confused by the situation here:
According to Mac OS X man pages, the latter syntax is part of the
POSIX 1003.2 standard for basic regular expressions, while the former
is not. According to the manpage installed with my Gentoo linux, neither
is in the POSIX standard.

However, GNU sed accepts both \? and \{0,1\}, while Mac OS X's sed accepts
only \{0,1\}.

[project @ 2004-09-30 21:00:57 by panne]
Stylistic changes

[project @ 2004-09-30 20:56:49 by panne]
Get all project info from configure.ac

[project @ 2004-09-30 19:24:53 by panne]
Make it compile with a GHC 6.x. The layout rule seems to be a mystery
even for one of the "fathers" of Haskell...  :-}

[project @ 2004-09-30 14:45:41 by simonpj]
Add HsPat.hi-boot

[project @ 2004-09-30 10:35:15 by simonpj]
------------------------------------
Add Generalised Algebraic Data Types
------------------------------------

This rather big commit adds support for GADTs.  For example,

    data Term a where
    Lit :: Int -> Term Int
  App :: Term (a->b) -> Term a -> Term b
  If  :: Term Bool -> Term a -> Term a
  ..etc..

    eval :: Term a -> a
    eval (Lit i) = i
    eval (App a b) = eval a (eval b)
    eval (If p q r) | eval p    = eval q
         | otherwise = eval r

Lots and lots of of related changes throughout the compiler to make
this fit nicely.

One important change, only loosely related to GADTs, is that skolem
constants in the typechecker are genuinely immutable and constant, so
we often get better error messages from the type checker.  See
TcType.TcTyVarDetails.

There's a new module types/Unify.lhs, which has purely-functional
unification and matching for Type. This is used both in the typechecker
(for type refinement of GADTs) and in Core Lint (also for type refinement).

[project @ 2004-09-30 10:31:58 by simonmar]
Add -I- after the include paths when running gcc.  This prevents
accidental shadowing of system includes by putting a file called
eg. stdint.h in the current directory.

[project @ 2004-09-30 05:54:18 by krasimir]
absCSyn directory doesn't exists in the HEAD

[project @ 2004-09-30 03:05:21 by dons]
Look for getpwnam, getpwuid.

[project @ 2004-09-29 16:51:16 by wolfgang]
Mac OS X:
Fix a serious bug in the linker's handling of Mach-O's
GENERIC_RELOC_VANILLA relocations.

MERGE TO STABLE

[project @ 2004-09-29 13:46:17 by simonpj]
Remove unused defnition

[project @ 2004-09-29 09:49:21 by ross]
revise the description of rebindable syntax to match what it seems to do

[project @ 2004-09-28 15:08:58 by simonmar]
rts_evalStableIO: set rtsApiCapability to NULL *before* calling
scheduleWaitThread, matching the way the other eval_* functions do
this.

The previous way lead to a suble race condition:
  - thread A calls rts_evalIO, enters scheduleWaitThread()
    (rtsApiCapability == NULL).
  - thread B calls rts_evalStableIO, creates a main thread and enters
    scheduleWaitThread() (rtsApiCapability == &MainCapability)
  - thread A exits scheduleWaitThread, sees that rtsApiCapability is
    non-NULL, and calls releaseCapability() on it.  This is bogus,
    because thread A doesn't actually hold the capability, and we've
    done a double-release.

This scenario leads to assertion failures in a debug threaded RTS, and
probably crashes in a non-debug threaded RTS.

MERGE TO STABLE

[project @ 2004-09-28 13:15:19 by simonmar]
Avoid some warnings from gcc by appending an 'LL' suffix to 64-bit
integers on a 32-bit platform.

Suggested by: Sven Panne <Sven.Panne@aedion.de>

[project @ 2004-09-28 11:40:26 by simonmar]
oops, revert version number to 6.3 again

[project @ 2004-09-28 09:00:56 by simonmar]
Ignore RULES pragmas unless we're in -fglasgow-exts mode.

[project @ 2004-09-27 17:43:47 by wolfgang]
Mac OS X: Fix an incorrect ASSERT

Merge to STABLE

[project @ 2004-09-27 15:55:25 by wolfgang]
GHCi support for PowerPC Linux, courtesy of Ryan Lortie <desrt@desrt.ca>.

MERGE TO STABLE

[project @ 2004-09-27 13:49:26 by simonmar]
A few updates to the local Emacs variables in these files.  For some
reason, I can't get Emacs' PSGML mode to work with the new XML files
(although I thought I had it working before... strange).

[project @ 2004-09-27 11:48:29 by simonmar]
sed-magic for ProjectVersionInt: make it work for version numbers with
patchlevel components (ToDo: ProjectPatchLevel still isn't set
properly in version.mk, this has to be updated by hand).

[project @ 2004-09-27 11:35:59 by simonmar]
export errMsgContext

[project @ 2004-09-24 16:29:33 by wolfgang]
PowerPC/Mac OS X:
Improve epilogue mangling.
This became necesssary because the new CG may "fall through" for cases in
a switch that are known to never happen, so GCC generates the epilogue code
again. With the previous CG, GCC never generated any epilog code, because
every function ended with an unconditional tail jump.

[project @ 2004-09-22 16:37:23 by sof]
Limit ThreadLabel API use to DEBUG only.

[project @ 2004-09-22 08:36:58 by panne]
* Replace obsolete macro AC_TRY_RUN with AC_RUN_IFELSE
* Same for AC_TRY_LINK and AC_LINK_IFELSE
* Minor cleanup

[project @ 2004-09-21 17:49:22 by panne]
* Added new target for creating *.bz2 source distributions
* Cleanup *.tar.gz / *.tar.bz2 when things go wrong

[project @ 2004-09-21 17:39:08 by panne]
Makefile.config is dead, so don't include it in SRC_DIST_FILES.

[project @ 2004-09-21 17:29:55 by panne]
Make sure "docs" and "dist" exactly once in SRC_DIST_DIRS.

MERGE TO STABLE

[project @ 2004-09-20 17:53:40 by panne]
Removed dependency of $(TOP)/mk/config.mk on $(TOP)/config.status, resurrecting
"make distclean". I'm not 100% sure that the autoconf-related rules are correct,
"./config.status --recheck" in conjunction with make is a real brain-twister...

[project @ 2004-09-20 16:32:58 by panne]
Ooops, forgot to rename version.mk in my previous committ...

[project @ 2004-09-20 07:27:15 by mthomas]
Make tests run on Cygwin hosted MinGW32 build.

[project @ 2004-09-19 09:41:29 by panne]
Use version info from configure.ac

[project @ 2004-09-19 09:15:03 by panne]
Use some sed magic to avoid PACKAGE_FOO clashes introduced by the autoconf
cleanup yesterday. Another option would have been using a plain "AC_INIT" in
fptools/configure.ac (and probably the same for fptools/libraries/configure.ac),
so only "leaf configure.ac"s have package info. Not quite sure what would be the
nicest way to handle this yet...

[project @ 2004-09-18 12:49:55 by panne]
Make autoupdate 2.52 happy, mainly by using the new formats of AC_INIT and
AC_OUTPUT. This has the nice side effect that all "packages" have now a name, a
version, a bug-report address, and a tar name, yielding better output with
"configure --help=recursive". Nuked an unused AC_STRUCT_ST_BLKSIZE test on the
way.

[project @ 2004-09-17 08:25:25 by simonmar]
Remove debugging trace that I left in when working on mk_switch.

[project @ 2004-09-16 22:41:33 by sof]
New option, -P, turns off line pragma emission

[project @ 2004-09-16 08:13:02 by stolz]
Collect unknown chunks in new chkcat 'unknown' which gets treated like
'misc', but isn't mangled on sparc-*-solaris2 because of function
definitions in C-headers like <pwd.h>. This shouldn't affect any
other platform since this was already a border-case.

Closes SF Bug 1012521 "getUserEntryForID dies".
Please merge.

[project @ 2004-09-16 01:39:24 by mthomas]
On Windows default to main.exe instead of a.out.

[project @ 2004-09-15 17:48:08 by ross]
arrow notation: allow arrow applications (f -< a) to take a non-empty
command stack, as suggested by Sebastian Boldt <Sebastian.Boldt@arcor.de>.

[project @ 2004-09-15 13:50:59 by stolz]
- Remove configure tests for SIG{POLL,INFO,WINCH}:
  Testing via #ifdef SIGFOO should be sufficient.
- Change #if HAVE_SIGPOLL to #ifdef SIGPOLL
- Remove SIGINFO/WINCH from package base: they'll reappear in package unix
  in System/Posix/Signals.Exts.

[project @ 2004-09-15 12:06:08 by simonmar]
Oops, fix bugs in previous commit.

[project @ 2004-09-15 11:45:24 by simonmar]
Add a couple of cases to mk_switch to catch the case when we have a
tag range that has a lot of default cases at either end, and we're not
using a single switch.  In situations like this we want to eliminate
the default cases with an if-statement, before dealing with the rest
of the branches, which might then be suitable for a switch.

Also, ignore empty tag slots at either end of the range if there is no
default case.

This might work around a gcc 2.95 bug that we tickled with the
code being generated before.

[project @ 2004-09-15 02:47:03 by wolfgang]
Accept '#pragma' lines in the cmm parser.
This is necessary because Apple's version of GNU cpp 3.3 leaves #pragma
lines in it's output, which cause the build to fail on Mac OS X with
GCC >= 3.3

[project @ 2004-09-14 19:00:20 by panne]
Fixed "yes" vs. "YES" confusion. This is currently really a mess and I'll
really have to clean this up someday...

[project @ 2004-09-14 16:47:57 by panne]
* Merged stgMalloc and execPage into a single function which handles
  even multiple pages correctly.

* Enabled the use VirtualProtect on x86 WinDoze now. This could be
  necessary for processors which distinguish between READ and EXECUTE
  memory accesses, e.g. Itaniums IIRC.

* Nuked pageMode and set page permissions always to READ/WRITE/EXECUTE,
  otherwise we could accidentally remove the WRITE permission.

Only mildly tested on x86 Linux, but it might be worth merging into
the STABLE branch when it turns out to work on x86 WinDoze and OpenBSD.
SimonM?

[project @ 2004-09-14 04:34:12 by mthomas]
Replace prog_belch with errorBelch.

[project @ 2004-09-13 19:25:38 by panne]
Improve fop detection now that SuSE has fixed their broken /usr/bin/fop

[project @ 2004-09-13 17:18:27 by sof]
threadSqueezeStack(): with DEBUG, zero out entire payload when
blackholing. Required now that LOOKS_LIKE_INFO_PTR() isn't 100%
precise.

Merge to STABLE

[project @ 2004-09-13 17:10:48 by sof]
printClosure(): handle MVARs

[project @ 2004-09-13 09:56:12 by simonmar]
There was a missing $T_HDR_info setting for solaris2/openbsd.

[project @ 2004-09-13 09:19:16 by dons]
malloc memory isn't executable by default on OpenBSD, so mprotect
pages in execPage for that platform. Enables the FFI.

Merge to stable

[project @ 2004-09-12 12:12:18 by panne]
Warning police. Why is x86_init_fpu disabled, BTW?

[project @ 2004-09-12 11:45:04 by panne]
Nuked "Revision" CVS keyword

[project @ 2004-09-12 11:27:10 by panne]
Removed the annoying "Id" CVS keywords, they're a real PITA when it
comes to merging...

[project @ 2004-09-11 18:17:04 by panne]
NOINLINE is mentioned in the H98 report, not NOTINLINE.

MERGE TO STABLE.

[project @ 2004-09-10 18:54:21 by panne]
Unbreak previous commit. Is QA on holiday? :-)

[project @ 2004-09-10 14:54:48 by simonmar]
RtsShouldNeverHappenCode never happens, now.

[project @ 2004-09-10 14:53:44 by simonmar]
Fix problem that shows up when building stage2 on Windows: slots of a
vector table that can never happen are normally filled with the
RtsShouldNeverHappen label, which currently prints as "0".  On systems
with leading underscores on labels, such as Windows, this turns into
"_0" which is reported as an undefined symbol.

Having a label print as "0" is a real hack, so the solution is to do
it properly.  This commit does just that.

[project @ 2004-09-10 13:58:55 by simonmar]
Another SrcSpan fix: the span of a Match now covers the entire equation, not
just the rhs.

[project @ 2004-09-10 09:46:21 by simonmar]
Update to previous commit: avoid non-portable features of test(1).  It
looks better this way, anyway.

[project @ 2004-09-10 09:23:19 by simonmar]
Fix bug in decode_tuple (fixes tc177(prof))

[project @ 2004-09-09 21:33:07 by simonpj]
Fix apparent typo in call to debugBelch; Win32 only I think

[project @ 2004-09-09 11:38:09 by stolz]
Move forkProcess()-prototype to RtsExternal.h where package unix can see it
(avoids an 'implicit declaration' warning there)

[project @ 2004-09-09 07:07:43 by panne]
Fixed FP_LEADING_UNDERSCORE macro, removing the need for a special handling
of Mac OS X again.

[project @ 2004-09-09 06:55:47 by panne]
Unified the comments in (almost) empty aclocal.m4 files

[project @ 2004-09-09 05:42:26 by sseefried]
Added case to FP_LEADING_UNDERSCORE macro for darwin platform.

[project @ 2004-09-08 08:55:55 by simonmar]
Fix newline wibbles in new message API

[project @ 2004-09-08 08:47:54 by simonmar]
Minor updates required by VS: return the typechecker's abstract syntax
tree from hscBufferFrontEnd.

[project @ 2004-09-07 15:35:39 by stolz]
Add cpp-protected signals sigINFO & sigWINCH if available.
(An autoconf-wizard might want to look at the bottom of configure.ac, the
similarities between HAVE_SIGPOLL, HAVE_SIGINFO & HAVE_SIGWINCH can surely
be factored out)

[project @ 2004-09-07 12:30:27 by simonmar]
Fix up the SrcSpan on the rhs of a function binding.

[project @ 2004-09-07 10:10:07 by simonmar]
The 7-ptr-arg version of generic apply has gone away, but parts of the
byte code generator hadn't been updated.  This fixes the ffi009(ghci)
test.

[project @ 2004-09-07 09:35:02 by simonmar]
Fix bug in finalizeWeak# (should fix memo002 and maybe one or two
other tests).