[project @ 2005-10-25 10:28:59 by simonmar]
- include the contents of ghc/HACKING verbatim, as a "quick start"
  guide

- change the title to "Building and devleloping GHC", and make it a
  bit more GHC-centric.

[project @ 2005-10-25 10:22:48 by simonmar]
add info about actually doing the build

[project @ 2005-10-25 09:35:57 by simonmar]
Add a "getting started" guide to hacking on GHC.

[project @ 2005-10-25 02:57:47 by wolfgang]
Mac OS X/Darwin PowerPC: Fix a problem introduced by the recent Darwin/x86
commit.

Remember how we deliberately misaligned the .o file in memory to compensate
for Mach-O's lax alignment rules.
This should have been comitted along with Linker.c 1.203 about two weeks ago.

[project @ 2005-10-24 12:23:44 by simonmar]
define THREADED_RTS for the SMP way too

[project @ 2005-10-24 09:37:08 by simonmar]
Fix the build; none of this is actually used in THREADED_RTS or SMP,
but I haven't got around to fixing things so we can omit it from the
build completely yet.

[project @ 2005-10-24 09:33:37 by simonmar]
Fix a warning

[project @ 2005-10-24 09:28:38 by simonmar]
Fix build for way "u"

[project @ 2005-10-21 15:23:59 by simonmar]
more Win32 fixes

[project @ 2005-10-21 15:18:54 by simonmar]
Fix Win32 DEBUG warnings

[project @ 2005-10-21 15:14:06 by simonmar]
Fix Win32 build

[project @ 2005-10-21 14:47:36 by simonmar]
No need to import platform-specific stuff now.

[project @ 2005-10-21 14:45:59 by simonmar]
Itimer.h has moved into posix/

[project @ 2005-10-21 14:42:47 by simonmar]
wibble

[project @ 2005-10-21 14:41:04 by simonmar]
oops, remove old file

[project @ 2005-10-21 14:38:18 by simonmar]
wibble

[project @ 2005-10-21 14:02:17 by simonmar]
Big re-hash of the threaded/SMP runtime

This is a significant reworking of the threaded and SMP parts of
the runtime.  There are two overall goals here:

  - To push down the scheduler lock, reducing contention and allowing
    more parts of the system to run without locks.  In particular,
    the scheduler does not require a lock any more in the common case.

  - To improve affinity, so that running Haskell threads stick to the
    same OS threads as much as possible.

At this point we have the basic structure working, but there are some
pieces missing.  I believe it's reasonably stable - the important
parts of the testsuite pass in all the (normal,threaded,SMP) ways.

In more detail:

  - Each capability now has a run queue, instead of one global run
    queue.  The Capability and Task APIs have been completely
    rewritten; see Capability.h and Task.h for the details.

  - Each capability has its own pool of worker Tasks.  Hence, Haskell
    threads on a Capability's run queue will run on the same worker
    Task(s).  As long as the OS is doing something reasonable, this
    should mean they usually stick to the same CPU.  Another way to
    look at this is that we're assuming each Capability is associated
    with a fixed CPU.

  - What used to be StgMainThread is now part of the Task structure.
    Every OS thread in the runtime has an associated Task, and it
    can ask for its current Task at any time with myTask().

  - removed RTS_SUPPORTS_THREADS symbol, use THREADED_RTS instead
    (it is now defined for SMP too).

  - The RtsAPI has had to change; we must explicitly pass a Capability
    around now.  The previous interface assumed some global state.
    SchedAPI has also changed a lot.

  - The OSThreads API now supports thread-local storage, used to
    implement myTask(), although it could be done more efficiently
    using gcc's __thread extension when available.

  - I've moved some POSIX-specific stuff into the posix subdirectory,
    moving in the direction of separating out platform-specific
    implementations.

  - lots of lock-debugging and assertions in the runtime.  In particular,
    when DEBUG is on, we catch multiple ACQUIRE_LOCK()s, and there is
    also an ASSERT_LOCK_HELD() call.

What's missing so far:

  - I have almost certainly broken the Win32 build, will fix soon.

  - any kind of thread migration or load balancing.  This is high up
    the agenda, though.

  - various performance tweaks to do

  - throwTo and forkProcess still do not work in SMP mode

