[project @ 2004-08-16 19:59:28 by panne]
XMLification

[project @ 2004-08-16 16:26:51 by simonpj]
-------------------------------
Add instance information to :i
  Get rid of the DeclPool
-------------------------------

1.  Add instance information to :info command.  GHCi now prints out
    which instances a type or class belongs to, when you use :i

2.  Tidy up printing of unqualified names in user output.
    Previously Outputable.PrintUnqualified was
type PrintUnqualified = Name -> Bool
    but it's now
type PrintUnqualified = ModuleName -> OccName -> Bool
    This turns out to be tidier even for Names, and it's now also usable
    when printing IfaceSyn stuff in GHCi, eliminating a grevious hack.

3.  On the way to doing this, Simon M had the great idea that we could
    get rid of the DeclPool holding pen, which held declarations read from
    interface files but not yet type-checked.   We do this by eagerly
    populating the TypeEnv with thunks what, when poked, do the type
    checking.   This is just a logical continuation of lazy import
    mechanism we've now had for some while.

The InstPool and RulePool still exist, but I plan to get rid of them in
the same way.  The new scheme does mean that more rules get sucked in than
before, because previously the TypeEnv was used to mean "this thing was needed"
and hence to control which rules were sucked in.  But now the TypeEnv is
populated more eagerly => more rules get sucked in.  However this problem
will go away when I get rid of the Inst and Rule pools.

I should have kept these changes separate, but I didn't.  Change (1)
affects mainly
TcRnDriver, HscMain, CompMan, InteractiveUI
whereas change (3) is more wide ranging.

[project @ 2004-08-16 16:14:59 by simonpj]
stg_interp_constr_entry and friends don't have info tables, so declare
them using RTS_FUN() rather than RTS_ENTRY().

[project @ 2004-08-16 11:57:19 by simonmar]
Avoid casting lvalues; gcc 3.4 issues warnings for it.

[project @ 2004-08-16 11:19:24 by simonmar]
Define <arch>_TARGET_ARCH and <os>_TARGET_OS by default when CPP'ing.
This avoids the main reason for needing to #include config.h into
Haskell source, so most files that previously just #include "config.h" can now

  #if __GLASGOW_HASKELL__ < 603
  #include "config.h"
  #endif

[project @ 2004-08-16 11:17:20 by simonmar]
Add a config.h to ease the transition.  Now if you include config.h
you get a warning instead of a failure:

In file included from System/Posix/Internals.hs:24:
/playpen/ghc/nightly/HEAD-cam-02-unx/i386-unknown-linux/ghc/includes/config.h:4: warning: #warning config.h is deprecated; please use ghcconfig.h instead

[project @ 2004-08-16 10:59:37 by simonmar]
config.h ==> ghcconfig.h

[project @ 2004-08-16 09:53:47 by simonpj]
-------------------------------
Add instance information to :i
  Get rid of the DeclPool
-------------------------------

1.  Add instance information to :info command.  GHCi now prints out
    which instances a type or class belongs to, when you use :i

2.  Tidy up printing of unqualified names in user output.
    Previously Outputable.PrintUnqualified was
type PrintUnqualified = Name -> Bool
    but it's now
type PrintUnqualified = ModuleName -> OccName -> Bool
    This turns out to be tidier even for Names, and it's now also usable
    when printing IfaceSyn stuff in GHCi, eliminating a grevious hack.

3.  On the way to doing this, Simon M had the great idea that we could
    get rid of the DeclPool holding pen, which held declarations read from
    interface files but not yet type-checked.   We do this by eagerly
    populating the TypeEnv with thunks what, when poked, do the type
    checking.   This is just a logical continuation of lazy import
    mechanism we've now had for some while.

The InstPool and RulePool still exist, but I plan to get rid of them in
the same way.  The new scheme does mean that more rules get sucked in than
before, because previously the TypeEnv was used to mean "this thing was needed"
and hence to control which rules were sucked in.  But now the TypeEnv is
populated more eagerly => more rules get sucked in.  However this problem
will go away when I get rid of the Inst and Rule pools.

I should have kept these changes separate, but I didn't.  Change (1)
affects mainly
TcRnDriver, HscMain, CompMan, InteractiveUI
whereas change (3) is more wide ranging.

