[project @ 2003-07-24 15:04:41 by simonmar]
Fix for building _stub.c files in BootingFromHc mode.

[project @ 2003-07-24 14:41:48 by simonpj]
Sync deriving( Data ) with the new Data class

[project @ 2003-07-24 13:57:20 by simonmar]
Let's build genprimopcode when bootstrapping too.  There doesn't seem
to be an easy way around this.

[project @ 2003-07-24 13:40:05 by simonmar]
Fix for unregisterised bootstrapping

[project @ 2003-07-24 12:19:56 by ralf]
Major refactoring of Data/Generics.
This also affects the compiler (because of deriving issues).
This is an intermediate commit.
The library is supposed to compile fine.
But the deriving stuff for Data needs to be revised.
The testsuite for Data/Generics will not pass.
gread is broken at the moment.
So it is strongly recommended not to cvs upd for a few hours or a day.

Detailed description of changes:
- Split up Data/Dynamic into Data/Typeable and Data/Dynamic.
  (This makes clear what part is about TypeReps and cast vs.
   dynamics. The latter is not needed by Data/Generics.)
- Renamed Data/include/Dynamic.h -> Typeable.h to end confusion.
- Split up Data/Generics.hs in a set of modules.
- Revised class Data:
  - Got rid of gunfold but added fromConstr as more primtive one
  - Revised representations of constructors
  - Revised treatment of primitive types
- Revised type of gmapQ; preserved old gmapQ as gmapL
- Added a module Data/Types.hs for treatment of types as values.

This is going somewhere.

[project @ 2003-07-24 11:57:48 by simonmar]
Fixes to the hc-file-bundle target

[project @ 2003-07-24 11:46:01 by simonmar]
Only haskell98 and base libraries are needed to link the compiler.

[project @ 2003-07-24 11:44:42 by simonmar]
More BootingFromHc fixes

[project @ 2003-07-24 11:03:07 by simonmar]
- Move suffix rules from bootstrap.mk to suffix.mk
- Make the bootstrap suffix rules $(odir)-aware, so they work for the compiler

[project @ 2003-07-24 10:47:05 by simonmar]
Remove ancient/bogus booting-from-hc stuff.