[project @ 2005-10-20 14:00:36 by simonmar]
Column numbers in SrcLocs are now counted as the number of characters,
rather than columns.  i.e. a tab always counts as 1.  This was
necessary for communication with Visual Studio interfaces which expect
character indices, but also it seems the majority of other compilers
also do things this way.

From: Krasimir Angelov <kr.angelov@gmail.com>

[project @ 2005-10-20 11:45:19 by simonmar]
changes to exitScheduler(): instead of waiting for all the tasks to
stop, which is unreasonable, we just wait for the run queue to drain.
This is much quicker, but not ideal (see comments).

[project @ 2005-10-20 00:52:38 by sof]
[mingw]delay flushing console buffer until last possible moment. Merge to STABLE

[project @ 2005-10-19 16:04:38 by sof]
ocGetNames_PEi386(): correctly allocate .bss sections in relocatable
 object files. See commit for details; fixes misc GHCi crashes reported
 against 6.4.1.

Merge to STABLE.

[project @ 2005-10-18 11:04:28 by panne]
For the 100th time: Fixed the DocBook XML. >:-( Please, please, please:
Everybody should do a "make validate" before checking in any XML stuff!

[project @ 2005-10-17 11:11:15 by simonpj]
Buglets in GADT record-syntax stuff, which killed the weekend builds

[project @ 2005-10-17 11:10:36 by simonpj]
Small simplifier bug in case optimisation
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

The simplifier eliminates redundant case branches, and panics if there
are no case alternatives.  But due to a slightly delayed instantiation
of a type constructor variable 'p' by a type constructor 'P', it turned
out that an inner case had no alternatives at all, becuase an outer case
had not pruned a branch as quickly as it should have.

This commit fixes both problems:

a) SimplUtils.mkCase1 now returns a call to 'error' (instead of panicing)
   when it gets an empty list of alternatives.   Somewhat analogous to
   the inaccessible GADT case in Simplify.simplifyAlt

b) In SimplUtils.prepareDefault, use the up-to-date scrutinee, rather than
   the less up-to-date case_bndr, to get the case type constructor.  That
   leads to slightly earlier pruning of inaccessible branches.

Fixes a bug reported by Ian Lynagh.

Test is simplCore/should_compile/simpl013

[project @ 2005-10-17 11:09:51 by simonpj]
Comments only

[project @ 2005-10-17 10:47:10 by simonmar]
merge rev. 1.13.2.12 from ghc-6-4-branch

[project @ 2005-10-17 10:01:35 by simonmar]
Fix a comment

[project @ 2005-10-17 09:42:56 by simonmar]
note about watching for/preventing overwrites of critical files in the
bootstrap process.

[project @ 2005-10-17 09:36:39 by simonmar]
if TARGETPLATFORM differs from HOSTPLATFORM, don't attempt to build
DerivedConstants,h, ghcautoconf.h and GHCConstants.h.  If these aren't
present, emit a message to remind the user to copy them from the
target system.  Hopefully this should make bootstrapping slightly less
error prone.

[project @ 2005-10-14 13:11:21 by simonmar]
StrHash doesn't appear to be used; remove it.  I think it was an
earlier version of the string hashing code in Hash.c.

[project @ 2005-10-14 12:29:53 by simonmar]
Some more informative diagnostics for ghc -v about what the package
system is doing.  This should help when diagnosing strange-looking
errors from GHC:

Using package config file: /home/simonmar/fp/lib/i386-unknown-linux/ghc-6.4.1/package.conf
package posix-1.0 will be ignored due to missing dependencies:
  lang-1.0
package util-1.0 will be ignored due to missing dependencies:
  lang-1.0
package data-1.0 will be ignored due to missing dependencies:
  lang-1.0
package text-1.0 will be ignored due to missing dependencies:
  lang-1.0
package Cabal-1.1.4 will be ignored due to missing dependencies:
  util-1.0
*** Deleting temp files
Deleting:
ghc-6.4.1: unknown package: Cabal-1.1.4

[project @ 2005-10-14 11:48:56 by simonmar]
Fix a couple of problems with the "unknown package" error message

[project @ 2005-10-14 11:22:41 by simonpj]
Add record syntax for GADTs
~~~~~~~~~~~~~~~~~~~~~~~~~~~

Atrijus Tang wanted to add record syntax for GADTs and existential
types, so he and I worked on it a bit at ICFP.  This commit is the
result.  Now you can say

 data T a where
  T1 { x :: a }             :: T [a]
  T2 { x :: a, y :: Int }   :: T [a]
  forall b. Show b =>
  T3 { naughty :: b, ok :: Int } :: T Int
  T4 :: Eq a => a -> b -> T (a,b)

