[project @ 2004-11-26 16:19:45 by simonmar]
Further integration with the new package story.  GHC now supports
pretty much everything in the package proposal.

  - GHC now works in terms of PackageIds (<pkg>-<version>) rather than
    just package names.  You can still specify package names without
    versions on the command line, as long as the name is unambiguous.

  - GHC understands hidden/exposed modules in a package, and will refuse
    to import a hidden module.  Also, the hidden/eposed status of packages
    is taken into account.

  - I had to remove the old package syntax from ghc-pkg, backwards
    compatibility isn't really practical.

  - All the package.conf.in files have been rewritten in the new syntax,
    and contain a complete list of modules in the package.  I've set all
    the versions to 1.0 for now - please check your package(s) and fix the
    version number & other info appropriately.

  - New options:

-hide-package P    sets the expose flag on package P to False
-ignore-package P  unregisters P for this compilation

For comparison, -package P sets the expose flag on package P
        to True, and also causes P to be linked in eagerly.

        -package-name is no longer officially supported.  Unofficially, it's
a synonym for -ignore-package, which has more or less the same effect
as -package-name used to.

Note that a package may be hidden and yet still be linked into
the program, by virtue of being a dependency of some other package.
To completely remove a package from the compiler's internal database,
        use -ignore-package.

The compiler will complain if any two packages in the
        transitive closure of exposed packages contain the same
        module.

You *must* use -ignore-package P when compiling modules for
        package P, if package P (or an older version of P) is already
        registered.  The compiler will helpfully complain if you don't.
The fptools build system does this.

   - Note: the Cabal library won't work yet.  It still thinks GHC uses
     the old package config syntax.

Internal changes/cleanups:

   - The ModuleName type has gone away.  Modules are now just (a
     newtype of) FastStrings, and don't contain any package information.
     All the package-related knowledge is in DynFlags, which is passed
     down to where it is needed.

   - DynFlags manipulation has been cleaned up somewhat: there are no
     global variables holding DynFlags any more, instead the DynFlags
     are passed around properly.

   - There are a few less global variables in GHC.  Lots more are
     scheduled for removal.

   - -i is now a dynamic flag, as are all the package-related flags (but
     using them in {-# OPTIONS #-} is Officially Not Recommended).

   - make -j now appears to work under fptools/libraries/.  Probably
     wouldn't take much to get it working for a whole build.

[project @ 2004-11-26 13:42:37 by simonpj]
Document overlapping instances

[project @ 2004-11-26 13:42:21 by simonpj]
More about hi-boot files

[project @ 2004-11-25 11:36:34 by simonpj]
------------------------------------------
Keep-alive set and Template Haskell quotes
------------------------------------------

a) Template Haskell quotes should be able to mention top-leve
   things without resorting to lifting.  Example

module Foo( foo ) where
  f x = x
  foo = [| f 4 |]

   Here the reference to 'f' is ok; no need to 'lift' it.
   The relevant changes are in TcExpr.tcId

b) However, we must take care not to discard the binding for f,
   so we add it to the 'keep-alive' set for the module.  I've
   now made this into (another) mutable bucket, tcg_keep,
   in the TcGblEnv

c) That in turn led me to look at the handling of orphan rules;
   as a result I made IdCoreRule into its own data type, which
   has simle but non-local ramifications

[project @ 2004-11-24 13:03:26 by simonmar]
Update s/r conflict total after Ross added four more.  The total
according to the comment is currently one more than the real number,
so one of them must have gone away.  At some point we should track
down which one.

[project @ 2004-11-23 15:24:02 by simonpj]
White space only

[project @ 2004-11-23 14:24:53 by simonmar]
This should fix the build for GHC 6.3+

[project @ 2004-11-23 12:35:06 by ross]
Make the X11 and HGL packages more independent, and pass configuration
parameters to package.conf.in via header files.

Also removed residual traces of OpenGL/GLUT/OpenAL from mk/config.mk.in

