[project @ 2004-04-12 12:22:45 by panne]
Synched with versions from autoconf 2.59

[project @ 2004-04-07 12:17:09 by panne]
A complete rewrite of ar-related tests:
* Modularized the tests
* Fixed (i.e. introduced :-) caching
* Made the test for support of "-input" more robust

[project @ 2004-04-06 11:37:50 by simonpj]
Buglet in desugaring TH syntax

[project @ 2004-04-06 09:30:44 by simonpj]
Document -fcontext-stack as static

[project @ 2004-04-06 09:29:49 by simonpj]
The "rebindable-syntax" stuff wasn't dealing with the new location
information correctly.  This commit fixes the problem, and thereby
makes mdofail004 work right.  Maybe others too.

[project @ 2004-04-06 08:45:55 by simonpj]
Revert to previous kind-check of for-alls, to avoid error message worsening

[project @ 2004-04-05 11:14:29 by simonpj]
Document :kind

[project @ 2004-04-05 11:09:20 by simonpj]
Wibble to :k

[project @ 2004-04-05 11:04:12 by simonpj]
import wibble

[project @ 2004-04-05 10:53:52 by simonpj]
Improve documentation about ambiguous types

[project @ 2004-04-05 10:52:23 by simonpj]
Remove the entirely-redundant location from the argument of
constructor HsPredTy,
    so that we have
HsPredTy HsType
    rather than
HsPredTy LHsType

[project @ 2004-04-05 10:51:23 by simonpj]
Remove redundant case-analysis for single-constructor case of gunfold

[project @ 2004-04-05 10:50:24 by simonpj]
Add :k(ind) command to ghci to find the kind of a type.
This works very, very similarly to :t(ype)

[project @ 2004-04-05 10:35:11 by simonpj]
In the derived code for gunfold, use a wild-card for the
final case, to avoid a redundant test, and to eliminate the
annoying warning about un-matched cases.

While I'm at it, rename HsUtils.wildPat to nlWildPat, for
consistency.

[project @ 2004-04-05 10:26:28 by simonpj]
Don't convert Exact RdrNames into Orig ones when comparing RdrNames.
This implicit conversion (via nukeExact) was making the carefully-distinct
RdrNames conjured up by Template Haskell into the same RdrName, and
that in turn was reporting duplicate bindings.

I'm not 100% certain that the implicit conversion isn't needed
for some other purpose, but it seems unclean anyway, so I'm removing
it, and we'll see if anything else breaks.

[project @ 2004-04-05 10:11:34 by simonpj]
Import trimming

[project @ 2004-04-05 07:54:39 by simonpj]
Fix parsing bug in new deriving stuff, which was killing the HEAD

[project @ 2004-04-02 16:54:02 by simonpj]
Another stage-2 wibble to last commit

[project @ 2004-04-02 16:51:45 by simonpj]
Wibble to last commit

[project @ 2004-04-02 16:46:57 by simonpj]
Extend the "newtype deriving" feature a little bit more
(at the request of Wolfgang Jeltsch)

Here's the example:
    class C a b
    instance C [a] Char
    newtype T = T Char deriving( C [a] )

Perfectly sensible, and no reason it should not work.
Fixing this required me to generalise the abstract syntax of
a 'deriving' item, hence the non-local effects.

[project @ 2004-04-02 14:28:57 by simonmar]
Some updates I've had sitting in my tree for a while:

  - when there are two logs only, print a summary table at the beginning
    of the output with columns for allocs, runtime, memory reads/writes, instrs.

  - handle multiple runs of each program, and average the results. (changes
    to nofib build system to follow).

[project @ 2004-04-02 14:22:30 by simonmar]
cachegrind: update command line syntax for recent versions of valgrind

[project @ 2004-04-02 13:38:44 by simonpj]
Document -fno-state-hack

[project @ 2004-04-02 13:34:42 by simonpj]
Add a flag -fno-state-hack, which switches off the "state hack".

