[project @ 2005-07-09 14:44:06 by panne]
Fixed & simplified previous commit.

[project @ 2005-07-09 14:35:51 by panne]
Silence the error message when ld doesn't understand the -x option.

[project @ 2005-07-09 14:33:01 by panne]
Solaris' sed obviously doesn't like nested \(\), so do the gcc version
detection magic in two steps instead of one.

[project @ 2005-07-09 00:13:14 by igloo]
Fix building on IA64.

Please merge to stable.

[project @ 2005-07-08 19:49:24 by simonpj]
Revert accidental commit (merge to stable if bogus commit was merged)

[project @ 2005-07-08 16:16:37 by simonpj]
MERGE TO STABLE (once I"ve checked it works)

The dictionary-floating code in Specialise wasn't taking
variables free in the RULES into account, which resulted in
such variables perhaps going out of scope.

[project @ 2005-07-08 15:05:15 by simonpj]
MERGE TO STABLE

Add a check for Haskell-98 mode, to check that there is no type
synonym in an instance declaration.

tcfail139 tests this case

[project @ 2005-07-08 13:57:50 by simonmar]
genOutputFilenameFunc: fix output filename generated for non-Haskell
compilations with -odir.

[project @ 2005-07-08 11:16:00 by simonmar]
Clean .hi-boot and .o-boot files too

[project @ 2005-07-07 13:50:40 by simonmar]
small performance fix: in via-C mode we previously always created a
switch instead of an conditional-tree for a multi-branch case.  Refine
this slightly so that 2-branch switches turn into conditionals again,
since gcc doesn't do a good job of optimising the equivalent switch.

[project @ 2005-07-06 11:31:53 by panne]
DocBook validation police

[project @ 2005-07-06 10:43:36 by simonmar]
ghc -e should exit(1) if the statement fails to compile.

Fixes #1233146 (this was already partially fixed, in that ghc -e would
exit(1) if the modules fail to compile, but if the expression itself
was invalid it would still exit(0)).

[project @ 2005-07-05 04:55:30 by dons]
Fix ffi on OpenBSD by dynamically allocating the obscure_ccall_ret_code.
Also merge in SimonM's wrapper over inline asm patch.

[project @ 2005-07-01 09:41:24 by simonmar]
setContextAfterLoad: include the Prelude if the top module is compiled
(this broke at some point in the HEAD, 6.4 works fine).

[project @ 2005-06-29 16:04:04 by simonpj]
Vital wibble to last commit!

[project @ 2005-06-29 15:41:27 by simonpj]
MERGE TO STABLE

Fix a long-lurking renamer bug, concerning the reporting of ambiguous
name occurrences.

(the merge may require a little fiddling)

[project @ 2005-06-29 08:47:21 by simonmar]
Make it compile on Alpha.

[project @ 2005-06-28 13:44:28 by simonmar]
Add a comment that grabbing all the capabilities before GC causes the
thread->capability hash table to acquire multiple entries for the
current thread, which seems to be harmless.

[project @ 2005-06-28 13:43:41 by simonmar]
Disable the assertion that checks for multiple entries with the same
key in the hash table.  It's useful to be able to do this sometimes.

[project @ 2005-06-27 12:59:52 by simonpj]
MERGE TO STABLE

Fix a typechecker bug, which made the typechecker loop under certain
circumstances, notably when we have
type Foo a = a
and try to unify
b :=: Foo b

typecheck/should_compile/tc195 tests this case now.

[project @ 2005-06-27 09:17:35 by simonmar]
Update docs for :ctags, :etags.

[project @ 2005-06-27 08:54:51 by simonmar]
help text wibble

[project @ 2005-06-27 08:53:03 by simonmar]
Rename :tags to :etags and :ctags.  The problem was that :tags
prevented the common abbreviation of :type, namely :t.

Also, :etags and :ctags match the *nix commands of the same name, and
this way makes it easier for them to take an optional filename
argument (which they now do).

[project @ 2005-06-23 09:17:30 by simonmar]
Add a 'U' suffix to all integer literals to make them explicitly
unsigned.  This avoids some warnings from gcc, but I don't think it
fixes any actual bugs (I could be wrong, though).

[project @ 2005-06-22 08:25:38 by simonmar]
pkgIdMap should include adjustments made by -package flags (it used
to; I broke this yesterday).  Also add origPkgIdMap for keeping the
original package database - this might be needed in the future.

[project @ 2005-06-22 08:24:22 by simonmar]
Check the result of GHC.depanal for errors.