[project @ 2004-11-22 17:00:54 by simonmar]
Fix mkdependHS behaviour

[project @ 2004-11-22 16:42:21 by simonmar]
\r is whitespace

[project @ 2004-11-22 16:39:37 by simonmar]
Add readline/GHCi/Windows entry

[project @ 2004-11-22 14:18:40 by simonmar]
Check the result of System.Cmd.system

[project @ 2004-11-22 12:41:20 by simonmar]
threadRunnable: Fix (probably harmless) buglet

[project @ 2004-11-22 09:18:03 by desrt]
#ifdef powerpc64:
fixed errors in run/return code revealed by testing

[project @ 2004-11-22 04:34:01 by wolfgang]
Fix memory transaction primops for 64bit:
The proper way to write (StgBool) true and false in Cmm is 1 :: CInt and
0 :: CInt, respectively.
This is because StgBool is defined as int,
which is often 32bit on 64bit platforms, while Cmm integer literals without
type annotations are 64bit words on 64bit platforms.

So everyone please remember: int and StgBool are not always the same size as
StgInt, StgWord and W_.

[project @ 2004-11-21 22:53:31 by panne]
Pushed down OpenGL/GLUT/OpenAL autoconf stuff to the respective directories.
All packages are now built automatically if possible and if they are not
explicitly disabled. NOTE: The "--enable-hopengl" option is now split into
"--enable-opengl" and "--enable-glut".

[project @ 2004-11-21 22:25:23 by desrt]
rtsconfig, smrep: fixes to not put info next to code (like ia64)
machregs: define registers for powerpc64 - same as ppc32
tailcalls: for now do tailcalls as normal calls. (ok on powerpc since
           calls don't grow the stack and we don't care about LR anyway)

[project @ 2004-11-21 22:18:46 by desrt]
Added an StgRun for powerpc64/Linux
Fixed a typo in the code for powerpc32 Linux and Darwin

[project @ 2004-11-21 12:13:23 by panne]
Fixed include paths. Thinking about the convoluted dependencies between ghc,
ghc-pkg and libraries really makes me dizzy... Some cleanup and simplification
is needed here *urgently*, this stuff is currently beyond my grasp.

[project @ 2004-11-20 16:02:41 by panne]
Pushed -fomit-frame-pointer test down to ghc subdir + cleanup

[project @ 2004-11-20 15:12:26 by panne]
Pushed "ghc has readline" check down to ghc subdir

[project @ 2004-11-19 18:00:29 by simonpj]
Add missing symbol for InstallConsoleEvent

[project @ 2004-11-19 17:24:48 by tharris]
Fix build error during unregistered builds, remove warning building GCCompact

[project @ 2004-11-18 16:39:53 by stolz]
Push down more feature-tests

[project @ 2004-11-18 09:56:07 by tharris]
Support for atomic memory transactions and associated regression tests conc041-048

[project @ 2004-11-18 00:56:18 by igloo]
Implement FunDeps for TH.

[project @ 2004-11-17 19:07:38 by sof]
Expose Win32 console event handling to the user.

Added RTS support for registering and delivering console events quite
a while ago (rts/win32/ConsoleHandler.c), but got bored with it before
completing the job. Here's the concluding commit; it does the following:

- new module, base/GHC/ConsoleHandler.hs which supports registering of
  console event handlers (the null module on plats other than mingw).
- special handling of aborted async read()s on 'standard input' in
  rts/win32/IOManager.c (together with GHC.Conc.asyncRead). See comments
  in that IOManager.c as to why this is needed.
  [ Any other code that performs blocking I/O on 'standard input' will
    need to be tweaked too to be console event handler/signal friendly.]
- for now, disable the delivery of 'close' events (see
  rts/win32/ConsoleHandler.c:generic_handler() for reasons why)