Here the constructors are declared using record syntax.

Still to come after this commit:
  - User manual documentation
  - More regression tests
  - Some missing cases in the parser (e.g. T3 won't parse)
Autrijus is going to do these.

Here's a quick summary of the rules.  (Atrijus is going to write
proper documentation shortly.)

Defnition: a 'vanilla' constructor has a type of the form
forall a1..an. t1 -> ... -> tm -> T a1 ... an
No existentials, no context, nothing.  A constructor declared with
Haskell-98 syntax is vanilla by construction.  A constructor declared
with GADT-style syntax is vanilla iff its type looks like the above.
(In the latter case, the order of the type variables does not matter.)

* You can mix record syntax and non-record syntax in a single decl

* All constructors that share a common field 'x' must have the
  same result type (T [a] in the example).

* You can use field names without restriction in record construction
  and record pattern matching.

* Record *update* only works for data types that only have 'vanilla'
  constructors.

* Consider the field 'naughty', which uses a type variable that does
  not appear in the result type ('b' in the example).  You can use the
  field 'naughty' in pattern matching and construction, but NO
  SELECTOR function is generated for 'naughty'.  [An attempt to use
  'naughty' as a selector function will elicit a helpful error
  message.]

* Data types declared in GADT syntax cannot have a context. So this
is illegal:
data (Monad m) => T a where
  ....

* Constructors in GADT syntax can have a context (t.g. T3, T4 above)
  and that context is stored in the constructor and made available
  when the constructor is pattern-matched on.  WARNING: not competely
  implemented yet, but that's the plan.

Implementation notes
~~~~~~~~~~~~~~~~~~~~
- Data constructors (even vanilla ones) no longer share the type
  variables of their parent type constructor.

- HsDecls.ConDecl has changed quite a bit

- TyCons don't record the field labels and type any more (doesn't
  make sense for existential fields)

- GlobalIdDetails records which selectors are 'naughty', and hence
  don't have real code.

[project @ 2005-10-13 00:11:17 by sof]
add protos for HeapStackCheck.cmm:stg_block_blackhole_* entry points

[project @ 2005-10-12 14:10:12 by simonmar]
- we should be acquiring the sm_lock around allocGroup()
- sanity check threads as they are pulled off the blackhole_queue

[project @ 2005-10-12 13:31:12 by simonpj]
MERGE TO STABLE

Fix a bug in TcUnify.unifyTyConApp that made a GADT program fail.
The trouble happens if the type that we are expecting to be
a TyConApp is of form (m a b), where 'm' is refined to a type
constructor.  Then we want to get nice rigid results, and we weren't.

[project @ 2005-10-12 13:29:12 by simonpj]
Small refactoring

[project @ 2005-10-12 12:58:38 by simonmar]
DEBUG_FILL_SLOP: don't do anything on SMP, zeroing slop words isn't safe

[project @ 2005-10-12 12:57:23 by simonmar]
checkHeap: just return on SMP, we can't do heap sanity checking
because we can't zero slop words safely.

[project @ 2005-10-12 12:56:30 by simonmar]
Fix assertion failure in memInventory() with SMP

[project @ 2005-10-12 12:53:15 by simonmar]
When blocking on a BLACKHOLE, we must wait until we have finished
manipulating the current thread's stack before we release sched_mutex,
otherwise another thread can pick up the thread from the
blackhole_queue and start running it.

[project @ 2005-10-12 02:12:34 by wolfgang]
Mac OS X/Darwin PowerPC: Fix a problem introduced by the recent Darwin/x86
commit.

Make the code that allocates jump islands for PowerPC aware of how we shift
.o files in memory to compensate for Mach-O's lax alignment rules.

[project @ 2005-10-11 13:28:49 by simonpj]
Small fixes to the Win32 build log

[project @ 2005-10-10 10:32:09 by simonmar]
Fix bug in previous commit (fixes recent seg faults in nightly stage2)

[project @ 2005-10-10 10:15:05 by simonmar]
identify "mode" as a class of flags, in addition to "static" and "dyanmic"

[project @ 2005-10-10 10:14:06 by simonmar]
flag reference update: a bunch of static flags are now dynamic

