[project @ 2000-07-08 19:35:42 by panne]
After the last fix in PprAbs.ppr_amode, we now need a cast from
StgClosure* to P_ in UPD_FRAME_UPDATEE. I'm not sure if this is the
nicest way to fix this, CgCon.cgReturnDataCon is another candidate. It
looks a little bit like PrimRep distinguishes not enough between the
different kind of pointers (there's no alternative for L_).

[project @ 2000-07-08 18:17:40 by panne]
Fixed Show instance for Exception

[project @ 2000-07-08 17:04:17 by panne]
Synch format string with actual args

[project @ 2000-07-07 12:13:43 by simonpj]
This commit moves the instance environment out of the Class data
structure, where it was immutable, to part of the type-checker
environment.  This change is absolutely essential as part of
our move to GHCi, and I think it's also going to be necessary
for Andrei's work on generic functions.

As part of this change, we can remove

  a) types/InstEnv.* (thereby also removing a hi-boot loop)
  b) a tc-fixpoint-loop in TcModule

Both of these are worthwhile simplifications.

[project @ 2000-07-07 12:13:22 by simonpj]
Improve comments

[project @ 2000-07-07 12:12:48 by simonpj]
Fix duplicate class assertion error msg

[project @ 2000-07-07 11:03:57 by simonmar]
Rearrange exception stuff, as per my message on glasgow-haskell-users
recently.

The main change is the IOError type is now a synonym for Exception.
IO.ioError can therefore be used for throwing exceptions.  IO.catch
still catches only IO exceptions, for backwards compatibility.

The interface exported by Exception has changed somewhat:

try       :: IO a -> IO (Either Exception a)
tryJust   :: (Exception -> Maybe b) -> a    -> IO (Either b a)

catch     :: IO a -> (Exception -> IO a) -> IO a
catchJust :: (Exception -> Maybe b) -> IO a -> (b -> IO a) -> IO a

ioErrors :: Exception -> Maybe IOError
arithExceptions  :: Exception -> Maybe ArithException
errorCalls :: Exception -> Maybe String
dynExceptions :: Exception -> Maybe Dynamic
assertions :: Exception -> Maybe String
asyncExceptions  :: Exception -> Maybe AsyncException

raiseInThread is now called throwTo.

Where possible, the old functions have been left around, but marked
deprecated.

[project @ 2000-07-07 10:35:32 by simonmar]
Remove the cast from CMacroExprs - it doesn't appear to be needed.
This fixes the recently introduced bug when compiling CCS_HDR macros
in profiling code.

[project @ 2000-07-07 09:44:31 by simonmar]
fix -keep-hc-file-too

[project @ 2000-07-07 09:37:39 by simonmar]
revert rev. 1.81

[project @ 2000-07-06 20:50:37 by panne]
Typo

[project @ 2000-07-06 17:22:40 by keithw]
Fix obvious typo (pprStgARg for pprStgArg).  Clearly not a frequently-
tickled part of the compiler!

[project @ 2000-07-06 16:31:45 by simonpj]
* Improve the warning "M is imported but nothing from it is used"
  In particular, don't warn if some instances from it are imported.

  It's pretty much impossible to do the Right Thing always.
  A comment in Rename.lhs says
-- NOTE: Consider
--       module This
-- import M ()
--
--  The import M() is not *necessarily* redundant, even if
--   we suck in no instance decls from M (e.g. it contains
--  no instance decls, or This contains no code).  It may be
--  that we import M solely to ensure that M's orphan instance
--  decls (or those in its imports) are visible to people who
--  import This.  Sigh.
--  There's really no good way to detect this, so the error message
--  in RnEnv.warnUnusedModules is weakened instead

* Minor comment changes to RnIfaces.lhs

* Use NameEnv instead of UFM in TcEnv (tidy up only)

[project @ 2000-07-06 16:28:40 by simonmar]
Add Marcin Kowalczyk and Michael Weber to the "Additional
Contributors" section.

[project @ 2000-07-06 15:43:28 by simonmar]
A string constant block can consist of multiple .string/.ascii
directives.  The sparc-specific code in this file already handled this
properly, but the x86 code was wrong.

[project @ 2000-07-06 15:24:57 by simonmar]
no need to set hsc_lang = HscC when -split-objs is on.

[project @ 2000-07-06 14:08:31 by simonmar]
New form of literal: MachLabel, for addresses of labels.  Used by
foreign label instead of MachLitLit now.

Real lit-lits now cause the NCG to panic.

Also: removed CLitLit from AbsCSyn; it was only used in one place for
a purpose it shouldn't have been used for in the first place.

[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 ***