It's claims that every function over realWorldStatePrimTy is a
one-shot function.  This is pretty true in practice, and makes a big
difference.  For example, consider
a `thenST` \ r -> ...E...
The early full laziness pass, if it doesn't know that r is one-shot
will pull out E (let's say it doesn't mention r) to give
let lvl = E in a `thenST` \ r -> ...lvl...
When `thenST` gets inlined, we end up with
let lvl = E in \s -> case a s of (r, s') -> ...lvl...
and we don't re-inline E.

[project @ 2004-04-02 13:19:28 by simonpj]
Get rid of DiscardedInfo, and fix a Ghci bug at the same time.

The new story is this:

- We always read the whole interface file, as it exists on disk,
  not dropping pragmas or anything.

- We compare that from-the-disk copy with the new version before
  writing the new interface file.

- We drop the pragmas
  a) Before loading the interface payload into the declaration pools
  b) In the no-need-to-recompile case, before typechecking the
interface decls.  Omitting this was the previous bug.

[project @ 2004-04-02 13:16:07 by simonpj]
* Improve error message for overlapping instances

* Improve handling of type-variable-only constraints like (Foo a).
  Previously we never looked them up in the instance envt, *except* if
  -fallow-undecideable-instances was on, because that allows
instance (...) => Foo a
  But -fallow-undecideable-instances might be on in the module with the
  instance decl, but off in the importing module.  Also it's really a per-class
  thing.  So now we just record in the instance env whether there are any such
  strange instances, a kind of short-cut for the lookup.

* Arrange that we are a bit more eager about resolving overloading in
  the case of existential pattern matching [George Russel suggestion]
  Here's the example (see comments in InstEnv)
-- The key_tys can contain skolem constants, and we can guarantee that those
-- are never going to be instantiated to anything, so we should not involve
-- them in the unification test.  Example:
-- class Foo a where { op :: a -> Int }
-- instance Foo a => Foo [a]  -- NB overlap
-- instance Foo [Int] -- NB overlap
--  data T = forall a. Foo a => MkT a
-- f :: T -> Int
-- f (MkT x) = op [x,x]
-- The op [x,x] means we need (Foo [a]).  Without the filterVarSet we'd
-- complain, saying that the choice of instance depended on the instantiation
-- of 'a'; but of course it isn't *going* to be instantiated.

[project @ 2004-04-02 13:10:00 by simonpj]
Fix erroneous hi-boot

[project @ 2004-04-02 12:38:33 by simonpj]
A preliminary step towards being able to identify existential
type variables separately.  That in turn helps when resolving
overloading; I think we want to resolve overloading without
worrying about what these type variables might instantiate to.

[project @ 2004-04-02 12:04:13 by simonpj]
wibble

[project @ 2004-04-02 11:59:21 by simonpj]
Comments mainly, plus use newTyConRhs

[project @ 2004-04-02 11:57:49 by simonpj]
Remove unused result from dropInline

[project @ 2004-04-02 11:56:37 by simonpj]
Comments

[project @ 2004-04-02 11:55:34 by simonpj]
Import wibbles

[project @ 2004-04-02 02:39:26 by igloo]
Add support for foreign imports inside quasi-quotes.
Gave TH a few more uniques to play with and fixed a typo.

[project @ 2004-03-31 15:23:16 by simonmar]
ClosureInfo.might_be_a_function: this predicate wasn't taking into
account abstract types, which might also hide functions underneath.

Fixes broken compiler when compiled without -O.

[project @ 2004-03-30 15:32:59 by ralf]
Removed derivation of fromConstr.
Added derivation of gunfold.
This avoids some hassle with bottoms and strict datatypes.

[project @ 2004-03-30 10:33:04 by simonmar]
Add an extensible-records FAQ

[project @ 2004-03-27 09:57:57 by panne]
Added the new-born haddock.js to the build process and the documentation.

