[project @ 2002-09-01 00:34:21 by mthomas]
Foreign does not export C.String so CString and peekCString are undefined.

[project @ 2002-08-30 15:17:00 by simonpj]
Add notes about linear implicit parameters

[project @ 2002-08-30 12:21:16 by simonmar]
oops, 'make Foo.s' in ghc/rts was completely busted

MERGE TO STABLE

[project @ 2002-08-30 09:14:02 by simonmar]
Remove unused import of PrelPack (should fix the build again)

[project @ 2002-08-29 15:44:11 by simonmar]
Housekeeping:

  - The main goal is to remove dependencies on hslibs for a
    bootstrapped compiler, leaving only a requirement that the
    packages base, haskell98 and readline are built in stage 1 in
    order to bootstrap.  We're almost there: Posix is still required
    for signal handling, but all other dependencies on hslibs are now
    gone.

    Uses of Addr and ByteArray/MutableByteArray array are all gone
    from the compiler.  PrimPacked defines the Ptr type for GHC 4.08
    (which didn't have it), and it defines simple BA and MBA types to
    replace uses of ByteArray and MutableByteArray respectively.

  - Clean up import lists.  HsVersions.h now defines macros for some
    modules which have moved between GHC versions.  eg. one now
    imports 'GLAEXTS' to get at unboxed types and primops in the
    compiler.

    Many import lists have been sorted as per the recommendations in
    the new style guidelines in the commentary.

I've built the compiler with GHC 4.08.2, 5.00.2, 5.02.3, 5.04 and
itself, and everything still works here.  Doubtless I've got something
wrong, though.

[project @ 2002-08-29 13:38:45 by simonpj]
Fix eta-expansion bug, which led to an infinite loop in
CoreUtils.etaExpand. This showed up when compiling FranTk.

MERGE TO STABLE

[project @ 2002-08-29 12:57:34 by simonmar]
Add notes about DEBUG and GHCI.

[project @ 2002-08-29 11:52:42 by simonmar]
update (readline has moved)

[project @ 2002-08-29 11:47:46 by simonmar]
Add a ToDo note.

[project @ 2002-08-28 19:28:02 by ken]
Further mangler changes to get ghc working with gcc 3.04 on the Alpha.
Jeff Lewis: "The compiler was sometimes emitting the $..ng label for a symbol
before the regular label.  This really confused the mangler, and it completely
scrambled the file."

[project @ 2002-08-28 16:02:51 by simonmar]
Add the beginnings of the "Coding Style Guidelines" for ghc/compiler.

[project @ 2002-08-28 13:02:51 by simonmar]
Remove duplicate sched_belch() call from raiseAsync().

[project @ 2002-08-28 11:29:42 by simonpj]
Add notes about data types

[project @ 2002-08-28 09:24:15 by simonmar]
Fix braino in previous commit

MERGE TO STABLE

[project @ 2002-08-27 09:38:43 by simonmar]
- If the same module is defined in multiple "root" source files, then
  complain.  Before, the compiler would silently ignore one of them.

- Remove some unuseed imports

MERGE TO STABLE

[project @ 2002-08-27 09:34:20 by simonmar]
Fix a bug in the cleaning up of temporary files: we were wrongly
cleaning the temporary pre-processed source files for stable modules,
with the result that the compiler would panic the next time they were
required.

Reported ages ago by: Hal Duame.

MERGE TO STABLE

[project @ 2002-08-27 09:12:53 by simonmar]
Replace "Funny global thing" with a better error message, as suggested
by Alastair Reid.  The message is:

  Warning: retaining unknown function `$_' in output from C compiler

("unknown function" is a bit vague, but I couldn't come up with an
alternative that wasn't misleading).

[project @ 2002-08-23 20:59:29 by sof]
bring write() proto into scope

[project @ 2002-08-21 22:06:02 by ken]
Use __DISCARD__ to prevent overly aggressive optimization by certain
gcc versions on the Alpha.  Thanks to Jeffrey Lewis!

[project @ 2002-08-21 16:02:58 by simonmar]
Add link to Mark Jones' paper on functional dependencies, in lieu of
real documentation.

[project @ 2002-08-21 12:58:56 by simonmar]
fromInt ==> fromIntegral

[project @ 2002-08-21 10:44:26 by simonmar]
Oops, string literals were using mkFastStringNarrow instead of
mkFastString, with the result that characters >= 256 were being
truncated modulo 256.

MERGE TO STABLE

[project @ 2002-08-20 10:32:48 by simonmar]
Fix a buglet in CorePrep:  an expression such as

case __coerce (\x -> e) :: T of { ... }

would be left as is, but the lambda expression should really be
abstracted as a let (causes a panic later in srtExpr; shown up by
the dynamic001 test).  There was a missing call to deLam in the case
for Case expressions in corePrepExprFloat.

In addition, I made a new version of deLam, deLamFloat, which can
float any bindings generated.  This helps to generate slightly cleaner
code in the above case (the binding is floated out of the scrutinee).

Also: GC unused imports while I'm here.

[project @ 2002-08-19 16:02:26 by simonmar]
Protect against divide by zero when there have been zero major GCs in
the one-line stats mode.

[project @ 2002-08-19 08:38:36 by simonmar]
oops, rts_n_free_capabilities is used in an inline function.

[project @ 2002-08-16 14:30:21 by simonmar]
Use an stg_ap_2 thunk rather than an AP_UPD in rts_apply().  Saves one
word per rts_apply(), and a little time too.

[project @ 2002-08-16 13:29:05 by simonmar]
Global and common variable sweep: staticize many variables that don't
need to be globally visible.

[project @ 2002-08-16 13:28:22 by simonmar]
Re-order the checks in HP_STK_CHK and HP_STK_CHK_NP: if the stack
check failed before the heap check, then we would get bogus allocation
results.

[project @ 2002-08-16 13:20:36 by simonmar]
large_alloc_list seems to be a fossil; remove it

[project @ 2002-08-16 09:36:36 by simonmar]
Be a bit clearer about the current directory when GHCi is started, and
mention that you might have to ':cd' to the right place before you can
load something.

[project @ 2002-08-14 14:06:25 by sof]
If booting unregisterised, add -DNO_REGS -DUSE_MINIINTERPRETER
to PLATFORM_HC_BOOT_CC_OPTS

[project @ 2002-08-13 10:13:40 by simonmar]
Update docs about not using Float.

[project @ 2002-08-12 14:40:25 by sof]
HC_BOOT_LD_OPTS:
  - if needed, include ghc/rts/gmp on -L list.
  - sync -u list wrt ghc/rts/rts.conf.in

[project @ 2002-08-09 22:16:03 by sof]
oops, YES is NO

[project @ 2002-08-09 22:13:51 by sof]
UseGhcForCc: don't use "ifneq" to control its setting; too strict.
Resort to a $(shell ..) hack.

[project @ 2002-08-09 21:28:09 by sof]
Added GHC_MANGLER_DIR, GHC_SPLIT_DIR + fix .raw_s -> .s bootstrap suffix rule

[project @ 2002-08-09 20:59:41 by sof]
NON_HS_PKG vs NON_HS_PACKAGE confusion - NON_HS_PACKAGE wins

[project @ 2002-08-06 13:43:35 by simonmar]
Make this compile, and maybe even work

[project @ 2002-08-05 11:11:44 by simonmar]
- Update the old coding style document
- Move it to the commentary under the "RTS & libs" section

[project @ 2002-08-05 10:11:03 by simonmar]
Overhaul the debugging flags.  The old bitfield mechanism was a bit
silly, so now instead of writing -D129 (the one I use most) you can
now write -DSs.  Each debugging option has a single character assigned
to it, documented in the -? help text.

[project @ 2002-08-05 09:18:27 by simonmar]
We have to turn off the buffering on stdout, stdin & stderr after
every time we revert all CAFs, not just when starting up GHCi.

MERGE TO STABLE

[project @ 2002-08-02 13:08:33 by simonmar]
PrimRep Cleanup

   - Remove all PrimReps which were just different flavours of
     PtrRep.  Now, everything which is a pointer to a closure of
     some kind is always a PtrRep.

   - Three of the deleted PrimReps, namely ArrayRep, ByteArrayRep,
     and ForeignObj rep, had a subtle reason for their existence:
     the abstract C pretty-printer(!) used them to decide whether
     to apply a shim to an outgoing C-call argument: a ByteArrayRep
     argument would be adjusted to point past the object header,
     for example.

     I've changed this to happen in a much more reasonable and
     obvious way: there are now explict macros in AbsCSyn to do the
     adjustment, and the code generator makes calls to these as
     necessary.  Slightly less hackery is necessary in the NCG as
     a result.

[project @ 2002-08-02 12:24:04 by simonmar]
Pass -fno-builtin to gcc when compiling .hc files, because this avoids
a common cause of running out of registers when foreign calls to
functions like memcpy(), strlen() are made from Haskell.

MERGE

[project @ 2002-08-02 11:17:15 by simonmar]
Remove out-of-date comment

[project @ 2002-08-02 09:44:26 by simonmar]
Mention that --show-iface is needed for viewing interface files.

[project @ 2002-08-01 14:34:42 by simonpj]
Make the byte-code generator understand about unboxed
tuple returns.  The previous code was just wrong.

This code is better but it is still not *right*, I fear.
Don't merge till we sort this out.

[project @ 2002-08-01 14:13:10 by simonpj]
Another rebindable-syntax wibble; merge to stable branch

[project @ 2002-08-01 12:49:41 by simonpj]
Comments only

[project @ 2002-08-01 12:49:06 by simonpj]
More documentation about hoisting

[project @ 2002-07-31 14:11:13 by simonmar]
Detect Python (any version).

[project @ 2002-07-31 12:17:35 by simonmar]
Remove unused primRepTyCon

[project @ 2002-07-30 17:35:59 by sof]
wibble

[project @ 2002-07-30 11:49:17 by simonpj]
Wibble to yestdays commit re module versioning

[project @ 2002-07-30 03:42:56 by sof]
hc-file-bundle:
  * only include the .hsc-derived .hs files that exist in the build tree.
  * updated to include current happy-derived .hs files

[project @ 2002-07-29 16:12:07 by simonpj]
** MERGE TO STABLE **

1. Make TidyPgm forget IdInfo for exported things.  This is
   really important for the recompilation checker; see the
   commment with TidyPgm.tidyTopIdInfo

   Fixes a bug reported by Sigbjorn.

2. Make CoreToStg more robust, by avoiding the duplicate
   calculation of update flag for top-level closures

[project @ 2002-07-29 16:08:20 by simonpj]
Comment only

[project @ 2002-07-29 13:19:52 by simonpj]
** MERGE TO STABLE **

Fix an alpha-renaming bug in hoistForAlls

[project @ 2002-07-29 12:22:37 by simonpj]
*** MERGE TO STABLE BRANCH ***

Surprisingly large delta to make rebindable names work properly.
I was sloppily not checking the type of the user-supplied name,
and Ashley Yakeley's first experiment showed up the problem!

Solution: typechecker has to check both the 'standard' name and
the 'user' name and check the latter has a type compatible with the
former.

The main comment is with Inst.tcSyntaxName (a new function).

[project @ 2002-07-29 11:22:31 by simonmar]
Back out previous commit; -static is on by default and we don't want
to always pass -static to the linker.

[project @ 2002-07-29 10:50:43 by simonmar]
Type variables created by the typechecker didn't have the correct
NameSpace: they were in the Var namespace rather than the TyVar
namespace, which can lead to strange warnings about quantified type
variables being not mentioned in the type when DEBUG is on.

Name:
- added mkSystemNameEncoded for use when the string
  is already encoded (saves re-encoding the string every
  time)

- added mkSystemTvNameEncoded for making a type variable
  name, as above

Var:
- use mkSystemTvNameEncoded when making type variables

Id:
- add mkSysLocalUnencoded for the (rare) case when
  the string needs encoding

TcMType:
- use mkSystemTvNameEncoded rather than mkSystemName for
  making type variables

SetLevels:
- use mkSysLocalUnencoded since the names generated here
  need encoding.

[project @ 2002-07-29 10:42:29 by simonmar]
Add -static to the linker command line when -static is passed to GHC.

At some point we might want a way to say that Haskell libraries should
be linked statically but everything else should be linked as normal,
but since we aren't really supporting dynamic Haskell libraries at
this time, we don't need to address that yet.

[project @ 2002-07-29 09:11:04 by simonpj]
More informative crash in rdrNameModule

[project @ 2002-07-28 14:10:03 by krasimir]
Documentation for #size

[project @ 2002-07-28 13:55:32 by krasimir]
add `size` macro

[project @ 2002-07-28 02:31:11 by sof]
include stdlib.h (to get at NULL)

[project @ 2002-07-26 09:35:46 by simonmar]
Always return 8-byte-aligned memory from arenaAlloc().  Fixes problems
with profiling on sparc-sun-solaris2, and might fix problems with
Windows too.

MERGE

[project @ 2002-07-26 03:06:58 by sof]
interactiveLoop{mingw32}: always show prompt under mingw.

hIsTerminalDevice returns True iff stdin is connected to a Console
under Win32. Which it is when running in a command shell
(DOS,bash etc.), but Emacs sub-shells don't get a Console of their
own when invoked. So, just disable this feature (whose motivation
somewhat escapes me.)

[project @ 2002-07-25 18:36:59 by sof]
Expose printAllThreads() in non-DEBUG builds;
of some use when debugging ConcHask code and
want a dump of the current state of the system's
threads.

Not provided via a library, so to use, do

 foreign import call unsafe printAllThreads :: IO ()

[project @ 2002-07-25 14:47:30 by simonmar]
Add -ddump-minimal-imports (not sure why this was missing)

MERGE

[project @ 2002-07-24 18:18:13 by sof]
warning removal

[project @ 2002-07-24 09:47:49 by simonmar]
Documentation for #offset

[project @ 2002-07-24 09:44:37 by simonmar]
Add #offset for just grabbing the byte offset of a struct field.

[project @ 2002-07-24 06:27:01 by krasimir]
add GhcLibsWithObjectIO

[project @ 2002-07-24 03:38:58 by sof]
awaitEvent: if select() reports EBADF,
always unblock all waiting threads, even if
the prior invocation of select() also
elicited an EBADF.

The 'smart' that was there previously runs
the risk of working against us (if the EBADFs are
coming from different fds), so the above
scheme is preferable (and simpler.)

[project @ 2002-07-23 22:42:17 by krasimir]
add --enable-objectio configuration option

[project @ 2002-07-23 20:03:48 by ken]
Change "rm" in example makefile to "rm -f",
in case there is no .o file to remove

[project @ 2002-07-23 14:58:16 by simonpj]
Use tcLookupId, not tcLookupGlobalId, in Inst.newMethodFromName

    This really only affects the behaviour with -fno-implicit-prelude

*** MERGE TO STABLE BRANCH ***

[project @ 2002-07-23 14:57:11 by simonpj]
a) Correct precedence for application in derived
Read/Show

  b) Spaces round '=' in derived Show for records

*** MERGE TO STABLE BRANCH ***

[project @ 2002-07-23 13:30:12 by sof]
find ~=> $(FIND)

[project @ 2002-07-23 11:25:27 by simonmar]
if $(STAMP_PKG_CONF) is non-null, then wait for it before generating
dependencies.  This avoids a race with 'make -j' where package.conf
could get modified while the compiler is reading it.

[project @ 2002-07-23 11:23:55 by simonmar]
Don't re-run ghc-pkg if the package conf files haven't changed.  We
use a stamp file rather than adding an explicit dependency on
ghc/driver/package.conf{,.inplace} for reasons explained in a comment.

[project @ 2002-07-23 10:12:01 by simonmar]
Use $(HADDOCK) rather than $(HADDOCK_INPLACE)

[project @ 2002-07-23 10:10:28 by simonmar]
Add $(HADDOCK) pointing to the Haddock to use (src tree or installed)

[project @ 2002-07-23 10:09:51 by simonmar]
- Invoke FPTOOLS_HADDOCK to find an installed Haddock
- Add an option --use-src-tree-haddock to mirror --use-src-tree-happy

[project @ 2002-07-23 10:08:58 by simonmar]
Add FPTOOLS_HADDOCK to detect an installed version of Haddock.

[project @ 2002-07-22 15:32:41 by stolz]
Last bunch of OpenBSD-implicated autoconf-changes
from Donald Bruce Stewart <dons@cse.unsw.edu.au>.

[project @ 2002-07-22 14:29:13 by simonpj]
Add a note about pattern-matching with -fno-implicit-prelude

[project @ 2002-07-22 10:02:13 by simonmar]
Add a comment to note that Stg.h must be included before system
headers (this was always the case, but is now more important because
it is often necessary to #include system headers where it wasn't
previously).

[project @ 2002-07-21 11:46:34 by panne]
Long explanation for small commit:

With the recent reorganization of #includes, things get a little bit
fragile: When gcc with -O is used, glibc's <stdio.h> defines a few
inline functions (see <bits/stdio.h>), and "Stg.h" defines some global
variables which reside in registers. But the latter must happen
*before* any function definition has been seen, otherwise the
generated code could be invalid. Consequently gcc complains like:

   In file included from Stg.h:182,
                    from mkNativeHdr.c:12:
   Regs.h:293: global register variable follows a function definition
   Regs.h:302: global register variable follows a function definition

The solution is quite simple: Always #include "Stg.h" *before* any
system headers.

[project @ 2002-07-20 05:37:10 by dons]
OpenBSD needs #include <sys/types.h> for msghdr compile tests.

[project @ 2002-07-19 18:45:21 by sof]
forkProcess():
 be less ambitious, and don't kill any main_threads.
 Killing them, and possibly replacing them on the
 main_threads with the current one, turned out to
 run into problems of its own (see comments.)

 The hope/wish is that the current behaviour of
 forkProcess will suffice.

[project @ 2002-07-19 11:48:20 by simonmar]
Remove the check for >4 args when doing a foreign import "wrapper" on
Sparc: we support unlimited arguments now (from Sven Panne).

[project @ 2002-07-19 11:47:30 by simonmar]
Code to make the general case of createAdjustor() work on Sparc, from
Sven Panne.  Previously only 4 args were supported.

[project @ 2002-07-19 11:46:31 by simonmar]
Sparc NCG fix from Sven Panne: 8-byte align the stack ptr when doing a ccall.

[project @ 2002-07-19 00:06:05 by sof]
forkProcess():
 - fix bug which left run_queue_tl in a bad state.
 - be better behaved wrt 'main threads', i.e.,
   if the killing thread isn't the main thread,
   make sure it's hooked up to main_threads +
   correctly signal the completion/killing of
   any main threads.

[project @ 2002-07-18 13:12:45 by lewie]
%files for the profiling rpm was missing .p_hi files that were nested deeply.
Fixed by calculating %files for prof rpm similar to how it is calculated
for the main rpm.

[project @ 2002-07-18 09:16:12 by simonmar]
Back off from including the interface file version in the module init
label - we might not recompile modules which depend on the current
one, even if its version changes.  Thanks to Sigbjorn for pointing
this out.

We still include the way, however, so we'll still catch cases of
linking modules compiled in different ways.

[project @ 2002-07-18 09:13:10 by simonmar]
Remove a bogus test

[project @ 2002-07-18 09:12:34 by simonmar]
#include wibbles

[project @ 2002-07-18 09:12:03 by simonmar]
cosmetic only