Feel free to hoik GHC/ConsoleHandler.hs around the lib hierarchy to wherever
is considered more fitting. Unifying functionality between System.Posix.Signals
and GHC.ConsoleHandler is one (obvious) thing to do.

-- Demonstrating GHC.ConsoleHandler use; win32 only
module Main(main) where

import GHC.ConsoleHandler
import System.IO  (hFlush, stdout)
import GHC.Conc   (threadDelay)

main :: IO ()
main = do
  installHandler (Catch (\ _ -> putStrLn "Caught console event; ignoring" >> hFlush stdout))
  loop
 where
  loop = do
    threadDelay 100000
    ls <- getLine
    putStrLn ls
    loop
--

[project @ 2004-11-17 18:31:08 by josefs]
Needed to include a header file in Compat/Directory on windows

[project @ 2004-11-16 10:00:10 by simonmar]
Fix build with GHC 6.2.x

[project @ 2004-11-16 09:50:13 by simonmar]
Quick Start section: add disclaimer for Windows builders

[project @ 2004-11-15 12:15:13 by simonmar]
Need to add System to ALL_DIRS

[project @ 2004-11-14 09:59:48 by krasimir]
Use findExecutable from Compat.Directory instead of its own findBinary.
Now the tool works under Windows as well as under Linux.
With cygwin we can use #!runghc ...

[project @ 2004-11-14 09:50:33 by krasimir]
* Add stub for System.FilePath
* Add findExecutable & copyFile to Compat.Directory

[project @ 2004-11-14 02:16:49 by wolfgang]
Mac OS X: Track Cabal-related changes (extra_frameworks -> extraFrameworks)

[project @ 2004-11-13 13:53:32 by panne]
Fixed DocBook XML once again. Perhaps I should add a "make validate"
CVS hook, hmmm... >:-)

[project @ 2004-11-12 15:57:00 by simonmar]
we need -package Cabal for stage2

[project @ 2004-11-12 15:51:37 by simonmar]
Fix build

[project @ 2004-11-12 15:17:42 by simonmar]
Add Haskell 98 isAlpha divergence

[project @ 2004-11-12 15:06:36 by simonmar]
darwin-only fix

[project @ 2004-11-12 14:56:10 by stolz]
Fix previous commit:
Don't handle Solaris2-flag _POSIX_PTHREAD_SEMANTICS in configure at all
but simply #ifdef solaris2_TARGET_OS #define ... it in the header-file.

[project @ 2004-11-12 14:09:39 by simonpj]
Windows fix (include config.h)

[project @ 2004-11-12 13:35:55 by simonpj]
Update to new InstalledPackageInfo

[project @ 2004-11-12 13:28:35 by simonpj]
build fix for Windows

[project @ 2004-11-12 13:27:54 by simonpj]
add bits required for Compat.Directory on Windows

[project @ 2004-11-12 12:34:50 by stolz]
Push FreeBSD-unicode-detection into package

[project @ 2004-11-12 12:12:52 by stolz]
Push some unixisms from toplvl into package:
usleep, SunOS-handling, getpw*

[project @ 2004-11-11 23:39:15 by sof]
drop win32 protos, current windows.h's now provide 'em.

[project @ 2004-11-11 17:25:59 by simonmar]
Restore compatibility with GHC 6.2

[project @ 2004-11-11 17:21:02 by simonmar]
add missing file

[project @ 2004-11-11 16:48:55 by simonmar]
Update comment

[project @ 2004-11-11 16:44:33 by simonpj]
---------------------------------
     Buglet in the handling of unlifted bindings
---------------------------------

Unlifted bindings, like
let I# v = ... in ...
can't be generalised.  In teh transition to GADTs I introduced a bug
that accidentally discarded some necessary dictionary bindings.

This commit fixes it by moving the test for unlifted bindings to a
much earlier point in tcBindWithSigs, which seems a lot cleaner to me.

[project @ 2004-11-11 16:24:41 by simonmar]
'make depend' fix

