[project @ 2004-04-18 02:37:27 by dons]
Add amd64-unknown-openbsd

[project @ 2004-04-16 02:02:44 by igloo]
Change the mangler to allow a tab before .section on sparc. Fixes a
problem which shows up as symbols not being made global so not being
defined when compiling with gcc >= 3.something.

[project @ 2004-04-13 13:51:20 by simonmar]
Fix integer truncation

Subimitted by: Ralf Wildenhues <Ralf.Wildenhues@gmx.de>, via
               Nicholas Nethercote <njn25@cam.ac.uk>

[project @ 2004-04-13 13:43:11 by simonmar]
merge rev. 1.173.2.21:

Fix bug in deleteAllThreads() - shouldn't throw away the contents of
the run queue, we still need to deal with those ThreadKilled threads.

[project @ 2004-04-12 16:26:40 by panne]
Fixed a long-standing buglet in the signatures of hs_free_stable_ptr
and hs_free_fun_ptr, both had a superfluous "*". Now everything
conforms to the FFI addendum.

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