[project @ 2004-08-16 09:51:20 by simonpj]
Commments only

[project @ 2004-08-16 09:41:19 by simonpj]
Fix problem with :i for (:)

[project @ 2004-08-16 09:31:50 by simonmar]
#ifdefery to work around change in name of config.h.

[project @ 2004-08-16 07:24:25 by panne]
Correct DocBook XML now

[project @ 2004-08-16 06:44:47 by panne]
Fixed default font-family, color, and background. It contained a typo
and didn't work for chunked documentation.

[project @ 2004-08-15 20:37:22 by panne]
Started to convert the users guide to DocBook XML. Not yet finished, there are
still *tons* of misplaced indexterms, but some sensible documentation can
already be generated.

[project @ 2004-08-15 20:32:47 by panne]
Converted the building guide to DocBook XML

[project @ 2004-08-15 20:28:02 by panne]
<fanfare>Finally: Support for DocBook XML!</fanfare>

After endless frustrating hours, I came to the conclusion that using (Open)Jade
for DocBook XML is virtually impossible, there are *tons* of problems with it:
Wildly differing paths, incorrect stylesheets, broken catalogs at funny places,
broken wrapper scripts, missing support on Cygwin etc.  >:-P * * *

So we follow the ubiquitous XSL hype and use xsltproc + DocBook XSL stylesheets
to transform DocBook XML to HTML and FO. From FO there are two routes to PDF and
PostScript: Either via FOP (preferred) or via PassiveTeX. Validation can be done
via xmllint using the new make target "validate". When PassiveTeX is available,
DVI can be generated, too.  A new make target "no-chunks-html" is available for
generating an all-in-one HTML document. Currently there is no way to generate
plain text or RTF, but at least the former could easily be added.

Generating HTML works out-of-the-box on Cygwin now, but you will have to install
FOP for other formats, because there seems to be no standard package for it.

The HTML appearance can be controlled via CSS, but the current location of the
master stylesheet below fptools/mk is a bit debatable. Better suggestions are
welcome.

Currently there is still support for SGML documents, but it will be dropped when
all documents are converted to DocBook XML. The build system is complex enough
already with the support for a *single* kind of DocBook...

[project @ 2004-08-13 14:22:16 by simonmar]
Mention that this doc is out of date.  It's pretty huge, so I'm not
going to update it right now.

[project @ 2004-08-13 13:59:12 by simonmar]
Fixes to previous

[project @ 2004-08-13 13:57:04 by simonmar]
Various fixes and removal of dead code.

[project @ 2004-08-13 13:39:29 by simonmar]
forgot to add this file

[project @ 2004-08-13 13:30:44 by simonmar]
config.h ==> ghcconfig.h

[project @ 2004-08-13 13:26:37 by simonmar]
sIZEOF_StgFunInfoExtra ==> sIZEOF_StgFunInfoExtraRev

[project @ 2004-08-13 13:25:45 by simonmar]
Fix minor merge-o

[project @ 2004-08-13 13:04:50 by simonmar]
Merge backend-hacking-branch onto HEAD.  Yay!

[project @ 2004-08-13 10:45:16 by simonmar]
Work around stricter CPP in gcc 3.4.1

[project @ 2004-08-13 10:42:34 by simonmar]
Fix to previous commit

[project @ 2004-08-12 13:11:35 by simonmar]
wibble

[project @ 2004-08-12 13:10:35 by simonmar]
avoid string gaps

[project @ 2004-08-12 13:06:51 by simonmar]
Avoid string gaps

[project @ 2004-08-12 12:16:53 by simonmar]
Avoid string gaps.

[project @ 2004-08-12 12:12:54 by simonmar]
Avoid string gaps in CPP'd source.

[project @ 2004-08-12 11:19:39 by simonmar]
Take the timestamp of an interpreted linkable from the timestamp of
the source file.  This works better when the local clock is out of
sync with the filesystem, and it's just as accurate.

[project @ 2004-08-12 10:45:51 by simonmar]
Finally fix this problem:

make: *** No rule to make target `Text/Regex/Posix_hsc_make.c', needed by `depend'.  Stop.

caused by temporary droppings from hsc2hs.