[project @ 2005-06-21 15:11:38 by ross]
split Distribution.Extension between Language.Haskell.Extension (just
the type, which will also be useful when haskell-src-exts is merged)
and Distribution.Compiler (mappings to compiler options).

[project @ 2005-06-21 12:03:25 by simonmar]
Document changes to the package system.

A nice side effect of the relaxed restrictions is that the
-ignore-package flag is no longer required when compiling a package
(unless the package is "base", and even in that case we might be able
to get away with -hide-package base).  For now, I've removed
references that talk about using -ignore-package when compiling a
package, and simplified the documentation for -ignore-package.

[project @ 2005-06-21 11:57:00 by simonmar]
fix Windows build

[project @ 2005-06-21 10:44:37 by simonmar]
Relax the restrictions on conflicting packages.  This should address
many of the traps that people have been falling into with the current
package story.

Now, a local module can shadow a module in an exposed package, as long
as the package is not otherwise required by the program.  GHC checks
for conflicts when it knows the dependencies of the module being
compiled.

Also, we now check for module conflicts in exposed packages only when
importing a module: if an import can be satisfied from multiple
packages, that's an error.  It's not possible to prevent GHC from
starting by installing packages now (unless you install another base
package).

It seems to be possible to confuse GHCi by having a local module
shadowing a package module that goes away and comes back again.  I
think it's nearly right, but strange happenings have been observed.

I'll try to merge this into the STABLE branch.

[project @ 2005-06-21 10:30:41 by simonmar]
we should be using PprTyThingInContext instead of PprTyThing here

[project @ 2005-06-19 08:41:40 by krasimir]
Add pprTyThingHdr function.

[project @ 2005-06-19 08:40:50 by krasimir]
Add PprTyThing to modules list

[project @ 2005-06-19 03:08:23 by chak]
Small improvement to the text

[project @ 2005-06-16 09:51:45 by simonmar]
oops, bring runghc in on the shared-compat.mk game

[project @ 2005-06-16 09:45:28 by simonmar]
Move the boilerplate Makefile code for using libghccompat.a into a
shared .mk file, lib/compat/compat.mk.  libghccompat.a is really a
poor-mans package, but to make it a real package would mean dealing
with variationg in the package support of different GHC versions, so
this is easier for now.

[project @ 2005-06-16 09:40:27 by simonmar]
Use -optdep--exclude-module to fix building HEAD with itself.

[project @ 2005-06-16 09:36:15 by simonmar]
Fix -optdep--exclude-module (looks like this has been broken for a while)

[project @ 2005-06-16 09:33:41 by simonmar]
Fix stage1 compilation

[project @ 2005-06-16 01:17:09 by ross]
refactoring only: split Compiler type from Distribution.Setup,
to reduce dependencies.

[project @ 2005-06-15 13:50:14 by simonmar]
Undo accidental commit

[project @ 2005-06-15 12:03:19 by simonmar]
Re-implement GHCi's :info and :browse commands in terms of TyThings
rather than IfaceSyn.

The GHC API now exposes its internal types for Haskell entities:
TyCons, Classes, DataCons, Ids and Instances (collectively known as
TyThings), so we can inspect these directly to pretty-print
information about an entity.  Previously the internal representations
were converted to IfaceSyn for passing to InteractiveUI, but we can
now remove that code.

Some of the new code comes via Visual Haskell, but I've changed it
around a lot to fix various dark corners and properly print things
like GADTs.

The pretty-printing interfaces for TyThings are exposed by a new
module PprTyThing, which is implemented purely in terms of the GHC API
(and is probably a good source of sample code).  Visual Haskell should
be able to use the functions exported by this module directly.

Lots of new goodies are exported by the GHC module, mainly for
inspecting TyThings.

[project @ 2005-06-14 10:02:11 by tharris]
Assert on nested atomic blocks

[project @ 2005-06-13 14:36:01 by simonmar]
- Fix up documentation for about new automatic printing semantics
- Document :tags

[project @ 2005-06-13 14:16:03 by simonmar]
fix layout in the help text

[project @ 2005-06-13 14:12:59 by simonmar]
Implement :tags command

Patch supplied by Claus Reinke, with some modifications by me.
Ideally we'd like this to be a command line option too, and we'd like
to drop the restriction that all the source files must be interpreted,
but that needs some work elsewhere (interface files have to store
definition source locations).

[project @ 2005-06-13 13:46:39 by simonmar]
unused imports

[project @ 2005-06-13 13:44:48 by simonmar]
- Eliminate some warnings, remove dead code
- export PrintUnqualified, alwaysQualify

