[project @ 2000-05-12 12:56:15 by rrt]
Added docbook.

[project @ 2000-05-12 12:48:36 by simonmar]
add some #ifdefery to suppress warnings.

[project @ 2000-05-12 12:44:09 by rrt]
Upped minimum version of GHC required to use new PrelAddr to 405.

[project @ 2000-05-12 11:59:38 by sewardj]
First try at support for DietHEP.  Has some unfindable bug which causes
it to fail when hugs.c is compiled -O; works fine without -O.

[project @ 2000-05-12 11:55:52 by rrt]
Remove reference to dLL_ifs.hi (was being specifically ignored  in
preprocess_include_dirs).

[project @ 2000-05-12 11:48:30 by rrt]
Fix install rules for _imp libraries under Windows. They must only be
installed if EnableWin32Dlls is YES, but not in the dll way (otherwise
a spurious _dll is inserted into the library name).

[project @ 2000-05-12 11:00:30 by simonmar]
integerToWord64 only started working properly yesterday (!), so don't
include folding on word bitops in pre-4.07 GHCs.

[project @ 2000-05-12 09:20:03 by panne]
Don't try to install import libraries if way /= dll

[project @ 2000-05-12 09:18:21 by simonmar]
versionitis: pre-4.06 GHCs didn't have PrelAddr.intToWord

[project @ 2000-05-11 19:43:08 by rrt]
Rename From*Bounded functions to boundedFrom* for consistency with
numericFrom*

[project @ 2000-05-11 19:37:30 by rrt]
Corrected use of patsubst.

[project @ 2000-05-11 16:16:32 by simonmar]
add links to FFI stuff.

[project @ 2000-05-11 16:07:37 by simonmar]
First cut at 4.07's release notes.

[project @ 2000-05-11 15:11:24 by panne]
Added rules for constant folding with the folloging ops:
WordQuotOp, WordRemOp, AndOp, OrOp, XorOp, Int2AddrOp, Addr2IntOp,
Float2IntOp, DoubleNegOp, Double2IntOp, Double2FloatOp, Float2DoubleOp

[project @ 2000-05-11 13:30:11 by simonmar]
Try to avoid clashes with files already in $TMPDIR.

[project @ 2000-05-11 13:15:38 by simonmar]
Don't open with O_NONBLOCK, instead open in blocking mode and set
O_NONBLOCK subsequently with fcntl().  This appears to fix the
problems with FIFOs.

Pick one of the following:

- the semantics as implemented by Linux & Solaris is broken
- the POSIX semantics is broken
- our expectation that things should behave sensibly is unreasonable

