[project @ 2004-08-10 13:51:25 by simonmar]
Add $(Windows), which is "YES" if the host platform is a Windows
platform (mingw32 or cygwin32), and "NO" otherwise.

[project @ 2004-08-10 09:02:36 by simonmar]
Fix problem with inline foreign-call changes yesterday.  Foreign call
args sometimes have to be modified using shimFCallArg - nowadays this
is done at code generation time, whereas it used to be done at
pretty-printing time.

[project @ 2004-08-09 14:27:53 by simonmar]
Two changes:

  - newly created or unblocked threads go to the back of the run
    queue.  This is fairer because it avoids possible starvation.
    Fixes problem with conc004 test going much slower with optimisation.

  - The context switch flag is only reset after a yield.  Previously,
    it was being reset before we ran a thread, which meant that a tick
    that arrived during GC would be lost, and a thread doing lots of
    GC could hog the CPU.  Now, GC is effectively counted as part of
    the last running thread's timeslice.

MERGE TO STABLE.

[project @ 2004-08-09 13:19:29 by simonmar]
Allow case-of-unsafe-ccall to compile to straight-line code, like it
used to.  This has already been fixed on the backend-hacking-branch,
but I'm doing it here so that it can be merged into the STABLE branch,
where it will help to work around a bug.

The bug is in CgExpr.lhs:primRetUnboxedTuple, which picks temporaries
to assign the result of a ccall to.  The Cg monad doesn't have a uniq
supply (in the HEAD), so we always pick the same temporaries.  This
leads to clashes in complex function with multiple ccalls.  Again,
this is already fixed in the backend-hacking-branch.  I don't see an
easy fix for this bug.

The compilation of case-of-unsafe-ccall doesn't suffer from this
problem, and it will help work around some cases of the bug, so I'm
going to merge this onto the STABLE branch after some testing.

[project @ 2004-08-09 12:35:02 by simonmar]
Fix scoped type variable example.

[project @ 2004-08-09 12:15:09 by simonmar]
Put a "-- " before the location info, since the rest of the output
looks like Haskell source.

[project @ 2004-08-08 20:46:44 by panne]
DocBook XML is case-sensitive. Note that this is still not correct DocBook, tons
of indexterm elements within varlistentries are still misplaced.

[project @ 2004-08-08 17:26:26 by krasimir]
xmlize sgml docbooks

[project @ 2004-08-06 11:33:06 by simonmar]
Update from Robert Ennals: allow either the ctags or etags file to be
generated, so as to be more friendly to case-insensitive filesystems.

[project @ 2004-08-05 18:29:47 by krasimir]
Bugfix. --auto-ghci-libs doesn't work if the package was previously installed.

[project @ 2004-08-02 18:23:25 by panne]
Fixed dvips commandline

MERGE TO STABLE

[project @ 2004-07-30 08:40:11 by simonpj]
Add case for foreign types

[project @ 2004-07-30 08:39:51 by simonpj]
Fix foreign-type predicate

[project @ 2004-07-28 12:59:53 by simonpj]
Comments only

[project @ 2004-07-28 12:59:14 by simonpj]
Fix GHCi buglet when browsing module

[project @ 2004-07-23 15:31:58 by ross]
To make Text.Regex.Posix work with Hugs, move cbits/regex/regex.h under
include, where Hugs can find it.

[project @ 2004-07-21 10:47:28 by simonmar]
Make total_allocated be an ullong, to accommodate programs that do a lot
of allocation.

MERGE TO STABLE

[project @ 2004-07-21 10:44:49 by simonpj]
Wibble to :i for (,); make algTyConRhs behave right

[project @ 2004-07-21 10:07:29 by simonpj]
Add location information to :i command

[project @ 2004-07-21 09:25:42 by simonpj]
-------------------------------
       Sort out the :i command for GHCi
-------------------------------

The :info command has been broken in the HEAD for some time, since the new IfaceSyn
story.  This commit sorts it out, and makes it nicer than before. For example, when
you :i a record selector, you get a cut-down data type declaration, so you can see
the context.

