[project @ 2000-07-06 13:42:35 by rrt]
Corrected URLs.

[project @ 2000-07-06 13:32:35 by simonmar]
New section on Packages, collecting together the various
package-related documentation and adding some new stuff about the package
management features.

[project @ 2000-07-06 11:43:24 by rrt]
Bump the version no.

[project @ 2000-07-06 09:35:37 by simonmar]
ghc 4.06 didn't have -package, so use it only for 4.07+.

[project @ 2000-07-05 17:16:02 by simonmar]
bullet-proof the package code a bit more; check for write access to the
configuration file before doing anything, check whether we're adding a
package that's already there, etc.

[project @ 2000-07-05 17:01:59 by simonmar]
Packages can now be added/removed from an installed GHC as follows:

    $ ./ghc-inplace --list-packages
    gmp, rts, std, lang, concurrent, data, net, posix, text, util,
    hssource, win32, com, std2
    $ ./ghc-inplace --add-package <newpkg
    Reading package info from stdin... done.
    Saving old package config file... done.
    Writing new package config file... done.
    $ ./ghc-inplace --list-packages
    gmp, rts, std, lang, concurrent, data, net, posix, text, util,
    hssource, win32, com, std2, mypkg
    $ ./ghc-inplace --delete-package mypkg
    Saving old package config file... done.
    Writing new package config file... done.
    $ ./ghc-inplace --list-packages
    gmp, rts, std, lang, concurrent, data, net, posix, text, util,
    hssource, win32, com, std2

This is a first stab at the kind of functionality we need for
installing Haskell libraries via RPMs: the RPM script would install
the libraries, and then do a "ghc --add-package" passing the
appropriate paths.  You'd then have "ghc -package" at your disposal to
use the newly installed package.  Similarly on de-install, the RPM
script would run "ghc --delete-package".

Also in this commit: prettify the package dumping.

[project @ 2000-07-05 15:42:19 by keithw]
Add -t flag to specify title of report.

[project @ 2000-07-05 14:28:49 by sewardj]
Rename the marker used by Diff_Gcc_Nat.hs to ___ncg_debug_marker, to make
it clear it has nothing to do with the usual object-splitting machinery.

Improve Diff_Gcc_Nat:
* Emit a warning, and stop, if there are no debug markers in the NCG code.
* Handle .uahalf and .uaword, which appear in sparc assembly, but not x86.

[project @ 2000-07-05 09:46:35 by sewardj]
Make -S work when going via the NCG.

[project @ 2000-07-04 20:01:00 by panne]
From the Ancient Book of Infinite CS Wisdom:
   "Thou shalt remove unused imports after dead code removal..."
;-)

[project @ 2000-07-04 11:34:23 by rrt]
Remove info target for install (we can no longer make info from SGML).

[project @ 2000-07-04 09:33:43 by simonmar]
Don't need to install HsStd.h in ghc/includes anymore.  The driver
looks for it here.

[project @ 2000-07-03 21:31:28 by panne]
Print
   "Interface file unchanged"
and
   "Module version unchanged, but usages differ; hence need new hi file"
only when -ddump-rn-trace flag has been given. This is more consistent
with the rest of GHC and the *nix world, and messes up less tests.

[project @ 2000-07-03 21:17:21 by panne]
Added semicolon to synch with current interface file syntax.
Note: The `class' line contains a kind bug, but this is not
checked. Bug or feature?

[project @ 2000-07-03 21:04:44 by panne]
Removed foralls in expected output

[project @ 2000-07-03 20:34:35 by panne]
Synched expected output with reality

[project @ 2000-07-03 20:32:19 by panne]
Litlits don't really make much sense for the NCG (i.e. are a hack), so
compile via C.

[project @ 2000-07-03 20:31:07 by panne]
Reverted my last change to this file: Constant folding should really
yield *excatly* the same result as runtime computation.

[project @ 2000-07-03 20:28:43 by panne]
Synched with reality again. The expected output is a extremely fragile...

[project @ 2000-07-03 19:48:07 by panne]
Putting parentheses around expressions involving a mixture of
multiplicative and additive operators might sometimes be a cunning
idea...   :-}   Otherwise
   (591125662431::Int) `div` (517::Int)
is correctly converted into
   (567659506 + (275 * 2147483647)) `div`  517
but
    591125662431       `div` (517::Int)
turns into the messed up
    567659506 + ((275 * 2147483647) `div`  517)

[project @ 2000-07-03 16:45:04 by keithw]
Add note that `gmake clean' should *not* destroy the work of `gmake boot'.
In all cases, the sequence autoconf, ./configure, gmake boot, gmake clean,
gmake all should work correctly.

