GitLab

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.

Layout rule again...

Allow kind signatures in GADT data type declarations

First-cut documentation for GADTs

A bit more about hi-boot

Comments only

fix dummy ASSERTM2 macro

------------------------------------
	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.

Remove bogus defn in hi-boot

-----------------------------------
	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.

Generate in the @size suffix for a stdcall symbol properly.

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\}.

Stylistic changes

Get all project info from configure.ac

Make it compile with a GHC 6.x. The layout rule seems to be a mystery
even for one of the "fathers" of Haskell...  :-}

Add HsPat.hi-boot

------------------------------------
	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).

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.

absCSyn directory doesn't exists in the HEAD

Look for getpwnam, getpwuid.

Mac OS X:
Fix a serious bug in the linker's handling of Mach-O's
GENERIC_RELOC_VANILLA relocations.

MERGE TO STABLE

Remove unused defnition

revise the description of rebindable syntax to match what it seems to do

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

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>

oops, revert version number to 6.3 again

Ignore RULES pragmas unless we're in -fglasgow-exts mode.

Mac OS X: Fix an incorrect ASSERT

Merge to STABLE

GHCi support for PowerPC Linux, courtesy of Ryan Lortie <desrt@desrt.ca>.

MERGE TO STABLE

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).

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).

export errMsgContext

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.

Limit ThreadLabel API use to DEBUG only.

* Replace obsolete macro AC_TRY_RUN with AC_RUN_IFELSE
* Same for AC_TRY_LINK and AC_LINK_IFELSE
* Minor cleanup

* Added new target for creating *.bz2 source distributions
* Cleanup *.tar.gz / *.tar.bz2 when things go wrong

Makefile.config is dead, so don't include it in SRC_DIST_FILES.

Make sure "docs" and "dist" exactly once in SRC_DIST_DIRS.

MERGE TO STABLE

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...

Ooops, forgot to rename version.mk in my previous committ...