[project @ 2004-03-24 16:51:31 by simonmar]
Add a FAQ about finalizers and stdout/stderr.

[project @ 2004-03-24 10:50:34 by simonmar]
-i on its own didn't delete the list of search paths as advertised.

[project @ 2004-03-23 10:55:35 by simonmar]
Remove GhcRtsThreaded - there's no reason to leave it in this file.

[project @ 2004-03-23 10:48:41 by simonmar]
Update docs for --enable-threaded-rts (now deprecated).

[project @ 2004-03-23 10:04:18 by simonmar]
Give the malloc functiosn the __malloc__ attribute, if available.
Helps with aliasing optimisations, apparently.

Submitted by: Duncan Coutts <duncan.coutts@worcester.oxford.ac.uk>

[project @ 2004-03-23 10:03:18 by simonmar]
Add GNUC3_ATTRIBUTE() macro

Submitted by: Duncan Coutts <duncan.coutts@worcester.oxford.ac.uk>

[project @ 2004-03-23 09:15:54 by ralf]
Version 6.3 is encoded as 603 not 630.
GHC builds fine again through both stages on my system.
Ralf

[project @ 2004-03-22 11:55:39 by simonmar]
Typo

[project @ 2004-03-22 11:48:30 by simonmar]
change this message:

   <prog>: GHC not built for -prof

to

   <prog>: not built for -prof

Suggested by: Sven Panne.

[project @ 2004-03-22 11:06:18 by simonmar]
Fix uninitialised ref.

Submitted by: Julian Seward (who else!)

[project @ 2004-03-22 09:00:28 by ralf]
Boot-strapping ghc revealed an issue related to yesterday's renaming
of Data.Typeable. I can now build a stage1 compiler again. Let me try
a stage2 one as well.

ralf        2004/03/21 11:06:04 PST

  Modified files:
    ghc/compiler/prelude PrelNames.lhs
    ghc/compiler/typecheck TcGenDeriv.lhs
  Log:
  Implemented renaming for Data.Typeable
  as far as deriving mechanism is involved.
  See http://www.haskell.org//pipermail/libraries/2004-March/001846.html

  Revision  Changes    Path
  1.88      +1 -1      fptools/ghc/compiler/prelude/PrelNames.lhs
  1.107     +1 -1      fptools/ghc/compiler/typecheck/TcGenDeriv.lhs

[project @ 2004-03-21 19:06:01 by ralf]
Implemented renaming for Data.Typeable
as far as deriving mechanism is involved.
See http://www.haskell.org//pipermail/libraries/2004-March/001846.html

[project @ 2004-03-19 23:20:20 by panne]
Fixed  the JOB line in heap  profiles, it contained superfluous spaces
and an evil line break.

Merge to STABLE
(This fix looks quite right, but again, I leave this to the Master of
Releases (tm), because there might already be tools depending on the
slightly wrong old format.)

[project @ 2004-03-19 23:17:06 by panne]
Restrict the setlocale() to LC_CTYPE (was LC_ALL), because printf and friends
are LC_NUMERIC-sensitive. This fixes the generation of heap profiles for e.g.
de_DE locales where a comma separates the fractional part of a number, not a
dot. (There was a similar bug in Hugs regarding atof, BTW, which was fixed last
December.)

Merge to STABLE
(I leave this to the Grand Marshal of Releases, Mr. SimonM, because I'm not 100%
sure of all the consequences.)

[project @ 2004-03-19 13:25:24 by simonpj]
Add comments

[project @ 2004-03-19 13:24:52 by simonpj]
Fix naming bogon for Typeable

[project @ 2004-03-18 14:06:18 by simonpj]
Arrange that deriving(Typeable) works for higher kinds

[project @ 2004-03-18 13:52:32 by simonmar]
Default max stack size is now 8M.

[project @ 2004-03-18 13:52:09 by simonmar]
Change the default max stack size (+RTS -K<n>) to 8M.