[project @ 2005-10-07 11:01:47 by simonmar]
Fix a bug I just found: hiding a package if later versions are exposed
wasn't actually checking the exposed flag.

[project @ 2005-10-06 10:41:15 by simonmar]
comment typo

From: Autrijus Tang <autrijus@autrijus.org>

[project @ 2005-10-06 10:40:40 by simonmar]
remove old comment

From: Autrijus Tang <autrijus@autrijus.org>

[project @ 2005-10-06 10:40:10 by simonmar]
add dataConFieldType

From: Autrijus Tang <autrijus@autrijus.org>

[project @ 2005-10-06 10:39:37 by simonmar]
refactoring (use record fields instead of selector functions)

From: Autrijus Tang <autrijus@autrijus.org>

[project @ 2005-10-06 10:38:54 by simonmar]
add splitHsFunType

From: Autrijus Tang <autrijus@autrijus.org>

[project @ 2005-10-06 10:38:22 by simonmar]
small refactoring

From: Autrijus Tang <autrijus@autrijus.org>

[project @ 2005-10-05 13:34:04 by simonmar]
DEBUG_FILL_SLOP(): fill slop for AP_STACK closures too

[project @ 2005-10-05 13:09:28 by simonmar]
Mention that assertions are turned off by -O

[project @ 2005-10-05 13:08:58 by simonmar]
remove duplicate mention of -fignore-asserts

[project @ 2005-09-24 15:07:49 by panne]
Synched all FPTOOLS_CHECK_HTYPE definitions with the latest changes in
libraries/OpenAL/aclocal.m4. Although it is not strictly necessary, keeping
things identical is good for consistency. At some point in time we should
really find a way to eliminate all this redundancy... *sigh*

[project @ 2005-09-24 04:22:22 by wolfgang]
x86 & PIC: make floating point constants on x86 PIC-aware

[project @ 2005-09-24 04:21:29 by wolfgang]
Darwin/x86: Try again to get stack alignment right.

[project @ 2005-09-24 02:15:32 by wolfgang]
PowerPC: track changes in the rest of the register allocator

[project @ 2005-09-23 10:13:33 by simonmar]
in --make mode, don't re-link when the executable is up to date.

[project @ 2005-09-21 09:58:53 by simonmar]
distill a bit of wisdom from the mailing list

[project @ 2005-09-21 09:54:59 by simonmar]
Document the -x flag

[project @ 2005-09-20 16:35:26 by ross]
move RTLD_* tests down to unix package

[project @ 2005-09-20 12:07:58 by simonmar]
Update the license: we now use a BSD license, although the release
will be binary-only.

[project @ 2005-09-18 16:27:21 by wolfgang]
Make outOfLineFloatOp PIC/dynamic-linking-aware on i386

[project @ 2005-09-18 16:23:57 by wolfgang]
Fix last commit: it's opt_Static in the HEAD branch, not a local variable
"static".

[project @ 2005-09-18 10:01:57 by panne]
Fixed a few underquoted definitions.

[project @ 2005-09-18 07:12:44 by wolfgang]
PIC version for genSwitch on i386

[project @ 2005-09-18 07:09:50 by wolfgang]
A hack to make -dynamic work again:
when a library listed in extraLibraries ends with "_cbits", append "_dyn"
when -dynamic is passed, i.e. extraLibraries = ["foo", "HSbase_cbits"]
loads -lfoo and -lHSbase_cbits in the static case, but -lfoo and
-lHSbase_cbits_dyn in the -dynamic case.

It's an ugly hack, but it affects only the case when -dynamic is passed,
which would not work otherwise right now, so let's

MERGE TO STABLE

[project @ 2005-09-16 14:02:22 by simonmar]
Update for Sparc/Solaris from Christian Meader.  This might fix GHCi
on Sparc.

[project @ 2005-09-16 11:23:45 by simonmar]
- Mention bundled documentation
- Add some more copyrights
- Add authors

[project @ 2005-09-16 10:36:53 by simonmar]
only set bootstrapped=YES if the version we're building with is
exactly the *same* as the version being built, rather than a later
version.

[project @ 2005-09-16 09:59:26 by simonmar]
Add some missing cases to heapCensus(); should fix heap profiling of
code that uses STM.

[project @ 2005-09-16 09:37:18 by simonmar]
rev. 1.258 introduced a double acquire of sched_mutex; createThread()
is called with sched_mutex already held by rts_evalIO() and friends.
This fixes it.

