[project @ 2004-12-04 14:07:25 by panne]
Moved GTK_CONFIG detection to ghc subdirectory (untested).

[project @ 2004-12-04 13:48:05 by panne]
Nuked some outdated stuff

[project @ 2004-12-04 12:57:57 by panne]
No need for --enable-hopengl anymore

[project @ 2004-12-03 16:59:43 by simonpj]
Make Core Lint check for 1-tuples

[project @ 2004-12-03 16:25:58 by simonmar]
Get rid of some `...' style quotes

[project @ 2004-12-03 16:02:44 by simonpj]
Update TH import

[project @ 2004-12-03 15:35:56 by simonmar]
distclean: clean config.mk only *after* doing the recursive cleaning.
Otherwise we don't clean properly in the subdirectories or sub-ways.

[project @ 2004-12-03 13:57:19 by simonmar]
- Implement expose/hide
- fix parsing of package identifiers (forgot to commit this the other day)

[project @ 2004-12-03 13:49:00 by simonpj]
A fix to kind signatures for GADT data type decls

[project @ 2004-12-03 13:47:22 by simonpj]
TH refication for primitive TyCons

[project @ 2004-12-03 13:01:28 by simonmar]
Support the --auto-ghci-libs option in conjuction with 'register'.

[project @ 2004-12-02 23:39:13 by wolfgang]
Mac OS X/Darwin/Mach-O:

Improve handling of object files without dynamic symbol tables.

[project @ 2004-12-02 17:18:15 by simonpj]
Sorry for the fact that there are overlapping three commits in here...

1.  Make -fno-monomorphism-restriction
    and -fno-implicit-prelude reversible, like other flags

2.  Fix a wibble in the new ImportAvails story, in RnNames.mkExportAvails

3.  Fix a Template Haskell bug that meant that top-level names created
    with newName were not made properly unique.

[project @ 2004-12-02 17:17:28 by simonpj]
Trim imports

[project @ 2004-12-02 16:55:02 by simonpj]
Missing include

[project @ 2004-12-02 16:33:16 by simonpj]
Missing import on Windows

[project @ 2004-12-01 09:51:50 by simonmar]
Update the excluded modules for libghccompat

[project @ 2004-11-30 16:07:01 by simonmar]
Data.Version --> Distribution.Version

[project @ 2004-11-30 16:05:15 by simonmar]
Data.Version -> Distribution.Version

[project @ 2004-11-30 15:51:35 by simonmar]
Data.Version isn't necessary any more, the Version type is exported by
Distribution.Version.

[project @ 2004-11-30 15:31:56 by simonmar]
Allow -ignore-package P when P doesn't exist (thanks to George Russell
for the report).

[project @ 2004-11-30 14:55:10 by simonpj]
Docmunent -fmonomorphism-restriction and -fimplicit-prelude

[project @ 2004-11-30 14:28:02 by simonpj]
Import trimming

[project @ 2004-11-30 13:59:25 by simonpj]
Wibbles for new ImportAvails story

[project @ 2004-11-30 10:46:58 by simonmar]
Add space to error message

[project @ 2004-11-29 23:28:58 by wolfgang]
Revert part of the previous commit.
Something unrelated slipped in :-(.

[project @ 2004-11-29 23:21:43 by wolfgang]
Fix -dynamic compilation - don't use nameModule on names that might be
local.

[project @ 2004-11-29 16:25:03 by simonpj]
---------------------
Simplify ImportAvails
---------------------

Every Name has, for some while, contained its "parent";
the type or class inside which it is defined.  But the rest
of the renamer wasn't using this information as much as it
could do.  In particular, the ImportAvails type was more elaborate
than necessary.

This commit combines these two fields of ImportAvails:
imp_env :: AvailEnv
imp_qual :: ModuleEnv AvailEnv
into one
imp_env :: ModuleEnv NameSet

This is quite a bit simpler.  Less redundancy and, I think, less
code.

[project @ 2004-11-29 16:24:16 by simonpj]
Trim imports

[project @ 2004-11-29 16:16:57 by simonpj]
Update ambiguity errors

[project @ 2004-11-29 11:35:43 by simonmar]
Don't quote package names

[project @ 2004-11-29 11:32:38 by simonmar]
Look for package modules before home modules.  This fixes the build in
ghc/lib when bootstrapping with the HEAD.

[project @ 2004-11-26 16:50:56 by simonmar]
unregister/describe: allow the package name to be given without the
version, as long as it is unambiguous.

Strange, I was sure I'd implemented expose/hide in here, but they're
stubbed out.  Oh well.

[project @ 2004-11-26 16:34:56 by simonmar]
Undo

[project @ 2004-11-26 16:32:44 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 16:30:12 by simonmar]
Add missing .hi-boot files

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