[project @ 2004-03-17 15:38:13 by simonpj]
Wibble

[project @ 2004-03-17 13:59:06 by simonpj]
------------------------
More newtype clearing up
------------------------

* Change the representation of TyCons so that it accurately reflects
* data     (0 or more constrs)
* newtype  (1 constr)
* abstract (unknown)
  Replaces DataConDetails and AlgTyConFlavour with AlgTyConRhs

* Add IfaceSyn.IfaceConDecls, a kind of stripped-down analogue
  of AlgTyConRhs

* Move NewOrData from BasicTypes to HsDecl (it's now an HsSyn thing)

* Arrange that Type.newTypeRep and splitRecNewType_maybe unwrap just
  one layer of new-type-ness, leaving the caller to recurse.

  This still leaves typeRep and repType in Type.lhs; these functions
  are still vaguely disturbing and probably should get some attention.

Lots of knock-on changes.  Fixes bug in ds054.

[project @ 2004-03-17 10:44:06 by simonpj]
More Windows building notes

[project @ 2004-03-17 10:12:31 by simonpj]
Fix debug-printing for Insts

[project @ 2004-03-17 08:54:19 by simonpj]
Use sub-kind rather than kind-equality check in matchTys,
just as we do in TcUnify.  This is someting I failed to
do when shifting to the funky new kind representation.

[project @ 2004-03-16 17:32:05 by simonpj]
Print slightly more informative types in debug mode

[project @ 2004-03-16 15:35:54 by simonmar]
Don't make configure read-only.

[project @ 2004-03-16 13:46:54 by ralf]
Adapted deriving Data a bit.
So everything should be now as shown in the Boilerplate II paper.

[project @ 2004-03-16 11:39:50 by simonmar]
Remove all known hacks in rawSystem:

  - no splitting of the program name using toArgs

  - no avoiding translate when the string already appears to be quoted

  - no avoiding translate for the command name

We now keep separate program name & args for various SysTools
programs: gcc, as, ld, mkdll.

MERGE TO STABLE

[project @ 2004-03-16 05:05:31 by mthomas]
Retrofit Simon's DOCBOOK_CATALOG fix for platforms without DOCBOOK.

[project @ 2004-03-15 12:32:11 by simonmar]
Sync up with the stable branch (small change to the way worker threads
exit that sneaked onto the branch by mistake).

[project @ 2004-03-13 00:56:45 by sof]
tidy up conditional forkProcess() support

[project @ 2004-03-12 21:37:27 by ross]
Deal gracefully with arrow commands where an expression is expected,
instead of panicking.  (Bug reported by Isaac Jones)

merge to STABLE

[project @ 2004-03-12 10:16:34 by simonmar]
clean up pretty printing slightly

[project @ 2004-03-11 14:34:22 by simonpj]
Fix a nasty and long-standing bug in the handling of functional dependencies.

The story is told in comments with TcSimplify.tcSimplifyRestricted.  We were
simpifying a group of constraints *twice*: once to establish the type vars to
quantify over, and once "for real" but less brutally.  Unfortunately, the
less-brutally part meant that we did less improvement, which in turn meant
that an invariant (no captured constraints) was violated.  Consequential
bizarre results.

The test is typecheck/should_compile/tc177

[project @ 2004-03-11 14:31:56 by simonpj]
Better printing for LHsBinds

[project @ 2004-03-11 14:31:35 by simonpj]
Sanity checking

[project @ 2004-03-11 14:31:13 by simonpj]
Comments

[project @ 2004-03-11 14:29:59 by simonpj]
Add sanity check

[project @ 2004-03-11 14:29:29 by simonpj]
Better layout in interppSP

[project @ 2004-03-11 10:52:55 by simonpj]
Fix a long-standing bug; the type checker should recover from a failure
in the default method of a class declaration, else the default method
doesn't get added to the type envt, and we get an opaque
    tcLookupGlobal: `FunnyError.$dmb' is not in scope
message.

[project @ 2004-03-11 10:00:23 by simonmar]
Don't call hGetArray with a size of zero (fixes read021).

[project @ 2004-03-11 09:53:45 by simonmar]
Add dependency on GHC.TopHandler if this is the main module.

[project @ 2004-03-10 00:18:21 by wolfgang]
Remove -static flag from non-darwin PowerPC builds
(this was a relic from the long-dead AIX support)

Merge to STABLE.

[project @ 2004-03-08 16:08:52 by simonmar]
Apply $libdir hack to GHCi libs in the same way as ordinary .a libs.

[project @ 2004-03-08 12:47:41 by simonmar]
Add small embellishment to one of the filename rules.

[project @ 2004-03-08 11:20:53 by simonmar]
Ignore #! lines for scripts.

[project @ 2004-03-08 10:31:00 by stolz]
-Wall police

[project @ 2004-03-08 10:27:22 by stolz]
INLINEs for Intel's icc

[project @ 2004-03-07 17:56:35 by ross]
if X is available, build X11 and HGL packages.

[project @ 2004-03-05 16:04:52 by simonmar]
Be clearer about when source files must match module names.

[project @ 2004-03-05 16:04:05 by simonmar]
Fail with an error if the interface file we're reading doesn't contain
the module we were expecting.

[project @ 2004-03-05 15:09:37 by stolz]
Fix #ifdef'ed flags for FreeBSD.

[project @ 2004-03-05 15:05:28 by simonmar]
comments

[project @ 2004-03-05 14:12:13 by stolz]
Reduce noise if there's no in-tree version of Happy.

[project @ 2004-03-05 13:58:20 by simonmar]
Fix a URL link

[project @ 2004-03-03 17:11:51 by simonpj]
Comments only

[project @ 2004-03-03 17:10:33 by simonpj]
Patches to configuration script for MSYS.  It's not clear that this'll
always work, because we generate paths like /c/mingw/bin, which MinGW
binaries won't understand -- but all of them seem to be fed to the
MSYS shell, which translates them to c:/mingw/bin etc.

Perhaps the Right Thing is to implement msyspath, by analogy with
cygpath, to convert /c/xxx to c:/xxx?

Anyway, this patch seems to work for now.

[project @ 2004-03-02 22:22:48 by ralf]
Once more revised some details of the Data class.
Comitting the Data.Generics* library in a second.

[project @ 2004-03-02 13:57:55 by simonpj]
New chapter on MSYS, filenames etc

[project @ 2004-03-01 14:18:35 by simonmar]
Threaded RTS improvements:

  - Make the main_threads list doubly linked.  Have threads
    remove themselves from this list when they complete, rather
    than searching for completed main threads each time around
    the scheduler loop.  This removes an O(n) loop from the
    scheduler, but adds some new constraints (basically completed
    threads must remain on the run queue until dealt with, including
    threads which have been killed by an async exception).

  - Add a pointer from the TSO to the StgMainThread struct, for
    main threads.  This avoids a number of places where we had
    to traverse the list of main threads to find the right one,
    including one place in the scheduler loop.  Adding a field to
    a TSO is cheap.

  - taskStart: we should be resetting the startingWorkerThread flag
    in here.  Not sure why we aren't; maybe this got lost at some point.

  - Use the BlockedOnCCall flags in the non-threaded RTS too.  Q: what
    should happen if a thread does a foreign call which re-enters the
    RTS, and then sends an async exception to the original thread?
    Answer: it should deadlock, which it does in the threaded RTS, and
    this commit makes it do so in the non-threaded RTS too (see
    testsuite/tests/concurrent/should_run/conc040.hs).

[project @ 2004-03-01 14:11:01 by simonmar]
Remove Deadlock_closure (not used any more).

[project @ 2004-03-01 13:44:10 by simonmar]
add a few RTS ways (combinations) I missed out