[project @ 2004-08-10 14:36:25 by simonmar]
Windows fixes.  There were some strange things going on with Windows
installation directories - I'm sure I've mucked up whatever was
happening with 'make install' for GHC on Windows, but there were
defintitely some bugs in here.  eg. we shouldn't have been setting
datadir to $(prefix)/imports unconditionally on Windows.

Make install now works for Happy, Alex and Haddock.  GHC probably
needs a bit of tweaking to get it working again.

[project @ 2004-08-10 13:51:25 by simonmar]
Add $(Windows), which is "YES" if the host platform is a Windows
platform (mingw32 or cygwin32), and "NO" otherwise.

[project @ 2004-08-10 09:02:36 by simonmar]
Fix problem with inline foreign-call changes yesterday.  Foreign call
args sometimes have to be modified using shimFCallArg - nowadays this
is done at code generation time, whereas it used to be done at
pretty-printing time.

[project @ 2004-08-09 14:27:53 by simonmar]
Two changes:

  - newly created or unblocked threads go to the back of the run
    queue.  This is fairer because it avoids possible starvation.
    Fixes problem with conc004 test going much slower with optimisation.

  - The context switch flag is only reset after a yield.  Previously,
    it was being reset before we ran a thread, which meant that a tick
    that arrived during GC would be lost, and a thread doing lots of
    GC could hog the CPU.  Now, GC is effectively counted as part of
    the last running thread's timeslice.

MERGE TO STABLE.

[project @ 2004-08-09 13:19:29 by simonmar]
Allow case-of-unsafe-ccall to compile to straight-line code, like it
used to.  This has already been fixed on the backend-hacking-branch,
but I'm doing it here so that it can be merged into the STABLE branch,
where it will help to work around a bug.

The bug is in CgExpr.lhs:primRetUnboxedTuple, which picks temporaries
to assign the result of a ccall to.  The Cg monad doesn't have a uniq
supply (in the HEAD), so we always pick the same temporaries.  This
leads to clashes in complex function with multiple ccalls.  Again,
this is already fixed in the backend-hacking-branch.  I don't see an
easy fix for this bug.

The compilation of case-of-unsafe-ccall doesn't suffer from this
problem, and it will help work around some cases of the bug, so I'm
going to merge this onto the STABLE branch after some testing.

[project @ 2004-08-09 12:35:02 by simonmar]
Fix scoped type variable example.

[project @ 2004-08-09 12:15:09 by simonmar]
Put a "-- " before the location info, since the rest of the output
looks like Haskell source.

[project @ 2004-08-08 20:46:44 by panne]
DocBook XML is case-sensitive. Note that this is still not correct DocBook, tons
of indexterm elements within varlistentries are still misplaced.

[project @ 2004-08-08 17:26:26 by krasimir]
xmlize sgml docbooks

[project @ 2004-08-06 11:33:06 by simonmar]
Update from Robert Ennals: allow either the ctags or etags file to be
generated, so as to be more friendly to case-insensitive filesystems.

[project @ 2004-08-05 18:29:47 by krasimir]
Bugfix. --auto-ghci-libs doesn't work if the package was previously installed.

[project @ 2004-08-02 18:23:25 by panne]
Fixed dvips commandline

MERGE TO STABLE

[project @ 2004-07-30 08:40:11 by simonpj]
Add case for foreign types

[project @ 2004-07-30 08:39:51 by simonpj]
Fix foreign-type predicate

[project @ 2004-07-28 12:59:53 by simonpj]
Comments only

[project @ 2004-07-28 12:59:14 by simonpj]
Fix GHCi buglet when browsing module

[project @ 2004-07-23 15:31:58 by ross]
To make Text.Regex.Posix work with Hugs, move cbits/regex/regex.h under
include, where Hugs can find it.

[project @ 2004-07-21 10:47:28 by simonmar]
Make total_allocated be an ullong, to accommodate programs that do a lot
of allocation.

MERGE TO STABLE

[project @ 2004-07-21 10:44:49 by simonpj]
Wibble to :i for (,); make algTyConRhs behave right

[project @ 2004-07-21 10:07:29 by simonpj]
Add location information to :i command

[project @ 2004-07-21 09:25:42 by simonpj]
-------------------------------
       Sort out the :i command for GHCi
