[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

[project @ 2004-05-06 12:28:41 by simonpj]
Improve error handling for deriving(Typeable)

[project @ 2004-05-06 12:28:07 by simonpj]
Better location info

[project @ 2004-05-06 12:27:39 by simonpj]
Add ASSERT

[project @ 2004-05-06 12:26:13 by simonpj]
Use IfaceDeprecs synonym

[project @ 2004-05-06 12:25:49 by simonpj]
Fix (head []) value for src span in mkSimpleMatch

[project @ 2004-05-06 12:25:12 by simonpj]
White spacing only

[project @ 2004-05-06 12:24:52 by simonpj]
Put parens around binders in debug prints

[project @ 2004-05-06 12:24:19 by simonpj]
Remove dead comments

[project @ 2004-05-06 12:23:58 by simonpj]
Comments

[project @ 2004-05-06 12:20:04 by wolfgang]
Threaded RTS: Fix a deadlock situation

The flag startingWorkerThread that is used by startSchedulerTaskIfNecessary
(in Schedule.c) has to be reset if startTask (in Task.c) decides not to
start another task after all (if a task is already waiting).
When the flag isn't reset, this leads to a deadlock the next time a new
worker thread is actually needed.

MERGE TO STABLE

[project @ 2004-05-06 09:53:03 by simonmar]
whitespace

[project @ 2004-05-06 08:53:01 by simonmar]
Make this work with GHC 5.04.x, by slurping in rawSystem from the libraries.

[project @ 2004-05-06 08:44:52 by simonmar]
Move the definition of rawSystem into a separate file which we
#include in the places it is needed.  This is slightly better than
copying the code, since we now need it in three places
(ghc/utils/runghc is the 3rd).

[project @ 2004-05-05 19:48:54 by krasimir]
The commit allows to build GHCi libraries in Windows Command Prompt

[project @ 2004-05-05 14:32:01 by simonmar]
Rearrange the -F/-pgmF documentation a bit.

[project @ 2004-05-05 14:10:07 by simonpj]
More about windows

[project @ 2004-05-05 13:49:50 by simonmar]
x-ref to Control.Concurrent from the -threaded docs.

[project @ 2004-05-05 12:00:10 by ross]
add a note about #def in hsc2hs

[project @ 2004-05-05 11:37:46 by simonmar]
Add the runghc program

[project @ 2004-05-05 10:46:52 by simonmar]
Document use of -I flag for finding FFI header files

[project @ 2004-05-05 10:46:34 by simonmar]
FAQ about missing include files when using -O/-prof

[project @ 2004-05-05 09:00:02 by simonmar]
Add dependencies on jadetex and tetex-dvips

Noticed by: Jeff Lewis

[project @ 2004-05-04 09:56:49 by simonpj]
More notes for Windows and MSYS

[project @ 2004-04-30 15:51:10 by simonmar]
wibble

[project @ 2004-04-30 09:46:58 by simonmar]
DoEval is a compilation manager mode too.

MERGE TO STABLE

[project @ 2004-04-27 12:47:13 by simonpj]
----------------------------------------
     1. Make primOpIsCheap do something sensible
     2. Make the state hack work better
     ----------------------------------------

1.  In March 2001, we changed primOpIsCheap to
primOpIsCheap op = False
thereby making *no* primops seem cheap.  But this killed eta
expansion on case (x ==# y) of True -> \s -> ...
which is bad.  In particular a loop like
  doLoop n = loop 0
    where
      loop i | i == n    = return ()
             | otherwise = bar i >> loop (i+1)
allocated a closure every time round because it didn't eta expand.

The problem that made us set primOpIsCheap to False was
let x = a +# b *# c in x +# x
where we don't want to inline x. But primopIsCheap doesn't control
that (it's exprIsDupable that does) so the problem doesn't occur
even if primOpIsCheap sometimes says 'True'.  I think that perhaps
something changed since March 2001.

2.  Consider this
case x of
  True  -> \(s:RealWorld) -> e
  False -> foo
where foo has arity 1.  If we are using the "state hack" we want to
eta expand here.  This commit fixes arityType in the Var case (for foo)
to take account of foo's type.

Also add -fno-state-hack to the static flags, to allow the state hack to
be switched off.