** Please verify that this is indeed the case! **

[project @ 2000-07-03 16:07:20 by simonmar]
DEBUG ==> NCG_DEBUG

[project @ 2000-07-03 16:06:17 by simonmar]
D'oh!  Only generate split markers when actually splitting

[project @ 2000-07-03 15:12:41 by simonmar]
DEBUG ==> NCG_DEBUG

[project @ 2000-07-03 15:03:13 by simonmar]
fix phase ordering for NCG + -split-objs.

[project @ 2000-07-03 14:59:25 by simonmar]
Insert split markers properly in the NCG.  -split-objs is on its way
to working with the NCG.

[project @ 2000-07-03 14:32:58 by simonmar]
dead code removal

[project @ 2000-07-02 19:23:21 by panne]
Removed -noC flag, which has vanished from the driver

[project @ 2000-07-02 18:59:10 by panne]
Don't use addr2Integer for large integral literals anymore, use a
Horner schema with numbers in the Int range instead. This improves
constant folding, so e.g.  (0x87654321 :: Word32) is evaluated at
compile time now. In theory we can completely say Good-bye to
addr2Integer, but for the time being it's still there. Feel free to
nuke it...  >:-)

[project @ 2000-07-02 18:50:24 by panne]
Don't warn the user about integer overflow during constant folding
anymore. It's not done at runtime either, and compilation of
completely harmless things like

   ((124076834 :: Word32) + (2147483647 :: Word32))

yielded a warning.

[project @ 2000-06-30 19:12:21 by panne]
Hackily quote -#include options before passing them to mkdependHS

[project @ 2000-06-30 18:38:03 by panne]
Remove parentheses around C function/macros names. This is necessary
because cpp does *not* replace e.g.

   (eqForeignObj)(f1,f2)

with

  ((f1)==(f2))

(see PrimOps.h), heaven (or K&R) knows why. OK foreign importing
macros is a hack, but GHC seems to depend on it.

[project @ 2000-06-30 13:39:35 by simonmar]
- fix copyrights
- remove some unused imports
- comment formatting fixes

[project @ 2000-06-30 13:11:07 by simonpj]
In a CCall, a DynamicTarget has a unique that is
used only to generate a uniquely-named typedef.
It should not be used when comparing CCalls (e.g.
when seeing if interface files have changed).
So the main change in this commit is to fix the Eq
instance for PrimOp.CCallTarget, but I took the
opportunity to clean up the CCallTarget interface
a little.

[project @ 2000-06-30 13:10:38 by simonpj]
Improve error message

[project @ 2000-06-30 09:46:04 by simonmar]
wibble

[project @ 2000-06-30 09:45:16 by simonmar]
Use GhcMinVersion to pick the correct cmdline args to build the driver.

[project @ 2000-06-30 09:34:09 by simonmar]
Check the version of the installed ghc, and set GhcVersion,
GhcMajVersion, GhcMinVersion and GhcPatchLevel make variables.

[project @ 2000-06-30 08:48:38 by simonmar]
_Haskell1Version ==> cHaskell1Version

[project @ 2000-06-29 21:08:02 by panne]
Added test for Typeable instance

[project @ 2000-06-29 20:20:18 by panne]
Fixed buglet in search for ghc-usage.txt

[project @ 2000-06-29 19:47:50 by panne]
There is not much point in memoising Integers, so we should better use
unary "numbers" (i.e. lists of units) instead

[project @ 2000-06-29 15:08:02 by sewardj]
Add my wizardly assembly-code basic-block matching program, which is
very useful for debugging the native code generator.  This is not
built by default, because it's totally useless to anyone except the
GHC developers.  The README file describes how to use and maintain it.

[project @ 2000-06-29 14:25:36 by keithw]
Add missing implicit occs relating to list comprehensions in
deriving (Ix,Read).

[project @ 2000-06-29 13:40:17 by simonmar]
Add test for GNU regex in libc, which we'll use to decide whether to
compile our own copy of the library in package text.

[project @ 2000-06-29 13:18:38 by simonmar]
sparc needs the TMOVEDIRVS hack too

[project @ 2000-06-29 13:08:59 by simonmar]
hi files are now named after the module being compiled, not the
original filename (unless of course the user has specified -ohi <blah>).

[project @ 2000-06-29 13:07:04 by rrt]
Remove /bin/ from /bin/rm to avoid problems with systems where it's elsewhere.

[project @ 2000-06-28 21:54:06 by lewie]
Make it so that implicit params uniformly print with the `?' at the front
of the name.  Simon's last big commit re-arranged how interface files
were written, and implicit params were suddenly being written without the `?'.
This fixes both that bug, and Simon's concern that there were too many
different pretty printing functions for implicit params ;-)