-------------------------------

The :info command has been broken in the HEAD for some time, since the new IfaceSyn
story.  This commit sorts it out, and makes it nicer than before. For example, when
you :i a record selector, you get a cut-down data type declaration, so you can see
the context.

[project @ 2004-07-19 11:51:16 by simonmar]
do the file writes one after another, so if the underlying file system
happens to be case-insensitive we won't run into a file locking issue.

MERGE TO STABLE

[project @ 2004-07-19 11:29:34 by simonpj]
Template Haskell improvements

a) Make '() and '[] work.
b) Add tupleTypeName, tupleDataName
b) Try to improve error message for (lack of) existential data constructors in TH

[project @ 2004-07-19 11:26:13 by simonpj]
Comments only

[project @ 2004-07-15 20:50:40 by sof]
oops, back out rev. 1.31

[project @ 2004-07-15 20:42:45 by sof]
awaitEvent(): for Integrity, use socketpair() instead of pipe() to implement socket()-aborting mechanism

[project @ 2004-07-12 08:47:19 by simonmar]
Add a (rather vague) FAQ entry about the readline build problem
reported in bug #988585.

[project @ 2004-07-09 21:13:35 by sof]
back out rev 1.61; to hardwire path to gcc, use --with-gcc=<foo>

[project @ 2004-07-09 16:47:59 by sof]
tidy up gcc warnings re: %-related format specifiers, mainly rewriting \%%\% to %%%%

[project @ 2004-06-29 17:14:01 by panne]
Workaround for hbc: It compiles matching against 0-ary constructors in
list comprehensions into wrong code, e.g.

   [ () | True <- [False] ]

results in something like

   Error: No match in I4680Pinteractive

when issued in hbi.

[project @ 2004-06-28 16:35:08 by sof]
sec-makefile-dependencies: -o option is no longer supported.

Merge to STABLE.

[project @ 2004-06-27 20:41:07 by panne]
Small syntactic changes to please hbc's interpretation of the layout rule and records

[project @ 2004-06-24 09:41:11 by simonmar]
Correction to the construction of .hi filenames in dependency
generation.

Fixes sourceforge bug #978543

Merge to STABLE

[project @ 2004-06-24 09:35:13 by simonmar]
Tiny perf improvement

[project @ 2004-06-24 08:44:35 by simonmar]
Add FAQ item: how to compile a program with and without profiling in
the same directory.

[project @ 2004-06-24 08:43:53 by simonmar]
Remove "EXOTICA" from the description of -osuf/-hisuf

[project @ 2004-06-23 22:43:20 by ross]
arrow notation fixes (problems reported bu John Hughes):

* allow an infixexp (exp0) to the left of -<.  This adds 4 more
  shift/reduce conflicts, because it makes if/lambda/let/case/proc
  before -< ambiguous.  This is the same sort of thing as
  "if x then y else z + 1", and as there shifting does the right thing.

* described the grammar more precisely

* fixed an example

merge to STABLE

[project @ 2004-06-23 10:31:02 by ross]
rearrange documentation of SPECIALIZE.

[project @ 2004-06-22 13:47:47 by simonpj]
Typo about TH

[project @ 2004-06-22 13:47:27 by simonpj]
Clarify words about the -package flag

[project @ 2004-06-22 11:03:42 by simonpj]
-----------------------------------------------
       Improve reporting of TH reify out-of-scope errors
-----------------------------------------------

No change to functionality, just better error reports.

[project @ 2004-06-22 11:03:16 by simonpj]
Improve pretty printing slightly

[project @ 2004-06-20 17:58:46 by panne]
Renamed Opt_WarnMisc to Opt_WarnDodgyImports

[project @ 2004-06-18 09:02:40 by dons]
Have loadObj ignore requests to load an object more than once, instead
of actually loading the object, then dying.

This change lets user-land loaders safely work inside GHCi, when they
would have no way to know what packages had already been loaded.

Help from SimonM and Andre Pang.

[project @ 2004-06-17 13:35:33 by simonmar]
Mention the splitter in the section on porting.

[project @ 2004-06-16 10:47:48 by dons]
Add linker symbols into linker symbol table.
This lets things that bind to the linker run in GHCi.
Tested on OSX and OpenBSD.