[project @ 2004-11-11 16:07:40 by simonmar]
Compiler changes for the new package.conf format.

[project @ 2004-11-11 16:07:14 by simonmar]
The new ghc-pkg tool.

So far, the new syntax is supported, and the format of the package
definitions has changed to InstalledPackageInfo rather than the old
PackageConfig type.  The format of the package.conf file is now
[InstalledPackageInfo] (using show/read).

We still support the old ghc-pkg command line syntax, and the old
PackageConfig syntax for package definitions.  These are deprecated
features, of course.

Not much is done with the list of exposed/hidden modules, or versions
(yet).

[project @ 2004-11-11 16:03:51 by simonmar]
Add a more prominent description of what this library is all about.

[project @ 2004-11-11 13:08:59 by simonmar]
Compile fixes

[project @ 2004-11-11 09:46:54 by simonmar]
Get rawSystem from Compat.RawSystem in libghccompat.

[project @ 2004-11-11 09:38:22 by simonmar]
- include cbits dir
- omit certain libraries when ghc > 6.2
- build this library at boot-time, because it will be needed by ghc-pkg

[project @ 2004-11-11 09:36:55 by simonmar]
include lib/ in the build

[project @ 2004-11-11 09:36:40 by simonmar]
Add directories for ghc/lib & ghc/lib/compat

[project @ 2004-11-11 08:58:23 by simonpj]
Wibble

[project @ 2004-11-10 13:24:06 by simonmar]
Use rawSystem from libghccompat.a

[project @ 2004-11-10 11:27:54 by simonmar]
Move the compatibility code for rawSystem from libraries/base into
ghc/lib/compat.

[project @ 2004-11-10 04:17:50 by wolfgang]
64-bit fix:
Change the type of context_switch from 'nat' to 'int'.
It's accessed as CInt from cmm code, and sizeof(nat) > sizeof(int)
on many 64-bit platforms.

[project @ 2004-11-10 03:28:15 by wolfgang]
Add support for powerpc64-linux and probably powerpc64-AIX.

[project @ 2004-11-10 03:27:04 by wolfgang]
Add powerpc64-unknown-linux

[project @ 2004-11-10 03:20:31 by wolfgang]
Implement the mblock map for 64-bit architectures.
Fairly primitive data structure, but one 4GB-block, described by a
12-bit block map, is cached for speed.

Note that I've nuked the ia64-specific version (I think ia64 wants to
use the general 64-bit solution, too).

[project @ 2004-11-10 02:13:12 by wolfgang]
64-bit fixes.

Don't assume that sizeof(int) == sizeof(StgInt).
This assumption creeped in in many places since 6.2.

[project @ 2004-11-10 01:58:32 by wolfgang]
64-bit fix:
when loading the "era" global variable, convert it from cIntRep to
wordRep after loading (this is a no-op on all 32-bit platforms).

[project @ 2004-11-10 01:56:00 by wolfgang]
Fix pretty-printing of integer constants on 64-bit platforms.
If sizeof(int) == 4 on a 64-bit platform, we have to add an 'L' suffix
to integer constants.

[project @ 2004-11-09 18:04:15 by sof]
threadDelay(mingw32): introduce and use the return continuation
stg_block_async_void; fixes mem leak, cf.

  http://haskell.org/pipermail/cvs-ghc/2004-November/022325.html

[project @ 2004-11-09 17:38:01 by simonpj]
Remember to zonk the quantified type variables of a for-all type before forming the type

[project @ 2004-11-09 17:21:58 by simonmar]
Add a compatibility library, which will mean that we can make use of
brand new libraries directly in GHC and the tools even when compiling
with older versions of GHC.  The library just consists of stubs that
#include code from fptools/libraries.

This isn't wired up to the build yet.

[project @ 2004-11-09 17:04:29 by sof]
wibble

[project @ 2004-11-09 16:59:31 by simonmar]
getOptionsFromSource: fix a bug which caused a file containing just an
OPTIONS pragma to have the pragma ignored.