[project @ 2000-06-28 17:03:17 by simonmar]
This file had version 407 burned into it; the convention is that zero
means "don't check the version".

[project @ 2000-06-28 16:57:42 by lewie]
Bumped VERSION's version as well.

[project @ 2000-06-28 16:57:05 by simonmar]
ignore lines beginning with '#' when looking for {-# OPTIONS #-}

[project @ 2000-06-28 16:52:38 by lewie]
Wave goodbye to hscpp even harder. (erase it from SUBDIR list).

[project @ 2000-06-28 15:56:28 by simonmar]
add in the -optl arguments to the linker command line

[project @ 2000-06-28 14:34:27 by simonmar]
dumps go to stdout

[project @ 2000-06-28 14:32:34 by simonmar]
dumps go to stdout now

[project @ 2000-06-28 14:00:36 by simonmar]
Wave goodbye to hscpp, GHC's lexer now understands the '# \d+ \".*\"'
output from cpp.

[project @ 2000-06-28 11:50:00 by simonmar]
version of ghc-current is now 4.09

[project @ 2000-06-28 11:28:27 by simonmar]
add missing default case for Eq (TyClDecl name pat)

[project @ 2000-06-28 10:42:17 by sewardj]
Partially fix signal (control-C) handling under mingw32.
The interpreter can now be interrupted and successfully returns to
the Hugs prompt, but only if Hugs was started from cmd.exe and not
by bash (!).  This is a known bogon with Cygwin, according to
Sigbjorn.  I still can't get Hugs to ignore other control-C's;
instead it acts as if it was asked to exit.  Bizarre.

[project @ 2000-06-27 16:48:25 by lewie]
splitFunTy_maybe was making a special case of implicit params by
returning Nothing on a type `noted' as an implicit param.  It shouldn't
(my bad).  It's mostly used downstream of the type checker, where we don't
care so much about the difference between implicit and explicit params.
The right thing to do is just see thru the NoteTy (i.e. eliminate the
special case for IPs).

Please merge.

[project @ 2000-06-27 16:36:00 by lewie]
Cleaned out a handful of unused imports.

[project @ 2000-06-27 13:45:30 by rrt]
Some initial notes on DLLs.

plsmrg

[project @ 2000-06-27 10:08:48 by rrt]
Replace documentation for dll_Ifs.hi with a note about using -package-name.

Please merge.

[project @ 2000-06-27 09:18:04 by sewardj]
Fix compilation problems with int64 and nat64.

[project @ 2000-06-27 09:08:32 by lewie]
Further refine the test for when to simplify... in particular, was
generating bogus code when a signature asserted an implicit param,
but the code didn't use one.

Please Merge.

[project @ 2000-06-26 16:09:40 by simonpj]
Add test for filterFB

[project @ 2000-06-26 13:05:25 by rrt]
Fix it Good'n'Proper.

[project @ 2000-06-26 12:48:47 by rrt]
Remove lots of junk from db2ps.sh, and make it find db2dvi properly.

(I'll merge it)

[project @ 2000-06-25 19:17:57 by panne]
Changed "_" variable prefix to "c" (for "config", "constant", or
whatever you like). This should enable building from CVS with GHC <4.07.

[project @ 2000-06-25 17:25:42 by panne]
Keep gcc -Wall happy

[project @ 2000-06-25 17:21:52 by panne]
* -#include's arg needs not be separate anymore.
* Nuke leading and trailing spaces around option arguments.

[project @ 2000-06-25 17:20:20 by panne]
Use "$@" instead of $* in shell script, the latter one doesn't handle
spaces in arguments correctly. Heaven knows who invented this wierd rules.

[project @ 2000-06-25 17:18:15 by panne]
Descend into include subdir first to create a config.h, which is
needed in later subdirs.

[project @ 2000-06-25 17:16:15 by panne]
Fixed xref to Storable docs

[project @ 2000-06-25 17:08:37 by panne]
Synch unfoldr's signature in export list with reality

[project @ 2000-06-24 17:47:12 by panne]
Fixed "filterFB" RULE

*** please merge ***

[project @ 2000-06-23 14:01:09 by rrt]
Get rid of hand-maintained HSrts.def, and generate it automatically.

[project @ 2000-06-23 13:13:10 by sewardj]
markHugsObjects() and lookupSection(): don't use debugging versions
of macros module(), name(), tycon(), etc, even when debugging.
Also, in lookupSection(), return immediately when not in combined mode.
Together, these dramatically reduce the cost of GC in Hugs (by about
a factor of 15 for nofib/real/anna).

[project @ 2000-06-23 12:09:00 by sewardj]
Minor mods to make fully-optimised builds of Hugs work again.

[project @ 2000-06-23 09:41:11 by sewardj]
Changes to make DietHEP.dll usable from Visual Basic:
* Export DH_LoadLibrary and DH_GetProcAddress using stdcall, not ccall.
* Append all messages to a logfile, diet_hep_logfile.txt, for debugging.

[project @ 2000-06-22 16:19:16 by panne]
* -syslib => -package
* mkdependHS => ghc -M

*** please merge ***

[project @ 2000-06-22 16:18:10 by panne]
* Mentioned CTypesISO
* Synched comments about MutableArray with reality

*** please merge ***

[project @ 2000-06-22 16:16:46 by panne]
Removed explicit usage of hslibs/docs, it belongs to
ghc/docs/set. (untested)
*** please merge ***

[project @ 2000-06-22 14:45:41 by simonpj]
*** NO NEED TO MERGE WITH 4.07 ***
    (but it would do no harm)

* Improve an error message when overlapping instance
  declarations are present.  Carl Witty reported this
  infelicitous message.  The problem arises for this code:

class Foo a
class (Foo a) => Bar a

data Dat a = Dat

instance Foo (Dat a)
instance Foo (Dat Integer)

instance Bar (Dat a)

  The instance decl for Bar should say

instance Foo (Dat a) => Bar (Dat a)

  because the overlapping instance decls for Foo can't
  be resolved (or at least might vary depending on how
  a is instantiated).

[project @ 2000-06-22 14:41:29 by simonpj]
*** MERGE WITH 4.07 ***

* ParseIface.y should reject newtypes with no
  definition:
newtype T a ;
  The rest of the compiler falls over if it sees such a thing.

[project @ 2000-06-22 14:40:22 by simonpj]
*** MERGE WITH 4.07 ***

* The divide by zero check in the constant-folding
  rules was testing the numerator not denominator!
  (For Float and Double.)

[project @ 2000-06-22 12:02:55 by rrt]
Add greencard support.

[project @ 2000-06-21 09:13:09 by chak]
As suggested by SimonM, moved an overview over the three components of the FFI
into the FFI document included as Chapter 7 into the GHC user guide.

Open questions:

* How can I make cross references to the doc in hslibs/?  There are already
  references to hslibs sections in other parts of ghc's user guide, but they
  are not correctly resolved when I generate html from the sgml files.

* There is now a (little) overlap with material in 6.5 (GHC Language Features:
  The foreign interface).  I would say, we could actually leave this as it is,
  as 6.5 goes on to describe GHC specifics.

[project @ 2000-06-20 16:32:20 by simonmar]
fix -fno-asm-mangling flag

[project @ 2000-06-20 15:31:33 by sewardj]
Force binds with coreBindsSize after every simplifier iteration.
Significantly reduces space use, especially with -O.  This could
probably be done more cleanly.

[project @ 2000-06-20 15:26:34 by simonmar]
remove duplicates from the list of ways, so that eg. ghc -prof -prof
is legal.

[project @ 2000-06-20 15:18:40 by simonmar]
Don't try to finalize DEAD_WEAKs.  This fix has been sitting in my
tree for so long, I can't remember whether it was a real bugfix or
just a cleanup, oh well.

[project @ 2000-06-20 15:15:44 by simonmar]
Set the context switch flag to zero when running a new thread; the
timer interrupt now initiates a context switch.

[project @ 2000-06-20 15:12:14 by simonmar]
context switch on a timer interrupt.

[project @ 2000-06-20 11:21:28 by simonmar]
remove ToDo about mkdependHS and -osuf.

[project @ 2000-06-20 11:20:50 by simonmar]
mkdependHS doesn't understand the -o option anymore; instead it grokss
ghc's -osuf option.  We never really used this, and it behaves
strangely when mixed with -s, but at least now it doesn't conflict
with GHC's -opt<blah> options.

[project @ 2000-06-20 11:03:55 by simonmar]
- print the version number as x.yy.z (i.e. replace ", patchlevel z"
with ".z"), but omit the .z if z == 0.

- add --numeric-version flag which prints x.yy.z without the verbage.

[project @ 2000-06-20 10:24:39 by simonmar]
- fix -optCrts (was being overriden by -optC)
- fix -osuf with -split-objs
- fix -odir

[project @ 2000-06-19 21:28:00 by panne]
* makeForeignObj => newForeignObj

* Tried to make type mapping table look less strange, but this
  succeeded only a little bit. Could somebody else have a look?