[project @ 2005-06-13 12:29:48 by simonmar]
Block allocator performance fix: instead of keeping the free list
ordered, keep it doubly-linked, and introduce a new flag BF_FREE so we
can tell when a block is free.  We can still coalesce blocks on the
free list because block descriptors are kept consecutively in memory,
so we can tell based on the BF_FREE flag whether to coalesce with the
next higher/lower blocks when freeing a block.

This (almost) make freeChain O(n) rather than O(n^2), and has been
reported to help a lot when dealing with very large heaps.

[project @ 2005-06-13 10:21:09 by simonmar]
Use perl rather than sed to munge the package.conf file; avoids
portability problems with sed (previous version didn't work on Solaris).

[project @ 2005-06-13 02:44:22 by wolfgang]
Darwin:
Deal with the fact that the code and data in a .o file might not be
16-byte aligned even if it contains instructions that require 16-byte
alignment.
This fixes floating point related crashes on Darwin/x86; there might
also have been problems on Darwin/ppc if people load .o files with
AltiVec code into GHCi.

[project @ 2005-06-13 02:03:42 by wolfgang]
Darwin/x86:
Instead of aligning all literals at 16 bytes, reuse the hack from x86-64.

[project @ 2005-06-13 00:16:44 by wolfgang]
Darwin/x86: support GHCi.

[project @ 2005-06-13 00:15:58 by wolfgang]
Darwin/x86:
Fix two causes for crashes:
*) align literals to 16 bytes, because Apple's GCC likes to use
   SSE instructions which require this alignment.
*) In print_doctored, recognize global jumps that masquerade as
   local jumps by going via Lfoo$stub or Lfoo$non_lazy_ptr.

[project @ 2005-06-10 13:33:48 by simonpj]
tcTrace wibble

[project @ 2005-06-10 13:33:27 by simonpj]
Comments only

[project @ 2005-06-09 16:08:16 by wolfgang]
Fix a typo: powerpc32_TARGET_OS -> powerpc64_TARGET_OS

This didn't do any actual damage, because powerpc64 is not yet supported
by the NCG and powerpc32 is called just 'powerpc'.

MERGE TO STABLE

[project @ 2005-06-09 06:01:51 by wolfgang]
Support i386-apple-darwin for binary dists.

MERGE TO STABLE

[project @ 2005-06-09 05:55:40 by wolfgang]
Registerised support for Darwin/x86, both NCG and mangled.

*) -fPIC doesn't work yet with -fvia-C.
*) Apple officially requires the stack to be 16-byte-aligned,
   GHC ignores this for now.

[project @ 2005-06-09 05:35:28 by wolfgang]
Following Apple's announcement to switch to Intel processors,
add i[3456]86-apple-darwin platform.

MERGE TO STABLE

[project @ 2005-06-08 07:56:55 by simonmar]
use test -f instead of -s, for portability.

[project @ 2005-06-07 15:06:59 by simonmar]
Remove some non-portable uses of /bin/test, from Christian Maeder.

[project @ 2005-06-07 10:58:31 by simonmar]
Various updates and improvements.

[project @ 2005-06-07 09:55:03 by simonmar]
-ddump-hi-diffs shouldn't turn off recompilation checking

[project @ 2005-06-07 08:56:23 by simonmar]
add filename to some error messages on mingw32

[project @ 2005-06-07 08:19:50 by simonpj]
Mention that type splices are not implemented; MERGE to STABLE

[project @ 2005-06-06 13:19:41 by simonmar]
Hopefully fix more compilation problems with various versions of GHC

[project @ 2005-06-06 09:10:41 by simonmar]
Make this build with GHC < 6.03 again

[project @ 2005-06-06 08:49:07 by tharris]
Remove SMP-only fields from STM data structures from non-SMP builds