[project @ 2004-11-09 13:28:13 by simonpj]
Fix a bug in fixity handling for tycons; we were rembering the data-con RdrName, not the tycon one

[project @ 2004-11-09 13:27:05 by simonpj]
Refine warning slightly

[project @ 2004-11-09 12:45:41 by simonpj]
Check for illformed arg type e.g. IO (Num a => a)

[project @ 2004-11-09 12:45:04 by simonpj]
Permit records with an existential context that binds no tyvars

[project @ 2004-11-09 12:41:18 by simonpj]
Improve pretty-printing for types

[project @ 2004-11-09 10:42:47 by simonmar]
duh, undo previous accidental commit

[project @ 2004-11-08 12:26:52 by simonmar]
Get rid of SUPPORTS_EMPTY_STRUCTS, and just avoid using empty struct
definitions.

[project @ 2004-11-07 10:17:20 by ross]
move CONST_O_BINARY detection down to libraries/base

[project @ 2004-11-06 11:10:17 by panne]
Moved test for C/ISO types to base package, hopefully testing for all
needed headers first.

[project @ 2004-11-06 10:45:46 by panne]
Push down the tests for errno values to the base package. There's really
no need testing for this when e.g. building Happy. :-)

[project @ 2004-11-04 19:10:50 by panne]
Removed auto-autoreconf stuff, it doesn't really work with our
recursive autoconf setup.

[project @ 2004-11-03 12:31:42 by ross]
standalone packages: eliminate the extraneous final comma on PACKAGE_DEPS

[project @ 2004-11-03 01:10:53 by igloo]
Implement TH ForallC constructor.

[project @ 2004-10-27 15:06:22 by wolfgang]
Mac OS X: Explicitly align symbol stub sections in Mach-O files; Apple's as
doesn't seem to do that in all cases.

[project @ 2004-10-26 17:48:39 by ross]
bind acosDouble to acos(), rather than asin()

[project @ 2004-10-25 09:23:08 by simonmar]
Minor changes for VS/Haskell

[project @ 2004-10-24 11:35:49 by panne]
Updated the DocBook story

[project @ 2004-10-23 19:15:45 by panne]
Workaround for some hhc problems

[project @ 2004-10-23 11:58:18 by panne]
Added build dependency on mesaglut-devel (provided by freeglut-devel, too).

[project @ 2004-10-20 14:25:34 by simonmar]
compile: temporarily add the directory containing the .hs file to the
include path.  This matches what compiling in one-shot mode does, and
fixes a bug whereby the _stub.h file couldn't be found when compiling
with --make.

[project @ 2004-10-20 13:34:04 by simonpj]
---------------------------------
Fix a bug in usage recording
---------------------------------

As a result of the new stuff on hi-boot-file consistency checking, I
accidentally caused Foo.hi to record a usage line for module Foo, and
this in turn caused rather nasty bad things to happen.  In particular,
there were occasional crashes of form

ghc-6.3: panic! (the `impossible' happened, GHC version 6.3.20041017):
        forkM Constructor Var.TcTyVar{d r1B9}

At least I think that's why the crash happened.

Anyway, it was certainly a bug, and this commit fixes it.  The main
payload of this fix is in Desugar.lhs;  the rest is comments and
tidying.

[project @ 2004-10-20 11:16:08 by simonmar]
Fix braino in pprAsmCLbl

[project @ 2004-10-19 08:52:33 by simonmar]
GhcWithNativeCodeGen=NO for Sparc, until the old Sparc native codegen
is updated (not likely to happen soon).

[project @ 2004-10-18 18:27:36 by igloo]
Remove -static flags for alpha and hppa.
Turns out mips(el) on Linux is more complicated than first appeared, so
leaving it be for now.

[project @ 2004-10-18 18:24:59 by igloo]
Implement -fwarn-incomplete-record-updates