[project @ 2004-07-19 11:51:16 by simonmar]
do the file writes one after another, so if the underlying file system
happens to be case-insensitive we won't run into a file locking issue.

MERGE TO STABLE

[project @ 2004-07-19 11:29:34 by simonpj]
Template Haskell improvements

a) Make '() and '[] work.
b) Add tupleTypeName, tupleDataName
b) Try to improve error message for (lack of) existential data constructors in TH

[project @ 2004-07-19 11:26:13 by simonpj]
Comments only

[project @ 2004-07-15 20:50:40 by sof]
oops, back out rev. 1.31

[project @ 2004-07-15 20:42:45 by sof]
awaitEvent(): for Integrity, use socketpair() instead of pipe() to implement socket()-aborting mechanism

[project @ 2004-07-12 08:47:19 by simonmar]
Add a (rather vague) FAQ entry about the readline build problem
reported in bug #988585.

[project @ 2004-07-09 21:13:35 by sof]
back out rev 1.61; to hardwire path to gcc, use --with-gcc=<foo>

[project @ 2004-07-09 16:47:59 by sof]
tidy up gcc warnings re: %-related format specifiers, mainly rewriting \%%\% to %%%%

[project @ 2004-06-29 17:14:01 by panne]
Workaround for hbc: It compiles matching against 0-ary constructors in
list comprehensions into wrong code, e.g.

   [ () | True <- [False] ]

results in something like

   Error: No match in I4680Pinteractive

when issued in hbi.

[project @ 2004-06-28 16:35:08 by sof]
sec-makefile-dependencies: -o option is no longer supported.

Merge to STABLE.

[project @ 2004-06-27 20:41:07 by panne]
Small syntactic changes to please hbc's interpretation of the layout rule and records

[project @ 2004-06-24 09:41:11 by simonmar]
Correction to the construction of .hi filenames in dependency
generation.

Fixes sourceforge bug #978543

Merge to STABLE

[project @ 2004-06-24 09:35:13 by simonmar]
Tiny perf improvement

[project @ 2004-06-24 08:44:35 by simonmar]
Add FAQ item: how to compile a program with and without profiling in
the same directory.

[project @ 2004-06-24 08:43:53 by simonmar]
Remove "EXOTICA" from the description of -osuf/-hisuf

[project @ 2004-06-23 22:43:20 by ross]
arrow notation fixes (problems reported bu John Hughes):

* allow an infixexp (exp0) to the left of -<.  This adds 4 more
  shift/reduce conflicts, because it makes if/lambda/let/case/proc
  before -< ambiguous.  This is the same sort of thing as
  "if x then y else z + 1", and as there shifting does the right thing.

* described the grammar more precisely

* fixed an example

merge to STABLE

[project @ 2004-06-23 10:31:02 by ross]
rearrange documentation of SPECIALIZE.

[project @ 2004-06-22 13:47:47 by simonpj]
Typo about TH

[project @ 2004-06-22 13:47:27 by simonpj]
Clarify words about the -package flag

[project @ 2004-06-22 11:03:42 by simonpj]
-----------------------------------------------
       Improve reporting of TH reify out-of-scope errors
-----------------------------------------------

No change to functionality, just better error reports.

[project @ 2004-06-22 11:03:16 by simonpj]
Improve pretty printing slightly

[project @ 2004-06-20 17:58:46 by panne]
Renamed Opt_WarnMisc to Opt_WarnDodgyImports

[project @ 2004-06-18 09:02:40 by dons]
Have loadObj ignore requests to load an object more than once, instead
of actually loading the object, then dying.

This change lets user-land loaders safely work inside GHCi, when they
would have no way to know what packages had already been loaded.

Help from SimonM and Andre Pang.

[project @ 2004-06-17 13:35:33 by simonmar]
Mention the splitter in the section on porting.

[project @ 2004-06-16 10:47:48 by dons]
Add linker symbols into linker symbol table.
This lets things that bind to the linker run in GHCi.
Tested on OSX and OpenBSD.

