[project @ 1999-12-07 14:46:31 by chak]
Package local configuration scripts allow to modularise the configuration (we
start by having one for ghc):
* Modularised configuration avoids unnecessary dependencies for individual
  packages.
* Furthermore, package local configuration (such as entering version
  information into rpm .spec files) is possible.

[project @ 1999-12-07 14:38:58 by chak]
Of course, I had to get the name wrong - this has to be mangled by configure
(eg, to set the version number).

Also added dependency on gmp-devel (see discussion on glasgow-haskell-bugs).

[project @ 1999-12-07 13:04:31 by panne]
OK, don't say you haven't been warned: Sven "Larry W." Panne waved his
Perl-wand and changed a / / into /\s+/. This fixes the problem with
multiple spaces between {-# OPTIONS ... -#}, but still fails miserably
when quotes are used, e.g. {-# OPTIONS -#include "My Own Header.h" #-}.

[project @ 1999-12-07 13:03:25 by chak]
rpm build specifications in CVS are a first step to building packages
automatically from CVS (I test this with ghc, but support for the other
fptools components will follow)

[project @ 1999-12-07 11:55:25 by sewardj]
Increase default c-t heap from 300000 to 350000 cells for nofib/real/anna.

[project @ 1999-12-07 11:49:09 by sewardj]
Add i_ALLOC_CONSTR_big (== i_ALLOC_CONSTR with a 16-bit field
denoting offset of into table).  The large constant tables in
nofib/spectral/hartel/nucleic2 need this.

[project @ 1999-12-07 11:36:40 by sewardj]
Correctly detect saturated applications of tuples, following
recent change to Tuple machinery in Hugs.

[project @ 1999-12-07 11:22:56 by sewardj]
Remove unused machinery for computing the amount of heap a BCO will
allocate.  This isn't used because Hugs uses the allocate() mechanism
rather than allocating by advancing Hp.

[project @ 1999-12-07 11:19:35 by simonmar]
test $(IncludeTestDirsInBuild)

[project @ 1999-12-07 11:16:53 by simonmar]
80-columnify

[project @ 1999-12-07 11:14:56 by sewardj]
Don't create a new infotable for every constructor application.
Amazingly, that's what the codegen.c used to do.  It didn't generate
vast numbers of redundant infotables until recently, when I changed
translate.c to generate saturated constructor applications in line.
Prior to that, there was only ever one application of each constructor,
so the old scheme was ok.

Also, fix the assembler so that info table ptrs are commoned up.
Eg, for [1,2,3], store only one copy of the address of the (:) itbl,
rather than 3, in the BCO.

[project @ 1999-12-06 22:52:26 by lewie]
Fixed a FunDep leak in tcSimplifyToDicts (they weren't being filtered out),
and fixed bug in instance improvement (matching wasn't being done correctly
for polymorphic instances).

[project @ 1999-12-06 16:47:07 by sewardj]
Remove compile-time address space allocated to tuples, and remove all
references to TUPMIN.  I think I have fixed the address mapping for
when TREX is defined, but you never know.

[project @ 1999-12-06 16:25:23 by sewardj]
Remove Hugs' special treatment of tuples, and instead have them as
just another Tycon.  This is to make interworking with GHC simpler.

Put tuple entries in the Tycon table.  Modify isTycon, isTuple, tupleOf,
mkTuple and whatIs so that client code doesn't see any difference.
Add allocTupleTycon to manufacture tuple Tycon entries as startup.

[project @ 1999-12-06 16:20:26 by sewardj]
Only detect (# and #) as special tokens when parsing interface files.

[project @ 1999-12-06 15:48:41 by simonpj]
Add missing stdout file

[project @ 1999-12-06 15:38:05 by simonpj]
Some minor tidying-up that should remove an occurrence
of an empty Let Rec that confused CoreLint.dumpLoc.

Simon

[project @ 1999-12-06 11:54:56 by simonpj]
Fix a major bug in exporting unfoldings involving existentials.

Change core printing so that we put an '@' before type
variables in case patterns.  This only affects existentials.

case x of
  C @ a x y -> ...

Here 'a' is an existentially quantified type variable, and the
'@' signifies this.  We continue to omit kinds and type on case-bound
variables; the type checker can fill them in.

The reason for this change is that type variables and term variables
live in a different name space, so we need to know which name space
is  involved when binding one.  How this ever worked I will never know.

While I was at it, I also arranged that -ddump-rn prints out whatever
it has even if it finds errors.  Adding -dppr-debug prints even the
unfoldings on imported things.

Simon

[project @ 1999-12-06 10:50:29 by simonpj]
Change printDump so that it prints in user style by default.
This means that (eg) -ddump-simpl output is much more readable...
but you may get confused by variables that look the same but aren't.

To recover the previous behaviour use -dppr-debug

This change only affects compiler hackers; let me know if it
has any good or bad effects.

Simon

[project @ 1999-12-04 21:47:33 by panne]
Install an interface file for PrelGHC, too.

[project @ 1999-12-04 17:34:48 by panne]
fixIO versionitis

[project @ 1999-12-04 15:17:42 by panne]
Replaced $(H_FILES) $(H_CONFIG) with $(wildcard *.h), it seemed to be
a cut-n-paste bug from another Makefile where they are defined.

[project @ 1999-12-03 18:17:29 by lewie]
Extend getTyVarsToGen to take the closure of the set of tyvars
with respect to functional dependencies.  Really simple programs
using functional dependencies work now.  Also fixed a small glitch
where trivial (empty) FunDeps were being tossed into the context willy nilly.

[project @ 1999-12-03 17:56:04 by sewardj]
Remove some hooks into the Prelude which Hugs no longer needs to know about.

[project @ 1999-12-03 17:01:20 by sewardj]
More mods to interface file parsing:
* Strictness annotations in data decls
* Allow qualified names in a couple more places

[project @ 1999-12-03 16:59:17 by simonmar]
Add Andy Gill's Monad library into the build.

[project @ 1999-12-03 16:17:42 by simonmar]
Move fixST and fixIO out of the prelude.

[project @ 1999-12-03 15:55:29 by chak]
Corrected time stamp calculation for .hp files.

[project @ 1999-12-03 14:38:39 by sewardj]
Make the combined/standalone switch, +c/-c, work at all :-)

[project @ 1999-12-03 12:39:38 by sewardj]
Add initial support for loading GHC Prelude (doesn't work yet):

* Command line flag, +c/-c to start up in combined or standalone mode.
  In combined mode, looks for GHC's prelude in ghc/interpreter/GhcPrel
  (pro tem).

* Parse unboxed tuple types and usage annotations in interface files.

[project @ 1999-12-03 12:36:08 by sewardj]
Directory wibbles

[project @ 1999-12-03 00:07:29 by lewie]
Fergot the booties...

[project @ 1999-12-03 00:03:06 by lewie]
Basic functional dependency implementation.  Most notable change to be
aware of is that the datatype `Inst' now has a new constructor `FunDep'
used to track functional dependencies.  The FunDep predicates are filtered
out in tcSimplify* so that they don't escape.

[project @ 1999-12-02 17:57:13 by simonmar]
Change the convention for cost-centre labels to be <name>_cc and
cost-centre stacks to be <name>_ccs.  This makes cost-centre labels
more consistent with our other naming conventions, and fixes some
problems caused by cost-centre labels being misinterpreted by the
mangler.

This fixes one cause of profiled programs crashing; if you're seeing
this symptom then this patch may help.

[project @ 1999-12-02 15:52:19 by simonmar]
"compilation IS required" ===>  ""

[project @ 1999-12-02 13:55:33 by simonmar]
Relegate the "ignoring heap-size setting option..." messages to -v.

[project @ 1999-12-02 13:43:07 by simonmar]
Relegate the 'Out of date: <blah>' messages to -dshow-rn-trace, they
don't mean a great deal to the average punter.

[project @ 1999-12-02 13:33:06 by simonmar]
The infamous "NOTE: simplifier still going..." message is now
protected by #ifdef DEBUG.  It doesn't mean much to the average user,
and we tend to use DEBUG when hacking anyway.

[project @ 1999-12-02 13:30:01 by simonmar]
Only print out the module-version info messages when the -v flag is
on.

Something-similar-requested-ages-ago-by: Sven Panne

[project @ 1999-12-02 13:24:05 by simonmar]
Fix up code to print out the phase & signal number if one of the
compilation phases receives a signal.  The previous commit
accidentally sneaked in a non-working version of this stuff.

[project @ 1999-12-02 09:52:41 by simonmar]
add missing #include

[project @ 1999-12-01 17:01:36 by simonmar]
disallow case expressions with no alternatives.

[project @ 1999-12-01 16:14:56 by simonmar]
Add some tests for the new async exception behaviour.

[project @ 1999-12-01 16:13:25 by simonmar]
initialize the blocked_exceptions field of a TSO properly.

[project @ 1999-12-01 15:07:00 by simonmar]
Oops, forgot to scavenge the new fields in a TSO.

Common up no less than 3 copies of the TSO scavenging code in the
process, thus fixing a bug in one of the copies.

[project @ 1999-12-01 14:58:09 by simonmar]
Fix the case where we're killing a thread that is blocked on
delivering an exception.

[project @ 1999-12-01 14:34:38 by simonmar]
Support for blocking & unblocking asynchronous exceptions.

  - new primops:

blockAsyncExceptions#, unblockAsyncExceptions# :: IO a -> IO a

  - raiseInThread will block if the target thread is currently
    blocking async exceptions.

  - async exceptions are currently implicitly blocked inside
    an exception handler.  This decision might be reversed when
    we have more experience with this stuff.

  - Move exception-related stuff in the RTS into its own file,
    Exception.{h,hc}.

[project @ 1999-12-01 14:21:02 by simonmar]
Remove empty sections for arch's supported in StgCRun.c.

[project @ 1999-12-01 14:20:11 by simonmar]
Alpha fixes.

[project @ 1999-12-01 14:19:36 by simonmar]
SMP comment

[project @ 1999-12-01 12:02:48 by sewardj]
Disable the Mark Jones optimisation for instance decls, since it is
incompatible with Hugs.

[project @ 1999-12-01 11:50:31 by sewardj]
Make <readline/history.h> a requirement for use of libreadline.

[project @ 1999-12-01 10:56:25 by sewardj]
Add rules so library sources can be obtained from fptools/hslibs.

[project @ 1999-12-01 10:22:53 by sewardj]
Fix bug in 'deriving Enum' reported by Ralf Hinze:
   data T = A | B deriving Enum
failed, requiring instance Ord T, because code generated
for enumFromThen required Ord.  We now derive just fromEnum
and toEnum, and let the Report's defaults do the rest.

[project @ 1999-11-30 16:12:14 by lewie]
... and of course these files might come in handy ...

[project @ 1999-11-30 16:10:07 by lewie]
First bits o' functional dependencies - just the syntax and related
datatypes, plus started moving some of the static checks from the
renamer (where we don't know about fundeps) to later in the typechecker.

[project @ 1999-11-30 11:44:32 by simonmar]
Eliminate warnings for uninitialised srt fields in constructors.

[project @ 1999-11-30 11:43:26 by simonmar]
Eliminate some warnings.

[project @ 1999-11-30 10:22:57 by simonmar]
Add hslibs to the default $(ProjectsTo{Install,Build})

[project @ 1999-11-30 08:46:25 by simonpj]
Allow a for-all type inside a usage annotation:

__u - (forall a. type)

[This actually simply inolved making rnHsType a bit more permissive.]

The particular way this shows up right now is a bug that Keith is working
on, but in general it should be legal.

[project @ 1999-11-29 18:59:23 by sewardj]
Make StgHugs use the same naming scheme as GHC does for class +
instance machinery.

Add machinery to do Z-encoding/decoding of names extracted from
interface files.

Make the ELF object loader work again.  It seemed to have suffered
slight bitrot over the past couple of months.  Fix various minor bugs.

Track a small change in interface file syntax.

Make Printer.c print tagged-unboxed stack sections in a decent way
now that Alastair-style stack tags have been abandoned.

[project @ 1999-11-29 18:53:14 by sewardj]
Implement foreign import dynamic.

[project @ 1999-11-29 17:34:14 by simonpj]
Make it so that a class decl generates default method decls
for every method, not just for the ones that the user supplies
default-methods for.

GHC will never call these default-default methods, because
when it finds an instance decl with no defn for a method,
*and* the class decl doesn't have a user-programmed default
method, it whips up a new default method for that instance
decl so that the error message is more informative than
the default-default method would be.

But Hugs isn't so smart, and wants to call something from
the class decl.

This change required fiddling with more than I expected.  Sigh.

Simon

[project @ 1999-11-29 14:52:24 by keithw]
error.h -> stgerror.h

[project @ 1999-11-29 13:21:32 by sewardj]
error.h --> stgerror.h

[project @ 1999-11-29 12:02:42 by keithw]
This commit adds the new RTS option `-xc', which prints the current
cost-centre stack to stderr whenever an exception is raised.  This is
intended to be a debugging tool, to help trace those "Prelude.head:
empty list" errors that are so frustrating to find.

`-xc' is only available for programs compiled with -prof, and you
probably want -auto as well to get useful information.

This is currently experimental; it would be better if it only
displayed the info for *uncaught* exceptions, but this is harder to
implement.

This commit also makes an OFTEL-inspired extension to the RTS option
space.  Since we've almost run out of options, `-x' is now reserved
for `extended' options.  `-xc' is the first of these, but that leaves
'-x[0-9A-Zabd-wyz]' still to be used!  The prefix `-xx' is reserved
for future extension.

[project @ 1999-11-26 16:29:09 by simonmar]
GHC bits for new library organisation.

[project @ 1999-11-26 16:26:32 by simonmar]
rename error.h to stgerror.h

[project @ 1999-11-26 16:25:55 by simonmar]
Rename error.h to stgerror.h

[project @ 1999-11-26 15:56:52 by simonmar]
slight cleanup

[project @ 1999-11-25 17:10:51 by sewardj]
Pass flag -ltermcap as link option for test -lreadline.

[project @ 1999-11-25 16:54:14 by simonmar]
Incremental cleanups & improvements to the I/O subsystem

- Initial fix for problems caused by partial writes
  to non-blocking file descriptors.  To see this bug,
  run ghc/tests/programs/life_space_leak through a pipe.

- remove FILEOBJ_FLUSH, it allegedly has the same meaning
  as FILEOBJ_WRITE.  This fixes a buf in openFd: it erroneously didn't
  set FILEOBJ_FLUSH on writeable file descriptors.

- some ANSIfication

[project @ 1999-11-25 12:21:19 by sewardj]
import wibble for hugs

[project @ 1999-11-25 12:12:25 by sewardj]
Remove debugging printf in findQualifier().

[project @ 1999-11-25 11:12:23 by sewardj]
HUGS_VERSION ++

[project @ 1999-11-25 11:10:16 by sewardj]
Change STDCALL to STDKALL to avoid conflict with a header file.

[project @ 1999-11-25 10:41:44 by simonpj]
Simon's driver changes (should have committed these a while back)

* Add -no-rules to first simplifier pass

* Move CSE pass

[project @ 1999-11-25 10:38:59 by simonpj]
Missing dollar on USER_WAY_NAMES and OPTS

[project @ 1999-11-25 10:37:12 by simonpj]
Add a comment

[project @ 1999-11-25 10:36:48 by simonpj]
Express sequence in terms of foldr

[project @ 1999-11-25 10:35:47 by simonpj]
Better error message when trying to derive classes for
existentially-quantified data constructors.

And a general slight tidy up in TcDeriv

[project @ 1999-11-25 10:34:52 by simonpj]
Slight wibble on polytype syntax, going in the direction of allowing
for-alls in more places.  This one lets you say
forall a. forall b. a->b

[project @ 1999-11-25 10:33:20 by simonpj]
Report decent error for top-level defn of a qualified name

[project @ 1999-11-25 10:28:41 by simonpj]
Add documentation on pattern guards

[project @ 1999-11-25 10:19:15 by sewardj]
Don't guess where the installation directory is.  Instead,
read it from the STGHUGSDIR env var at startup.

[project @ 1999-11-24 17:32:41 by sewardj]
Disable debug printing in setDefaultLibDir.

[project @ 1999-11-24 17:25:14 by sewardj]
Add clean target, and change hugslib to all.

[project @ 1999-11-24 16:39:33 by simonmar]
Fix bug in threadDelay, where the delay ticks could end up negative.

[project @ 1999-11-24 10:38:10 by andy]
Fixing setDefaultLibDir to work with relative use of hugs binary.

[project @ 1999-11-24 10:12:47 by andy]
Adding method for packaging up binary distribution of Hugs.

[project @ 1999-11-24 10:12:12 by simonmar]
wibble

[project @ 1999-11-24 10:03:32 by simonmar]
- remove -dcore-lint
- add Happy-generated files to MAINTAINER_CLEAN
- replace $(GHC_DRIVER_DIR)/ghc with $(GHC)

[project @ 1999-11-24 09:32:30 by andy]
Fixes to allow compilation under cygwin and Win32.

[project @ 1999-11-23 18:08:17 by sewardj]
Bind namePmFromInteger, namePmSubtract, namePmLe to stuff in Prelude
so that n+k patterns work.

[project @ 1999-11-23 15:26:56 by andy]
Fixing incorrect definition of BlockBuffering in Hugs.

[project @ 1999-11-23 15:12:04 by andy]
Changing the top level evaluator so it runs things
of type IO a, not just IO <monomorphic-thing>.

[project @ 1999-11-23 14:39:57 by simonmar]
wibble

[project @ 1999-11-23 14:38:40 by simonmar]
ANSIfication

[project @ 1999-11-23 14:38:22 by simonmar]
oops, committed wrong file

[project @ 1999-11-23 14:36:31 by simonmar]
ANSIfication