[project @ 2005-06-03 10:20:34 by simonmar]
Allow calls to __alloca in the prologue on mingw32 (previously only
allowed for cygwin32, I guess it hasn't happened for a while).

[project @ 2005-06-03 10:08:55 by simonmar]
Check for reserved stack space blown.

[project @ 2005-06-03 09:56:38 by simonmar]
Profiling doesn't require -fvia-C any more.  Also, I optimistically
removed -fvia-C from all the other ways except unreg.

[project @ 2005-06-03 08:47:58 by simonmar]
Fix crash in LDV profiling on the HEAD

[project @ 2005-06-02 16:52:58 by sof]
add .svn/ to list of ignorable dirs

[project @ 2005-06-02 08:51:17 by simonmar]
Make GHC.depanal store the module graph in the session again.  Fixes
ghc -M.

[project @ 2005-06-01 13:17:12 by simonmar]
Fix a regex bug

[project @ 2005-05-31 14:14:26 by simonmar]
Make more error messages from the downsweep into ErrMsg exceptions.

[project @ 2005-05-31 13:10:39 by simonmar]
oops, fix updating the module graph

[project @ 2005-05-31 12:45:03 by simonmar]
Fix some reporting of errors in the GHC API: errors during the
downsweep were thrown as exceptions; now they're reported via the
(Messages->IO ()) callback in the same way as other errors.

getModuleInfo no longer prints anything on stdout.  It does ignore
error messages and return Nothing, however - we should fix this and
return the error messages at some point.

The ErrMsg type can now be thrown as an exception.  This can be a
convenient alternative if collecting multiple error messages isn't
required.  We do this in the downsweep now.

[project @ 2005-05-31 09:11:27 by simonmar]
Fix the names of a few fields.

[project @ 2005-05-27 14:47:08 by tharris]
Update STM implementation for SMP builds

[project @ 2005-05-26 21:37:13 by simonpj]
MERGE TO STABLE

Put back in a missing case for higher-rank types. When the
definition is
a) non-recursive
b) a function binding
c) lacks a type signature
we want to *infer* a perhaps-higher-rank type for the RHS,
before making a monomorphically-typed Id for the LHS.

E.g.  f = \(x :: forall a. a->a) -> (x True, x 'c')

This case got lost in the transition to 6.4

tc194 tests it

[project @ 2005-05-25 20:28:26 by simonmar]
Fix Linker on Windows: there was one more place where we had to check
for ".ctors" sections.

[project @ 2005-05-25 12:38:14 by simonpj]
Fix url

[project @ 2005-05-25 08:33:15 by simonmar]
something very strange happened with previous commit; try again

[project @ 2005-05-25 08:23:17 by simonmar]
Fix threaded RTS with older gcc versions. (merge rev. 1.215.2.10)

[project @ 2005-05-24 16:10:35 by simonmar]
Move RTS_SUPPORTS_THREADS into RtsConfig.h

[project @ 2005-05-24 15:43:32 by simonmar]
implement lockClosure properly

[project @ 2005-05-24 14:52:08 by simonmar]
isObjectLinkable: don't return True for an empty linkable

[project @ 2005-05-24 14:19:09 by simonmar]
If hsc_lang is HscNothing, produce an empty linkable.

[project @ 2005-05-24 14:18:34 by simonmar]
Don't write the interface in JustTypecheck mode

[project @ 2005-05-24 09:38:29 by simonpj]
Yet another wibble to the GHCi top-level interaction story; avoid dup error messages

[project @ 2005-05-24 07:47:12 by simonpj]
typo

[project @ 2005-05-24 04:45:15 by chak]
More details about the representation of types after type checking.

[project @ 2005-05-23 15:44:10 by simonmar]
Simplify and improve the Capability-passing machinery for bound
threads.

The old story was quite complicated: if you find a thread on the run
queue which the current task can't run, you had to call
passCapability(), which set a flag saying where the next Capability
was to go, and then release the Capability.  When multiple
Capabilities are flying around, it's not clear how this story should
extend.

The new story is much simpler: each time around the scheduler loop,
the task looks to see whether it can make any progress, and if not, it
releases its Capability and wakes up a task which *can* make some
progress.  The predicate for whether we can make any progress is
encapsulated in the (inline) function ANY_WORK_FOR_ME(Condition).
Waking up an appropriate task is encapsulated in the function
threadRunnable() (previously it was in two places).

The logic in Capability.c is simpler, but unfortunately it is now more
closely connected with the Scheduler, because it inspects the run
queue.  However, performance when communicating between bound and
unbound threads might be better.

The concurrency tests still work, so hopefully this hasn't broken
anything.

[project @ 2005-05-23 14:49:59 by simonpj]
Print only the result of a bind stmt

[project @ 2005-05-23 13:39:55 by simonmar]
- scheduleDetectDeadlock() should invoke GarbageCollect() via
  scheduleDoGC(), which collects the Capabilities first.

- scheduleDoGC() doesn't need the Capability.  Also, it appears that
  there was an out-of-bounds array access in here.

- add printThreadQueue(), useful from gdb.

- fix a couple of warnings.

[project @ 2005-05-23 13:00:46 by simonpj]
rename exportsFromAvail

[project @ 2005-05-23 13:00:30 by simonpj]
Further GHCi wibbles

a) Don't print the value of a 'let'
b) Only one error message for 'print id'

[project @ 2005-05-23 10:17:45 by simonpj]
Dead code (HEAD only)