Thanks to Andre Pang.

[project @ 2004-06-12 12:04:19 by panne]
Tell the linker that we barf in lockFile now. Nuked an evil $Id$ on the way.

[project @ 2004-06-11 12:42:18 by panne]
Synched "Overflown relocation field" message with reality

[project @ 2004-06-11 11:14:58 by malcolm]
Oops, accidentally deleted this.  Reinstate.

[project @ 2004-06-11 11:12:52 by malcolm]
Remove hsc2hs files prior to re-grafting the entire directory.

[project @ 2004-06-11 11:10:57 by malcolm]
Move Makefiles for nhc98's build here, prior to grafting the directory.

[project @ 2004-06-06 20:59:18 by panne]
* Fixed ANNOUNCE, LICENSE and README handling
* Made binaries explicit
* Small reformatting

[project @ 2004-06-06 11:44:37 by panne]
Added empty "install" and "install-docs" targets

[project @ 2004-06-06 11:22:28 by panne]
* Moved snapshot handling to configure.ac (well, sort of...)
* Updated Requires and BuildRequires
* Synched documentation building/packaging with reality

[project @ 2004-06-06 10:50:47 by panne]
Advance HEAD version to 6.3.

[project @ 2004-06-06 10:43:19 by panne]
Added empty "all" and "boot" targets

[project @ 2004-06-05 21:55:51 by panne]
"make dvi ps html" in $(TOP) builds *all* documentation now

[project @ 2004-06-05 21:48:41 by panne]
* Added list of current committers
* Slight change of description

[project @ 2004-06-05 18:01:00 by panne]
More rpm spec file cleanup, including:
* added some BuildRequires
* changed packager to me, so people can complain at the right place :-]
* consistently refer to haskell.org instead of www.haskell.org

[project @ 2004-06-05 13:17:56 by panne]
ffi-art is dead, Jim...

[project @ 2004-06-04 06:51:01 by panne]
ANSIfication (from Ralf Wildenhues)

[project @ 2004-06-02 09:23:43 by panne]
Extremely strange: Some backend emit an ugly trailing ">" when "xref" is an
empty element, but none when only a start tag is used. *sigh* So let's revert
this part of the changes for now...

[project @ 2004-06-02 09:17:51 by panne]
* Fixed some "screen" vs. "programlisting"

* Don't use leading spaces in verbatim elements just for formatting purposes

* Be extremely cautious with whitespace in verbatim elements to avoid strange
  empty leading/trailing lines. More investigation needed what's really going on
  here, this shouldn't be necessary...

[project @ 2004-06-02 08:53:54 by panne]
Make the Building Guide almost valid DocBook XML V4.2 (to get the real thing,
simply add an XML prolog and change "artheader" to "articleinfo"). Things that
had to be changed:

 * XML tags are case-sensitive, so lowercase must be used for tags/attributes

 * Make "xref" an empty element.

 * "constant" is not allowed within "filename"

 * Move "indexterm" to a valid place.

 * Change some "&" to "&amp;"

 * The "_" character in titles makes some trouble in the TeX backend => avoid it

[project @ 2004-06-02 08:25:10 by simonpj]
-----------------------------------------------
       Record whether data constructors are declared infix
-----------------------------------------------

This allows us to generate the InfixC form in Template Hasekll.
And for 'deriving' Read and Show, we now read and parse the infix
form iff the constructor was declared infix, rather than just if
it does not have the default fixity (as before).

IfaceSyn changes slightly, so that IfaceConDecl can record their
fixity, so there are trivial changes scattered about, and
you'll need to recompile everything.

In TysWiredIn I took the opportunity to simplify pcDataCon slightly,
by eliminating the unused Theta argument.

[project @ 2004-06-02 08:23:43 by simonpj]
-------------------------------
Fix a grevious bug in DsMeta
which caused a seg fault
-------------------------------

The bug was an incorrectly declared type for one of the Template
Haskell construction functions in DsMeta (repRecCon, repRecUpd)
and some associated jiggery pokery.