Thanks to Andre Pang.

[project @ 2004-06-12 12:04:19 by panne]
Tell the linker that we barf in lockFile now. Nuked an evil $Id$ on the way.

[project @ 2004-06-11 12:42:18 by panne]
Synched "Overflown relocation field" message with reality

[project @ 2004-06-11 11:14:58 by malcolm]
Oops, accidentally deleted this.  Reinstate.

[project @ 2004-06-11 11:12:52 by malcolm]
Remove hsc2hs files prior to re-grafting the entire directory.

[project @ 2004-06-11 11:10:57 by malcolm]
Move Makefiles for nhc98's build here, prior to grafting the directory.

[project @ 2004-06-06 20:59:18 by panne]
* Fixed ANNOUNCE, LICENSE and README handling
* Made binaries explicit
* Small reformatting

[project @ 2004-06-06 11:44:37 by panne]
Added empty "install" and "install-docs" targets

[project @ 2004-06-06 11:22:28 by panne]
* Moved snapshot handling to configure.ac (well, sort of...)
* Updated Requires and BuildRequires
* Synched documentation building/packaging with reality

[project @ 2004-06-06 10:50:47 by panne]
Advance HEAD version to 6.3.

[project @ 2004-06-06 10:43:19 by panne]
Added empty "all" and "boot" targets

[project @ 2004-06-05 21:55:51 by panne]
"make dvi ps html" in $(TOP) builds *all* documentation now

[project @ 2004-06-05 21:48:41 by panne]
* Added list of current committers
* Slight change of description

[project @ 2004-06-05 18:01:00 by panne]
More rpm spec file cleanup, including:
* added some BuildRequires
* changed packager to me, so people can complain at the right place :-]
* consistently refer to haskell.org instead of www.haskell.org

[project @ 2004-06-05 13:17:56 by panne]
ffi-art is dead, Jim...

[project @ 2004-06-04 06:51:01 by panne]
ANSIfication (from Ralf Wildenhues)

[project @ 2004-06-02 09:23:43 by panne]
Extremely strange: Some backend emit an ugly trailing ">" when "xref" is an
empty element, but none when only a start tag is used. *sigh* So let's revert
this part of the changes for now...

[project @ 2004-06-02 09:17:51 by panne]
* Fixed some "screen" vs. "programlisting"

* Don't use leading spaces in verbatim elements just for formatting purposes

* Be extremely cautious with whitespace in verbatim elements to avoid strange
  empty leading/trailing lines. More investigation needed what's really going on
  here, this shouldn't be necessary...

[project @ 2004-06-02 08:53:54 by panne]
Make the Building Guide almost valid DocBook XML V4.2 (to get the real thing,
simply add an XML prolog and change "artheader" to "articleinfo"). Things that
had to be changed:

 * XML tags are case-sensitive, so lowercase must be used for tags/attributes

 * Make "xref" an empty element.

 * "constant" is not allowed within "filename"

 * Move "indexterm" to a valid place.

 * Change some "&" to "&amp;"

 * The "_" character in titles makes some trouble in the TeX backend => avoid it

[project @ 2004-06-02 08:25:10 by simonpj]
-----------------------------------------------
       Record whether data constructors are declared infix
-----------------------------------------------

This allows us to generate the InfixC form in Template Hasekll.
And for 'deriving' Read and Show, we now read and parse the infix
form iff the constructor was declared infix, rather than just if
it does not have the default fixity (as before).

IfaceSyn changes slightly, so that IfaceConDecl can record their
fixity, so there are trivial changes scattered about, and
you'll need to recompile everything.

In TysWiredIn I took the opportunity to simplify pcDataCon slightly,
by eliminating the unused Theta argument.

[project @ 2004-06-02 08:23:43 by simonpj]
-------------------------------
Fix a grevious bug in DsMeta
which caused a seg fault
-------------------------------

The bug was an incorrectly declared type for one of the Template
Haskell construction functions in DsMeta (repRecCon, repRecUpd)
and some associated jiggery pokery.

-dcore-lint showed it up nicely, because the desugarer generated
ill-typed code.

DsMeta PrelNames TH.Lib

[project @ 2004-06-02 08:09:58 by simonpj]
Comments only