[project @ 2000-05-11 12:50:51 by rrt]
Make gmp DLL in DLL way (wasn't being made at all before).

[project @ 2000-05-11 11:54:56 by simonmar]
StablePtrRep is now more like a pointer than an integer, so use the
correct union tag when assigning one to a register to avoid warnings.

[project @ 2000-05-11 11:05:32 by rrt]
Fix installing for DLLized Windows build.

[project @ 2000-05-11 10:45:34 by rrt]
Removed dLL_ifs.hi from INSTALL_DATA under Windows (no longer exists).

[project @ 2000-05-11 07:20:36 by andy]
Wibble...

The corrected example is as follows:

myS :: (forall t t1 t2. (t -> t2 -> t1) -> (t -> t2) -> t -> t1)
[NoDiscard] __AL 3
myS
  = \ @ t @ t1 @ t2 f :: (t -> t2 -> t1) g :: (t -> t2) x :: t -> f x (g x)

public class myS implements Code {
  public Object ENTER () {
    VM.COLLECT(3, this);
    final Object f = VM.POP();
    final Object g = VM.POP();
    final Object x = VM.POP();
    VM.PUSH(x);
    VM.PUSH(new Thunk(new myS$1(g, x)));
    return f;
  }
}
class myS$1 extends Code {
  final Object g;
  final Object x;
  public myS$1 (Object _g_, Object _x_) {
    g = _g_;
    x = _x_;
  }
  public Object ENTER () {
    VM.PUSH(x);
    return g;
  }
}

[project @ 2000-05-11 07:10:11 by andy]
First attempt at at class lifter for the GHC GOO backend.

This included a cleanup of the Java/GOO abstract syntax
  - Name is now a string, not a list of string
  - Type is used instead of name in some places
      (for example, with new)
  - other minor tweeks.

Andy

---------
Example for myS f g x = f x (g x)

public class myS implements Code {
  public Object ENTER () {
    VM.COLLECT(3, this);
    final Object f = VM.POP();
    final Object g = VM.POP();
    final Object x = VM.POP();
    VM.PUSH(x);
    VM.PUSH(new Thunk(new Code(g, x)));
    return f;
  }
}
class myS$1 {
  final Object g;
  final Object x;
  public myS$1 (Object _g_, Object _x_) {
    g = _g_;
    x = _x_;
  }
  public Object ENTER () {
    VM.PUSH(x);
    return g;
  }
}

[project @ 2000-05-10 16:53:35 by sewardj]
Reinstate the bytecode peephole optimiser.

[project @ 2000-05-10 16:51:52 by sewardj]
findFilesForModule: search default library directories before looking
at user-supplied search paths.

[project @ 2000-05-10 15:16:11 by panne]
More RULES for coercions and truncate.

[project @ 2000-05-10 14:53:41 by rrt]
Temporarily removed i018 test on mingw

[project @ 2000-05-10 14:33:41 by rrt]
Omitted some tests on mingw.

[project @ 2000-05-10 14:30:59 by rrt]
Omitted some tests on mingw (conc020 *should* work, but doesn't).

[project @ 2000-05-10 13:07:43 by simonmar]
compile CType.lhs via-C, since the NCG's register allocator seems to
behave suboptimally when presented with the huge switch in this file.

[project @ 2000-05-10 12:52:53 by simonmar]
Use the native code generator by default for compilations without -O.

[project @ 2000-05-10 12:51:03 by simonmar]
Add tryTakeMVar test.

[project @ 2000-05-10 12:43:08 by rrt]
Removed LITERATE, added DOCBOOK_PREFIX, and improved some comments.

[project @ 2000-05-10 12:26:14 by rrt]
DocBook scripts from Cygnus DocBook tools; the first visible sign of freedom
from the tyranny of RPMs.

[project @ 2000-05-10 12:17:35 by rrt]
Tried to bring this test into the modern age. Failed. I've committed the
pieces to be picked up later.

[project @ 2000-05-10 11:56:15 by simonmar]
Put back the '$(RM) $@' in the rule for building library modules when
splitting, until we fix this problem properly.

[project @ 2000-05-10 11:28:47 by keithw]
Add comment noting that StgLint is currently broken.

[project @ 2000-05-10 11:02:00 by simonmar]
rename takeMaybeMVar to tryTakeMVar

[project @ 2000-05-10 10:58:15 by sewardj]
Undo revision 1.34 of Prelude.hs, ie, reinstate fromDouble in class
Fractional (in standalone mode).  This reduces by a factor of 6 the
number of enters required for some simple expressions,
for example    1.0 :: Double.

[project @ 2000-05-10 10:40:37 by rrt]
Updated to cope with updated test.

[project @ 2000-05-10 09:27:59 by panne]
Added RULES for realToFrac with types
   Double   -> Float
   Float    -> Double
   Double   -> Double
   Float    -> Float
   Rational -> Rational

[project @ 2000-05-10 09:26:16 by rrt]
This was unaccountably empty before.

[project @ 2000-05-10 09:02:25 by sewardj]
Allow the c-t storage manager to reuse dead symbol table slots, as had
always been intended, but up to now has been disabled due to ultra-paranoid
debugging.

[project @ 2000-05-10 09:00:20 by sewardj]
Zap CRUDE_PROFILING.  It was there mainly to test assess the effect of
the simplifier; is redundant.

[project @ 2000-05-10 08:27:12 by simonmar]
Hack to work around bug in pre-4.06 mkdependHS.  Fixes last night's
nightly build failure.

[project @ 2000-05-09 17:38:19 by andy]
Removing the duplex #include "Storage.h"

[project @ 2000-05-09 15:37:07 by rrt]
Removed info and texinfo support.

[project @ 2000-05-09 13:31:27 by rrt]
Used identifiers rather than paths to find the print and HTML stylesheets.
N.B. This means that building docs won't work unless you set
SGML_CATALOG_FILES to
/usr/lib/sgml/CATALOG:/usr/lib/sgml/stylesheets/nwalsh-modular/docbook.cat,
or wait for this lot to be added to the build system (RSN).

[project @ 2000-05-09 13:15:37 by simonpj]
Get package names right.  Again.

[project @ 2000-05-09 12:34:29 by rrt]
Point out in the comment for GhcLibHcOpts that it also applies to the
standard library and hslibs.

[project @ 2000-05-09 10:43:45 by rrt]
Changed Perl test so that it simply allows vv5 & 6 and disallows any other;
also hardwire path to perl to /bin/perl under Windows, to avoid clashing with
other weird Perls that may be on the path.

[project @ 2000-05-09 10:13:18 by sewardj]
Add -DNO_REGS to SRC_CC_OPTS.

[project @ 2000-05-09 10:06:06 by sewardj]
Record details of the fptools/mk/build.mk required to build Hugs.

[project @ 2000-05-09 10:00:35 by sewardj]
Fix various compile-time warnings in the assembler and evaluator.

[project @ 2000-05-09 09:27:03 by rrt]
Corrected a typo (omitted space).

[project @ 2000-05-09 09:26:29 by sewardj]
Undefine NO_REGS.  Seems unneccessary since the driver supplies it anyway
when compiling the RTS, and this duplicate defn generates a lot of warnings.

[project @ 2000-05-09 09:11:40 by sewardj]
Reorder tests in whatIs() to try for most common options first.

[project @ 2000-05-09 08:22:01 by rrt]
Typo: changed ($Var) to $(Var) in test to set SplitObjs.

[project @ 2000-05-08 17:24:10 by panne]
Committing the Makefile, too, might be a good idea: Removed ctypes.

[project @ 2000-05-08 17:18:02 by panne]
* Changed a backslash at EOL to the word "backslash". Using cpp in
  conjunction with Haskell is a real hack...

* Renamed the module Ctypes to Ctype, because CTypes is (soon) a
  module from package lang. I'm not sure if two files differing only
  in their case work under "the" OS. Just to be sure...

[project @ 2000-05-08 15:57:01 by simonmar]
Detect threads that are blocked on themselves (i.e. black holed), and
raise NonTermination exceptions.  We only do this when the system is
deadlocked, so as not to introduce unnecessary overhead in the normal
case.

[project @ 2000-05-08 15:19:48 by panne]
Replaced last remnants of C in the scanner/parser with carefully tuned
Haskell. TODO: Test with GHC < 3.03

[project @ 2000-05-08 15:05:36 by simonmar]
change a bunch of externs into statics.  This fixes a long-standing
bug and should eliminate the annoying "<blah> was declared extern and
later static" warnings from gcc.

[project @ 2000-05-08 15:03:24 by simonmar]
Put the extern declarations *outside* the function body for a
CCodeBlock.  This will enable us to give "extern" declarations for
variables that have scope static to the current module.

[project @ 2000-05-08 14:54:57 by rrt]
Replaced SGML2INFO stuff (which is no longer supported) with SGML2PS (which
is, and may well be useful to some).

[project @ 2000-05-08 13:40:24 by panne]
*argl* Sorry, my usual Monday-typos...

[project @ 2000-05-08 13:39:17 by panne]
shutdownHaskellAndExit is "safe" again

[project @ 2000-05-08 08:23:08 by simonpj]
Name qualification
~~~~~~~~~~~~~~~~~~
Yet another wilbble on the recent renamer fix, this
time to make sure that names are printed unqualified
if they should be.    Sigh.

[project @ 2000-05-08 07:14:35 by simonpj]
Interface file reading
~~~~~~~~~~~~~~~~~~~~~~
Make interface files reading more robust.
  * If the old interface file is unreadable, don't fail. [bug fix]

  * If the old interface file mentions interfaces
    that are unreadable, don't fail. [bug fix]

  * When we can't find the interface file,
    print the directories we are looking in.  [feature]

[project @ 2000-05-02 07:50:41 by chak]
Removed a last flaw and use `cvs export' instead of `cvs checkout' now.

[project @ 2000-05-01 14:53:47 by panne]
Adding a bunch of `unsafe's to foreign imports. TODO: Could somebody
verify that declaring shutdownHaskellAndExit as unsafe is OK?

[project @ 2000-05-01 14:44:25 by panne]
The NCG doesn't like `foreign label' yet, so addrOf_ErrorHdrHook is a
C function now.

[project @ 2000-05-01 14:35:17 by panne]
Handle sameMutVar#, sameMVar#, writeForeignObj#

[project @ 2000-05-01 14:33:39 by panne]
Handle ThreadIdRep. Output warnings for {Word,Int}64Rep, returning a
completely bogus size (for testing NCG only).

[project @ 2000-05-01 14:31:22 by panne]
Fixed typo in comment

[project @ 2000-04-30 01:42:23 by chak]
The first version of a script that allows building rpm packages directly from
CVS.  It currently works for ghc only, but will be extended to cover the
other fptools.

It should work on all rpm-based systems, as I tried to avoid any dependency on
Red Hat systems (as far as I am aware of them).  In particular, the rpm build
process is carried out below /tmp instead of the standard /usr/src/redhat
hierarchy.

By default the cvs head of the anonymous repository is built, but cvs-style -d
-D, and -r options allow to built from a different repository and revision.

[This version is only half tested, because the CVS head seems to not build
anymore today.]

[project @ 2000-04-29 22:44:26 by simonpj]
Wibble in recent RnEnv changes

This meant that things fell over when you try to
build the Prelude.  Fixed now.

[project @ 2000-04-29 06:53:12 by chak]
The file list generation needed some more tweaking, but seems to work now.

[project @ 2000-04-28 17:16:10 by rrt]
Changed HSprel.dll to HSstd.dll

[project @ 2000-04-28 16:59:53 by rrt]
Changed HSprel.dll to HSstd.dll, as it should be.

[project @ 2000-04-28 15:06:04 by panne]
Updated out-of-date comment about representation of StablePtr

[project @ 2000-04-28 15:05:04 by panne]
Nuked trace message from NCG

[project @ 2000-04-28 15:04:07 by panne]
NCG now handles writeBLAHOffAddr# primops

[project @ 2000-04-28 13:09:19 by sewardj]
Remove some debug printing.

[project @ 2000-04-28 13:03:47 by sewardj]
Handle TUPLE in substExpr().

[project @ 2000-04-28 11:58:22 by simonpj]
Fix a renamer bug that meant we weren't getting
package information propagated properly.

[project @ 2000-04-28 09:45:26 by sewardj]
Time for bye-byes for QueueTemplate.h.  The big reorganisation of the
BCO linker makes this unnecessary.

[project @ 2000-04-27 16:35:29 by sewardj]
A total rewrite of the BCO assembler/linker, and rationalisation of
the code management and code generation phases of Hugs.

Problems with the old linker:

* Didn't have a clean way to insert a pointer to GHC code into a BCO.
  This meant CAF GC didn't work properly in combined mode.

* Leaked memory.  Each BCO, caf and constructor generated by Hugs had
  a corresponding malloc'd record used in its construction.  These
  records existed forever.  Pointers from the Hugs symbol tables into
  the runtime heap always went via these intermediates, for no apparent
  reason.

* A global variable holding a list of top-level stg trees was used
  during code generation.  It was hard to associate trees in this
  list with entries in the name/tycon tables.  Just too many
  mechanisms.

The New World Order is as follows:

* The global code list (stgGlobals) is gone.

* Each name in the name table has a .closure field.  This points
  to the top-level code for that name.  Before bytecode generation
  this points to a STG tree.  During bytecode generation but before
  bytecode linking it is a MPtr pointing to a malloc'd intermediate
  structure (an AsmObject).  After linking, it is a real live pointer
  into the execution heap (CPtr) which is treated as a root during GC.

  Because tuples do not have name table entries, tycons which are
  tuples also have a .closure field, which is treated identically
  to those of name table entries.

* Each module has a code list -- a list of names and tuples.  If you
  are a name or tuple and you have something (code, CAF or Con) which
  needs to wind up in the execution heap, you MUST be on your module's
  code list.  Otherwise you won't get code generated.

* Lambda lifting generates new name table entries, which of course
  also wind up on the code list.

* The initial phase of code generation for a module m traverses m's
  code list.  The stg trees referenced in the .closure fields are
  code generated, creating AsmObject (AsmBCO, AsmCAF, AsmCon) in
  mallocville.  The .closure fields then point to these AsmObjects.
  Since AsmObjects can be mutually recursive, they can contain
  references to:
     * Other AsmObjects            Asm_RefObject
     * Existing closures           Asm_RefNoOp
     * name/tycon table entries    Asm_RefHugs
  AsmObjects can also contain BCO insns and non-ptr words.

* A second copy-and-link phase copies the AsmObjects into the
  execution heap, resolves the Asm_Ref* items, and frees up
  the malloc'd entities.

* Minor cleanups in compile-time storage.  There are now 3 kinds of
  address-y things available:
     CPtr/mkCPtr/cptrOf    -- ptrs to Closures, probably in exec heap
                              ie anything which the exec GC knows about
     MPtr/mkMPtr/mptrOf    -- ptrs to mallocville, which the exec GC
                              knows nothing about
     Addr/mkAddr/addrOf    -- literal addresses (like literal ints)

* Many hacky cases removed from codegen.c.  Referencing code or
  data during code generation is a lot simpler, since an entity
  is either:
      a CPtr, in which case use it as is
      a MPtr -- stuff it into the AsmObject and the linker will fix it
      a name or tycon
             -- ditto

* I've checked, using Purify that, at least in standalone mode,
  no longer leaks mallocd memory.  Prior to this it would leak at
  the rate of about 300k per Prelude.

* Added this comment to the top of codegen.c.

Still to do:

* Reinstate peephole optimisation for BCOs.

* Nuke magic number headers in AsmObjects, used for debugging.

* Profile and accelerate.  Code generation is slower because linking
  is slower.  Evaluation GC is slower because markHugsObjects has
  slowed down.

* Make setCurrentModule ignore name table entries created by the
  lambda-lifter.

* Zap various #if 0's in codegen.c/Assembler.c.

* Zap CRUDE_PROFILING.

[project @ 2000-04-27 16:31:46 by sewardj]
Zap unused revert_dead_CAFs.

[project @ 2000-04-27 16:29:55 by sewardj]
Remove misleading comment about registerisation assumptions.

[project @ 2000-04-27 16:26:56 by sewardj]
Add CMODE to switch conveniently between combined and standalone testing.

[project @ 2000-04-27 13:54:11 by chak]
debugged computation of the file list for the base (non-profiling) package

[project @ 2000-04-27 13:52:33 by chak]
made version consistent with version.mk

[project @ 2000-04-27 13:14:44 by rrt]
Goodness only knows what an "oarser" is. Or rather, was.

[project @ 2000-04-27 11:11:55 by simonmar]
update docs w.r.t. clean targets.

[project @ 2000-04-27 11:06:26 by rrt]
Spelt "compiled" with a "p" in a comment.

[project @ 2000-04-27 11:04:36 by simonmar]
remove 'veryclean' target.

[project @ 2000-04-27 10:44:02 by simonmar]
Give this subdir a proper target.mk, and set $(TOP) properly in
boilerplate.mk.

[project @ 2000-04-27 10:40:43 by simonmar]
Further cleanups to the clean targets.  Don't recurse too much for
distclean and maintainer-clean.

[project @ 2000-04-27 10:16:13 by simonmar]
sort out the clean targets.

- veryclean has gone away (don't know where it came from in the first
  place)

- the clean targets are now

mostlyclean <= clean <= distclean <= maintainer-clean

[project @ 2000-04-27 10:09:01 by simonmar]
remove unused cruft