-dcore-lint showed it up nicely, because the desugarer generated
ill-typed code.

DsMeta PrelNames TH.Lib

[project @ 2004-06-02 08:09:58 by simonpj]
Comments only

[project @ 2004-06-01 23:22:30 by igloo]
Add missing functions to TH export list (mostly spotted by Duncan Coutts).

Update TH test output.

Add TH support for patterns with type signatures, and test for same
(requested by Isaac Jones).

Add TH support for pattern guards, and tests for same
(requested by Isaac Jones).

Add infix patterns to TH datatypes.

Added Lift instances for 2- to 7-tuples (requested by Duncan Coutts).

[project @ 2004-05-27 16:13:59 by simonmar]
Change the 'can't load package' message from a panic to an ordinary
error.

[project @ 2004-05-27 15:21:37 by simonmar]
Remove part of previous patch which was for debugging only.

[project @ 2004-05-27 15:18:31 by simonmar]
Fix a nasty bug: when saving errno in the TSO after running a thread,
beware that the TSO might have moved, e.g. if the thread made a safe
foreign call in the threaded RTS and a GC happened.

We have to grab the new location of the TSO *before* saving errno.

MERGE TO STABLE

This was the most interesting bug hunt I've had in a while.  The crash
only showed up in about 1 in 4 runs of a program with 1000 Haskell
threads, running on the threaded RTS.  To make things worse, gdb
doesn't support watchpoints in programs with multiple threads... :-/

[project @ 2004-05-27 09:29:28 by simonmar]
Make getAllocations() return an Int64 to avoid Int overflow.

[project @ 2004-05-25 09:06:38 by simonpj]
-----------------------------------------------
Decent error on re-use of built-in syntax
-----------------------------------------------

Make the renamer complain nicely on stupid stuff like

data T = []

(except in the Prelude, of course!)

[project @ 2004-05-25 08:09:37 by simonpj]
-----------------------------------------------
Improve location info on unused-import warnings
-----------------------------------------------

Improving the location involves plumbing the location of the import a bit
more assiduously -- hence change to imp_mods in TcRnTypes

[project @ 2004-05-24 09:13:21 by simonmar]
Comment update

[project @ 2004-05-24 08:35:41 by simonmar]
Mention that ordering is important on the GHCi command line

[project @ 2004-05-24 02:49:07 by dons]
spelling mistake in comment only

[project @ 2004-05-22 12:27:38 by panne]
Reverse the order in which DLLs are loaded. This makes more sense in general and
should fix the trouble with the broken OpenGL libs on Gentoo. This fix has been
tested on x86 Linux, but reports from other platforms (WinDoze, MacOS X, ...)
are highly welcome, dynamic linking is quite platform-specific and surprising
things can happen from time to time...

Merge to STABLE when tested on other platforms

[project @ 2004-05-22 01:43:37 by dons]
Add x86_64-*-openbsd* as synonym for amd64-*-openbsd.

Which one you get depends on which config.sub we have, and newer
(2004-*) config.subs normalise all amd64s to x86_64s.