[project @ 2005-09-16 07:59:48 by simonmar]
Somehow, I managed to commit the wrong version of yesterday's hack.
Sigh.  Try again.

[project @ 2005-09-15 18:12:25 by krasimir]
Add Makefile

[project @ 2005-09-15 08:56:31 by simonmar]
Fix previous hack to avoid non-standard sed options

[project @ 2005-09-14 14:10:30 by simonmar]
fix the description of the restrictions on pre-processed code

[project @ 2005-09-14 08:57:46 by simonmar]
workaround a bug in GHC 6.4's --optdep--exclude-module flag

[project @ 2005-09-13 22:52:00 by wolfgang]
Darwin/x86: Fix HOST/TARGET confusion in previous commit.

[project @ 2005-09-13 12:50:59 by simonmar]
Never use an installed Cabal package when building GHC (except when
bootstrapping in stages 2 & 3).  This insulates us from changes the
user may have made to their Cabal installation.

[project @ 2005-09-13 12:08:31 by simonmar]
Remove onMutList() - it needs to be done differently in the HEAD

[project @ 2005-09-12 16:01:25 by simonmar]
stg_raise thunk should be THUNK_1_0 rather than THUNK.

[project @ 2005-09-12 16:00:43 by simonmar]
raiseAsync_: raise_info closure is header + MIN_UPD_SIZE, not header +
1 words.  (MIN_UPD_SIZE is 1 in the HEAD so this has no effect, but
it'll make a difference on STABLE).

[project @ 2005-09-12 15:51:10 by simonmar]
- Fix IND case
- Add a useful function for debugging: onMutList()

[project @ 2005-09-12 14:34:08 by simonmar]
checkBQ() is dead code in non-GRAN/PAR

[project @ 2005-09-12 00:10:09 by wolfgang]
Darwin/x86:

Maintain 16-byte alignment for foreign import wrapper calls.

[project @ 2005-09-11 23:59:32 by wolfgang]
Darwin/x86:

Honour the 16-byte stack alignment requirement when ccalling from the NCG.

[project @ 2005-09-11 23:56:24 by wolfgang]
Darwin/x86:

Align the stack correctly when entering Haskell code.

[project @ 2005-09-05 15:28:07 by simonpj]
GHC claims to lift the H98 restriction that a class method must not
add a constraint on the class type variable (manual 7.4.2.1 "Class
method types").  But the validity check was incorrect in the case
where the class method had a forall.  E.g.
class C a where
  op :: forall b. (Show b, Show a) => ...

This commit fixes the bug.

tcrun037, and tcfail149, test with and without -fglasgow-exts.

MERGE TO STABLE

[project @ 2005-09-05 08:22:23 by ross]
add a newline after error messages

MERGE to STABLE

[project @ 2005-09-02 14:07:33 by simonmar]
change glass.cse.ogi.edu to cvs.haskell.org

[project @ 2005-08-24 09:43:55 by tharris]
Hold sched_mutex when working on blackhole_queue

[project @ 2005-08-22 09:03:02 by simonpj]
Slightly improve overlap checking; could merge to STABLE

[project @ 2005-08-19 08:02:39 by simonpj]
Make -fno-code work again

[project @ 2005-08-18 20:32:46 by krasimir]
add pprInstanceHdr function. It is analogous to pprTyThingHdr and prints the
instance but without the "-- Defined at ...." comment. The function is used in
VStudio to populate the ClassView tree.

[project @ 2005-08-18 10:25:46 by simonpj]
1. Remove redundant coerces.  Something that started life as
coerce a b <expr>
   might change to
coerct Int Int <expr>
   after the types a,b are instantiated.

2. Get rid of the "bad eta expand" message. It can happen entirely legitimately.
   See comments in CoreUtils with eta_expand.

MERGE TO STABLE

[project @ 2005-08-18 10:02:54 by simonpj]
Make the forkM failure fail more tidily.  Interface-file inconsistencies
give rise to failures in the IfM monad.  An error message is printed, but
up to now we've also said "The impossible happened, must be a GHC bug".
That's not true, though, it could just be messed up interface files.

So this commit still makes the compiler halt, but in a tidier, less
self-accusatory way.

Still to come: when original names in interface files mention the
package Id too, the error will become clearer still.

MERGE to STABLE

[project @ 2005-08-12 14:43:04 by simonpj]
Fix typos