[project @ 2003-07-24 10:38:33 by simonmar]
- Remove hslibs stuff (we don't need hslibs for bootstrapping now)
- Add libraries/unix/include to the -I list

[project @ 2003-07-24 09:29:10 by simonmar]
Set GhcWithInterpreter=NO in stage2

[project @ 2003-07-24 07:45:09 by simonpj]
Document deriving(Typeable,Data)

[project @ 2003-07-24 07:44:21 by simonpj]
Add cross refs

[project @ 2003-07-24 07:38:54 by simonpj]
For GHCi, a recent simplification in TcRnDrive.tc_stmts turned out to
be bogus. Briefly, we were returning *monomorphic* values from a user
stmt (e.g. "let f x y = x>y") when we should wrap the *polymorphic* values.

See the comment with mk_return in tc_stmts.

[project @ 2003-07-23 16:19:48 by simonmar]
There's no need to pass -u Main_zdmain_closure to the linker, indeed
this causes problems when there isn't a Main_zdmain_closure
(eg. linking a C program using GHC).

merge to STABLE

[project @ 2003-07-23 15:42:24 by simonmar]
PrimopWrappers hack no longer required.

[project @ 2003-07-23 15:35:27 by simonmar]
We don't need the MAKEFLAGS hack any more.

[project @ 2003-07-23 15:31:06 by simonmar]
Fix depend rule for BootingFromHc

[project @ 2003-07-23 15:25:32 by simonmar]
Something strange was going on with the depend rule and
$(STAMP_PKG_CONF); fix it.

[project @ 2003-07-23 15:14:50 by simonmar]
- no need for hacky delayed setting of UseGhcForCc
- fix AutoApply.hc rule when BootingFromHc=YES

[project @ 2003-07-23 15:13:40 by simonmar]
No need to test BootingFromHc (which won't be set yet) before setting
UseGhcForCc.

[project @ 2003-07-23 15:12:55 by simonmar]
Comment previous commit

[project @ 2003-07-23 15:12:30 by simonmar]
UseGhcForCc is only relevant when BootingFromHc=NO

[project @ 2003-07-23 14:52:25 by simonmar]
alpha*-unknown-linux ==> alpha*-unknown-linux*  (from Ian Lynagh)

[project @ 2003-07-23 14:05:51 by simonmar]
Always create directories for the .o file, not just when using the
compilation manager.

[project @ 2003-07-23 13:39:11 by simonmar]
Fix egregious bug in the unregisterised case for RET_N, which was
causing an unregisterised compiler to crash.

[project @ 2003-07-23 13:08:55 by simonpj]
Comments and cosmetics about dataTcOccs

[project @ 2003-07-23 13:08:22 by simonpj]
Comment case-alternative invariants

[project @ 2003-07-23 11:44:24 by simonmar]
forgot one file

[project @ 2003-07-23 11:43:16 by simonmar]
These test have all moved over to
fptools/testsuite/tests/ghc-regress/ghci.  The old test suite in
fptools/ghc/tests is now finally dead!

[project @ 2003-07-22 16:18:06 by simonmar]
Commit an untested, but hopefully more workable and up-to-date version
of this script.

[project @ 2003-07-22 16:11:26 by simonmar]
Another cost-centre-restoring fix.  Restoring the cost centre in an
unboxed-tuple case alternative was using the wrong stack offset.

[project @ 2003-07-22 14:51:50 by simonmar]
When GhcUnregisterised=YES, we must tell genapply about it.

[project @ 2003-07-22 14:24:57 by simonmar]
Fix a nasty bug in eq_ufVar, which meant that unfoldings were
comparing equal when non-local names in the unfolding had changed,
which could lead to erroneously avoiding recompilation.

This bug could cause bad behaviour along the lines of "my program was
segfaulting, but I did make clean; make and now it works!".

merge to STABLE

[project @ 2003-07-22 13:23:44 by simonmar]
Oops, move include of stdlib.h after MachRegs.h, so that it comes
after register variable declarations.

[project @ 2003-07-21 15:24:42 by simonmar]
Update the documentation for filenames and related options to reflect
the new story.  Now we talk about hierarchical modules from the
outset, and hopefully the whole description is somewhat clearer than
before.

[project @ 2003-07-21 15:14:18 by ross]
Check for unknown flags before (rather than after) checking -o and -ohi
flags, avoiding confusing behaviour like

% ghc -bad-option -c x.hs
ghc-6.0: unrecognised flags: -bad-option

% ghc -bad-option -c x.hs -ohi x.hi
ghc-6.0: -ohi can only be used when compiling a single source file
Usage: For basic information, try the `--help' option.

% ghc -bad-option -c x.hs -o x.o
ghc-6.0: can't apply -o to multiple source files
Usage: For basic information, try the `--help' option.

(looks better with scores of flags)

please merge to STABLE

[project @ 2003-07-21 15:05:54 by simonmar]
We use NULL in the headers (at least when -prof is on), so we better
#include <stdlib.h>.  We normally get it via HsBase.h anyway, but we
shouldn't rely on that.

[project @ 2003-07-21 14:50:32 by simonmar]
Document that changing directories unloads all modules.

[project @ 2003-07-21 14:33:19 by simonmar]
:cd now causes all modules to be unloaded.

This is the easy fix for a problem whereby changing directories will
cause GHC to try to demand-load objects from the wrong place, because
it is using relative pathnames.

It's not obvious what the "right" thing to do is if the user changes
directory with :cd and then does a :reload.  Perhaps the right thing
to do is to make the search path "sticky", so that it stays relative
to the original current directory.  This would probably require some
re-engineering of GHC to only use absolute paths internally.

[project @ 2003-07-21 14:28:02 by simonmar]
Comment out the warning about filenames not matching module names.

[project @ 2003-07-21 11:45:47 by simonmar]
Add support for the new AWAKEN_BQ_CLOSURE macro to the NCG.  Fixes
broken HEAD builds.

[project @ 2003-07-21 11:06:22 by simonpj]
More on rules and specialisations

[project @ 2003-07-21 11:01:06 by simonmar]
When restoring the cost centre in a let-no-escape, don't free the
stack slot containing it.  We might need the saved cost centre again
for a recursive call to this let-no-escape.

Should fix profiling a bit more.

[project @ 2003-07-20 21:28:04 by panne]
Unbreak GHCi: Add stg_BLACKHOLE_BQ_info and awakenBlockedQueue to
RTS_SYMBOLS.

[project @ 2003-07-20 16:33:24 by panne]
To accomodate the Hugs package conversion magic, use separate
variables for OpenGL libraries and GLUT libraries.

[project @ 2003-07-18 16:31:27 by simonmar]
Restoring of cost centre in let-no-escape: we need to do this after
binding the args to stack locations, otherwise we end up grabbing the
wrong slot.

Should hopefully fix profiling crashes.  We still don't pay any
attention to the cost centre attached to the let-no-escape binding
itself, which looks wrong, but I don't intend to do anything about
that right now.

[project @ 2003-07-18 14:39:05 by simonmar]
When doing update-in-place, there is a (small) chance that the thunk
may have been blackholed and another thread might be waiting on it.
We can't therefore just splat it with the value; we have to check
whether it is a blocking queue and awaken any threads that might be
waiting on it if so.

Should fix the scavenge_mutable_list crash reported recently.  If it
does, it will be merged to STABLE.

[project @ 2003-07-18 13:25:55 by simonmar]
We don't need hacky filename comparisons in ppFilesFromSummaries now
that the real bug in SysTools has been fixed.

[project @ 2003-07-18 13:18:06 by simonmar]
Revision to the filename policy changes of yesterday.  This fixes the
broken stage2 and library builds.

The new story is this:

  A Haskell source filename should take the form

<path>/<basename>.<extension>

  where

<path>      is any directory
<basename>  is the name of the module, with dots replaced by slashes.
<extension> is ".hs" or ".lhs".

  given a source filename in this form, GHC will produce object and
  interface files named respectively:

        <hidir>/<basename>.<hisuf>
<odir>/<basename>.<osuf>

  where

<hidir>   is the value of the -hidir flag, if one was given, or
  the value of <path> from the source file otherwise.

<odir>    the same, for the -odir flag.

        <osuf>   the object suffix (settable with the -osuf flag)
<hisuf>   the hi suffix (settable with the -hisuf flag)

For example, if I have a module A.B.C, in source file foo/A/B/C.hs,
then GHC will create foo/A/B/C.hi and foo/A/B/C.o.

If GHC is given a source filename which is *not* of the form
<path>/<basename>.<extension>, then it uses a different strategy.
This happens if the filename does not follow the module name.  In this
case, GHC will set <path> to be the directory in which the source file
resides, and <basename> to the module name with dots replaced by
slashes, and then use the rules above.

For example, if we put module A.B.C in foo/bar/baz.hs, then GHC will
produce foo/bar/A/B/C.o and foo/bar/A/B/C.hi.

[project @ 2003-07-18 12:55:06 by simonmar]
oops, remove excess baggage in previous commit

[project @ 2003-07-18 12:47:11 by simonmar]
Fix a blatant bug in cleanTempFilesExcept, which was causing
legitimate source files to be deleted.  The previous fixes for this
bug missed the real cause of the problem.

I take full blame for this bug, which has been here since the dawn of
GHCi (at least I traced it back to 5.00).

[project @ 2003-07-17 12:04:50 by simonmar]
Filename-related cleanup & fixes
--------------------------------

This commit rationalises some of our filename policies.  The new story
is this:

  When compiling a Haskell module A.B.C:

    The object file is placed in <obj-path>/A/B/C.o
    The interface file is placed in <hi-path>/A/B/C.hi

    Where <objpath> is
- the argument of the -odir flag, if one was given
- the element of the search path in which the source file was found,
  when in --make mode.
- "." otherwise.

    Where <hipath> is
- the argument of the -hidir flag, if one was given
- the element of the search path in which the source file was found,
  when in --make mode.
- "." otherwise.

NOTE, in particular, that the name of the source file has no bearing
on the name of the object or interface file any more.  This is a
nchange from the previous semantics, where the name of the object file
would, under certain circumstances, follow the name of the source file.

eg. before, if you said

ghc -c dir/foo.hs

you would get dir/foo.o.  Now, you get something like Main.o,
depending on what module is in foo.hs.  This means that the driver
pipeline machinery now needs to pass around a Maybe ModLocation, which
is filled in by the Hsc phase and used later on to figure out the name
of the object file (this was fairly painful, but seems to be the only
way to get the right behaviour).

[project @ 2003-07-17 08:59:03 by simonmar]
Update comments to match reality.

[project @ 2003-07-16 17:40:38 by sof]
- change prototype of async proc calls to

      typedef int (*DoProcProc)(void *param);

  i.e., have the proc return a result. Turned out that almost all
  uses of the primop ended up encoding a result via their 'param'.

- when adding new I/O requests, shorten the time the IOManager
  lock is held. Helps to keep down the size of the thread pool.

[project @ 2003-07-16 15:27:36 by sof]
ppFilesFromSummaries.toPpFile: make it clear that file paths are being eq-tested here

[project @ 2003-07-16 13:33:55 by simonmar]
Put a newline after showing an I/O error.

[project @ 2003-07-16 13:13:50 by simonmar]
Respect -odir in one-shot compilations.

[project @ 2003-07-16 08:49:01 by ross]
Arrow notation: add a new (more primitive) form of command:

cmd ::= ... | cmd aexp

analogous to ordinary application, and also represented using HsApp.
To avoid an overlap, the syntax for combining forms is changed to

(|aexp cmd1 ... cmdn|)

[project @ 2003-07-15 13:33:24 by ross]
Add extra functions operating on outsized tuples (used by the translation
of arrow notation).

[project @ 2003-07-12 00:11:20 by sof]
interruptible(): add missing BlockedOnDoProc case

[project @ 2003-07-12 00:10:31 by sof]
awaitRequests(): BlockedOnDelay threads not expected on blocked_queue

[project @ 2003-07-12 00:09:15 by sof]
unblockThread: barf() string wibble

[project @ 2003-07-12 00:08:28 by sof]
[win32]delay#: set why_blocked to BlockedOnDoProc since we're appending the thread to blocked_queue

[project @ 2003-07-11 08:53:25 by simonpj]
Fix the big-char-literal parsing issue in External Core, correctly this time

[project @ 2003-07-10 08:16:54 by simonpj]
Give a more sensible type to big character literals in ExtCore (but it still looks odd to me)

[project @ 2003-07-10 08:12:04 by simonpj]
External Core was ignore sign on rational

[project @ 2003-07-10 08:11:36 by simonpj]
Markup fix

[project @ 2003-07-10 08:02:29 by simonpj]
Part of the fix to External-Core (:Main, not $Main), which got left out

[project @ 2003-07-09 12:51:37 by simonpj]
Remove redundant Var.hi-boot

[project @ 2003-07-09 11:08:03 by simonpj]
---------------------------------------
Wibble to GHCi constraint simplification
---------------------------------------

The new GHCi constraint-simplification story, with defaulting for
Show, Eq, Ord, should only apply to command-line expressions, not
to modules loaded by GHCi.

Hence new variant, TcSimplify.tcSimplifyInteractive

[project @ 2003-07-09 11:06:31 by simonpj]
--------------------------
Fix two External-Core bugs
--------------------------

1.  An inadvertent "let x = ...x..." bug in TcRnDriver

2.  Adjust the new -main-is story, so that the root module is called
":Main" instead of "$Main".
    This means that the z-encoded module name is "ZCMain" rather than "zdMain",
    which in keeps the External-Core lexer happy.  And is more consistent generally.

3.  Make the renamer happy to see definitions from modules other than the "home" one,
    when doing External Core.  In the main module, there'll be a definition for
    ZCMain.main.

[project @ 2003-07-03 16:22:16 by simonpj]
-----------------------
Type defaulting in GHCi
-----------------------

[Merge to stable branch, I think.]

[Part 2 to this commit: add Eq and Ord, to allow

[] == []

at the prompt.

      Extend type defaulting in GHCi so that

ghci>  []
[]

      works.  Suggested by Ralf Hinze.

[project @ 2003-07-03 15:14:56 by sof]
New primop (mingw only),

  asyncDoProc# :: Addr# -> Addr# -> State# RealWorld-> (# State# RealWorld, Int#, Int# #)

which lets a Haskell thread hand off a pointer to external code (1st arg) for
asynchronous execution by the RTS worker thread pool. Second arg is data passed
in to the asynchronous routine. The routine is _not_ permitted to re-enter
the RTS as part of its execution.

[project @ 2003-07-03 14:33:18 by simonpj]
-----------------------
Type defaulting in GHCi
-----------------------

[Merge to stable branch, I think.]

Extend type defaulting in GHCi so that

ghci>  []
[]

works.  Suggested by Ralf Hinze.

[project @ 2003-07-03 14:32:30 by simonpj]
Add pointer to TH home page

[project @ 2003-07-03 10:55:41 by simonpj]
Trim more imports

[project @ 2003-07-03 10:35:37 by simonpj]
Dont report assert as unused; merge to stable

[project @ 2003-07-02 19:41:20 by ross]
import fix

[project @ 2003-07-02 14:59:00 by simonpj]
Some random import trimming

[project @ 2003-07-02 13:57:10 by stolz]
autoconf probably knows best about vfork()

[project @ 2003-07-02 13:18:24 by simonpj]
Fixes two minor bugs that I came across in the old
CgCase code generation:

1. We were generating
tmp = Sp[1]
... more uses of Sp[1]....
instead of
tmp = Sp[1]
... more uses of tmp....
in the (case v of ...prim alts...) situation

2. The cost-centre restoration wasn't right for let-no-escapes

I kept this fix separate, becuase it does change the code generated
slightly.

[project @ 2003-07-02 13:12:33 by simonpj]
------------------------
       Tidy up the code generator
------------------------

The code generation for 'case' expressions had grown
huge and gnarly.  This commit removes about 120 lines of
code, and makes it a lot easier to read too. I think the code
generated is identical.

Part of this was to simplify the StgCase data type, so
that it is more like the Core case: there is a simple list
of alternatives, and the DEFAULT (if present) must be the
first.  This tidies and simplifies other Stg passes.

[project @ 2003-07-01 12:25:49 by panne]
Mention unix package only for non-WinDoze builds.

[project @ 2003-07-01 11:44:46 by panne]
The starting page of the GHC Documentation contains no autoconf tricks
anymore, so keep things simple...

[project @ 2003-07-01 11:21:57 by panne]
Tweaked help strings for --enable-objectio and --enable-hopengl options.

[project @ 2003-07-01 10:31:43 by simonpj]
Wibble to printing HsSyn variables

[project @ 2003-07-01 10:21:21 by simonmar]
Add ancient HEP document, which might be revived.

[project @ 2003-06-30 15:00:33 by simonmar]
Back out previous revision, we'll tackle this a different way.

[project @ 2003-06-30 14:40:25 by simonpj]
Another buglet in TcRnDriver for ghci

[project @ 2003-06-30 14:27:51 by simonpj]
-------------------
Fix a subtle GC bug
-------------------

In GHC 6.0, the top-level definition

f = g

gets compiled as a *non-updatable* THUNK_STATIC closure.  Being non-updatable,
it gets only 1 payload field.  Alas, the static-link field for a THUNK_STATIC
goes in the 3rd payload field.  Disaster.

Solution: make such things updatable. This is probably good because it turns
f into an IND_STATIC, which gets shorted out.  (Even better would be to allocate
an IND_STATIC in the first place.)

[project @ 2003-06-30 14:17:02 by simonmar]
comments only.

[project @ 2003-06-30 09:31:46 by ross]
documentation for -farrows

[project @ 2003-06-27 21:17:24 by simonpj]
Heal the head

[project @ 2003-06-27 18:28:31 by sof]
Do as for one-shot linking and implicitly supply packages 'base' and
'haskell98' when piecing together a DLL.

Merge to STABLE.

[project @ 2003-06-27 18:08:53 by wolfgang]
PowerPC: Make it work with Apple's version of GCC 3.3

[project @ 2003-06-27 16:53:07 by stolz]
Push down CPPFLAGS, CFLAGS and LDFLAGS.

Now ./configure should pick up those flags and hopefully make life a bit
easier for packagers. Notice that some flags which work fine for 'ld'
won't work with ghc, e.g. the combination "-Wl,-E" which 'gtk-config --libs'
suggests, so you'll usually want to set only -I or -L.

> ghc -Wl,-E
ghc-6.0: unrecognised flags: -Wl,-E

http://www.haskell.org/pipermail/glasgow-haskell-users/2003-June/005243.html

[project @ 2003-06-27 16:21:10 by stolz]
From genargs.pl:
# This program generates a partial Haskell list of Strings from
# words passed via stdin suitable for use in package.conf, e.g.:
#
#   foo bar   --> "foo", "bar"
#   "foo bar" --> "foo bar"
#   foo\"bar  --> "foo\"bar"
#
# Invoking genargs.pl with -comma will print an initial comma if
# there's anything to print at all.
#
# Sample application in a Makefile:
#  HSIFIED_EXTRA_LD_OPTS= `echo "$(EXTRA_LD_OPTS)" | $(PERL) genargs.pl`
#  PACKAGE_CPP_OPTS += -DHSIFIED_EXTRA_LD_OPTS="$(HSIFIED_EXTRA_LD_OPTS)"

[project @ 2003-06-26 21:55:46 by sof]
SysTools.removeTmpFiles:
  - never delete source files with a DriverPhases.haskellish_user_src_file
    file extension & loudly complain should the compiler attempt to do so.

    This is a protective measure against bugs elsewhere in the driver pipeline
    (cf., 'ghc-6.0 --make' deleting input files if specified using backward
     instead of forward slashes under win32.)