[project @ 2004-05-21 13:28:59 by simonmar]
Fix yet another bug in the THUNK_SELECTOR code.  Interestingly, I
spotted this one earlier but left a ToDo in the code rather than
fixing it (I think I wasn't sure whether it could happen or not).

The bug is to close another another way that eval_thunk_selector()
could return a pointer into to-space.  See comments for details.

[project @ 2004-05-21 09:25:03 by geoffw]
mingw/msys fix: keep .lcomm directives

[project @ 2004-05-20 07:15:47 by mthomas]
Install MinGW32 gcc and perl.

[project @ 2004-05-19 08:46:21 by simonpj]
Improve error reporting for static flags

[project @ 2004-05-18 07:53:34 by mthomas]
Windows make install sees an eagle.  It's heart aches - one day it will soar.

[project @ 2004-05-15 15:35:47 by dons]
Enable GHCi on OpenBSD
     1. fix dlopen(NULL, ..) not working
     2. set USE_MMAP to overcome malloc'd memory not being executable

[project @ 2004-05-12 13:01:30 by simonpj]
Tidy-up only; behaviour unchanged

[project @ 2004-05-12 12:55:12 by simonpj]
---------------------------------
Another delicate fix to the way that the
Dreaded Monomorpism Restriction is handled
---------------------------------

     I think this should merge nicely to the STABLE branch

In TcSimplify 1.130 I changed tcSimplifyRestricted (used for
declarations that fall under the monomorphism restriction) to use Plan
C.  Unfortunately, it later transpired that George Russel and Serge
Mechveliani both made somewhat-dubious use of overlapping instances
that conflicted with this change. Here's the example

  instance (HasBinary ty IO) => HasCodedValue ty

  foo :: HasCodedValue a => String -> IO a

  doDecodeIO :: HasCodedValue a => () -> () -> IO a
  doDecodeIO codedValue view = let { act = foo "" } in  act

You might think this should work becuase the call to 'foo' in the last
line gives rise to a constraint (HasCodedValue t), which can be
satisfied by the type sig for doDecodeIO.  But the restricted binding
act = ... calls tcSimplifyRestricted, and Plan C simplifies the
constraint using the (rather bogus) instance declaration, and now we
are stuffed.

This commit implements Plan D, which is like plan B except that it does no
improvement, and hence avoids plan B's flaw.  See the comments with Plan D.

The only criticism one might make of Plan D is that it may sometimes quantify
a restricted binding over "too few" type variables; but one can solve that
by adding a type sig.  So this seems better than the very subtle problems
with Plan C.

All of this is very much at the margin: George and Sergey are pushing
their luck.

[project @ 2004-05-11 18:36:10 by panne]
Make the printing of samples really locale-independent

[project @ 2004-05-11 11:40:59 by simonmar]
Nuke old version of the FFI spec

[project @ 2004-05-10 11:53:41 by simonmar]
Fix mishandling of the BF_COMPACTED flag, which could lead to problems
when using the compacting collector (+RTS -c, or +RTS -M<size>).  In
fact, I'm not sure how it worked at all.

MERGE TO STABLE

[project @ 2004-05-10 10:26:07 by simonmar]
Hack to generate correct dependencies for the RTS.  We now #define
PROFILING, THREADED_RTS and DEBUG when generating dependencies so that
we get (hopefully) a superset of all the deps.

[project @ 2004-05-10 10:05:34 by simonmar]
In multiple declaration errors, give the location of one of the
declarations as the location of the error message, instead of the
top-level of the file.

[project @ 2004-05-09 14:38:13 by panne]
Documentation typos

[project @ 2004-05-08 03:10:57 by dons]
3 more openbsd platforms: m88k, sparc64 & vax
Just in case someone tries to run the testsuite.

[project @ 2004-05-08 01:49:56 by dons]
Add openbsd platforms: alpha, arm, hppa, powerpc

[project @ 2004-05-07 21:19:21 by panne]
GCC's __attribute__ handling seems to be a little bit stricter with GCC 3.3.3:

   * When a function declaration uses it, the corresponding definition has to
     use it, too.

   * Syntactically it is allowed only at the beginning of the function
     definition.

Let's hope that the current syntax is backwards compatible...

[project @ 2004-05-07 14:06:45 by simonpj]
---------------------------------
Make sure that GHCi loads all
necessary orphan-instance modules
---------------------------------

When you do :m A, we need to load any orphan-instance modules
below A.  That's easily done, but had been forgotten.

Do not merge to stable: the fix is different there

[project @ 2004-05-07 14:06:12 by simonpj]
White space

[project @ 2004-05-07 11:23:56 by simonmar]
make a SrcSpan for the whole file that is not "unhelpful"

[project @ 2004-05-06 12:30:38 by simonpj]
Report error in GHCi for unlifted bindings

[project @ 2004-05-06 12:29:50 by simonpj]
Make addSrcSpan ignore unhelpful spans