ghc-hetmet.git
15 years agoin stage1, always rebuild Main.hs
Simon Marlow [Tue, 5 Aug 2008 13:38:23 +0000 (13:38 +0000)]
in stage1, always rebuild Main.hs
GHC 6.9+ can properly handle cross-package recompilation checking, but
older versions of GHC couldn't, so in stage1 we always rebuild
Main.hs.  In other words, 'make' in ghc/ should do the right thing now.

15 years agoOoops; lack of mk/confi.mk doesn't mean validate shouldn't run configure!
Ian Lynagh [Wed, 6 Aug 2008 11:31:02 +0000 (11:31 +0000)]
Ooops; lack of mk/confi.mk doesn't mean validate shouldn't run configure!

15 years agoC# has moved to ghc-prim:GHC.Types
Ian Lynagh [Tue, 5 Aug 2008 22:01:55 +0000 (22:01 +0000)]
C# has moved to ghc-prim:GHC.Types

15 years agoMove the Char datatype into ghc-prim
Ian Lynagh [Tue, 5 Aug 2008 19:56:43 +0000 (19:56 +0000)]
Move the Char datatype into ghc-prim

15 years agoMove the [] definion from base to ghc-prim
Ian Lynagh [Tue, 5 Aug 2008 18:06:24 +0000 (18:06 +0000)]
Move the [] definion from base to ghc-prim

15 years agoDon't boot/configure if we are validating --no-clean
Ian Lynagh [Mon, 4 Aug 2008 21:46:57 +0000 (21:46 +0000)]
Don't boot/configure if we are validating --no-clean

15 years agoRemove the cgi package from extralibs
Ian Lynagh [Tue, 5 Aug 2008 12:55:51 +0000 (12:55 +0000)]
Remove the cgi package from extralibs
It has some sort of Error Monad using the old Exception type.
I'm not familiar with it enough to know what the right thing to do
for it with extensible exceptions is.

15 years agoFollow the tuple datatype movements
Ian Lynagh [Mon, 4 Aug 2008 15:54:02 +0000 (15:54 +0000)]
Follow the tuple datatype movements

15 years agoDon't make a "windows" flag in the Cabal file - os(windows) already exists!
Ian Lynagh [Mon, 4 Aug 2008 15:34:30 +0000 (15:34 +0000)]
Don't make a "windows" flag in the Cabal file - os(windows) already exists!
Pointed out by Duncan Coutts

15 years agoFix Trac #2449
simonpj@microsoft.com [Tue, 5 Aug 2008 10:54:02 +0000 (10:54 +0000)]
Fix Trac #2449

Deriving isn't allowed in hs-boot files (says the user manual)
This patch checks properly instead of crashing!

15 years ago2nd try: remove lochash, it isn't needed (now)
Simon Marlow [Mon, 4 Aug 2008 12:59:44 +0000 (12:59 +0000)]
2nd try: remove lochash, it isn't needed (now)

15 years agoFIX BUILD on Windows
Simon Marlow [Mon, 4 Aug 2008 10:57:40 +0000 (10:57 +0000)]
FIX BUILD on Windows

15 years agoFix Trac #2467: decent warnings for orphan instances
simonpj@microsoft.com [Mon, 4 Aug 2008 16:21:29 +0000 (16:21 +0000)]
Fix Trac #2467: decent warnings for orphan instances

This patch makes
  * Orphan instances and rules obey -Werror
  * They look nicer when printed

15 years agoFix the bug part of Trac #1930
simonpj@microsoft.com [Mon, 4 Aug 2008 16:10:39 +0000 (16:10 +0000)]
Fix the bug part of Trac #1930

15 years agoFix Trac #2433 (deriving Typeable)
simonpj@microsoft.com [Mon, 4 Aug 2008 14:15:03 +0000 (14:15 +0000)]
Fix Trac #2433 (deriving Typeable)

15 years agoFix Trac #2478
simonpj@microsoft.com [Fri, 1 Aug 2008 12:22:23 +0000 (12:22 +0000)]
Fix Trac #2478

A minor glitch that shows up only when a data constructor has *both* a
"stupid theta" in the data type decl, *and* an existential type variable.

15 years agoImprove docs for GADTs
simonpj@microsoft.com [Tue, 29 Jul 2008 14:53:13 +0000 (14:53 +0000)]
Improve docs for GADTs

15 years agoDocument -dsuppress-uniques
simonpj@microsoft.com [Tue, 29 Jul 2008 14:52:47 +0000 (14:52 +0000)]
Document -dsuppress-uniques

15 years agoUNDO: FIX #2375: remove oc->lochash completely, it apparently isn't used
Simon Marlow [Mon, 4 Aug 2008 11:18:01 +0000 (11:18 +0000)]
UNDO:  FIX #2375: remove oc->lochash completely, it apparently isn't used

15 years agohaddock fixes
Ian Lynagh [Sun, 3 Aug 2008 18:03:30 +0000 (18:03 +0000)]
haddock fixes

15 years agoFollow the move of assertError from Control.Exception to GHC.IOBase
Ian Lynagh [Sun, 3 Aug 2008 14:11:46 +0000 (14:11 +0000)]
Follow the move of assertError from Control.Exception to GHC.IOBase

15 years agoDocument PackageConfig
Max Bolingbroke [Thu, 31 Jul 2008 01:23:45 +0000 (01:23 +0000)]
Document PackageConfig

15 years agoDocument CoreSubst
Max Bolingbroke [Thu, 31 Jul 2008 01:23:38 +0000 (01:23 +0000)]
Document CoreSubst

15 years agoDocument CoreFVs
Max Bolingbroke [Thu, 31 Jul 2008 01:23:37 +0000 (01:23 +0000)]
Document CoreFVs

15 years agoDocument CmmZipUtil
Max Bolingbroke [Thu, 31 Jul 2008 01:23:35 +0000 (01:23 +0000)]
Document CmmZipUtil

15 years agoDocument VarSet
Max Bolingbroke [Thu, 31 Jul 2008 01:23:35 +0000 (01:23 +0000)]
Document VarSet

15 years agoDocument VarEnv
Max Bolingbroke [Thu, 31 Jul 2008 01:23:35 +0000 (01:23 +0000)]
Document VarEnv

15 years agoDocument Unique
Max Bolingbroke [Thu, 31 Jul 2008 01:23:34 +0000 (01:23 +0000)]
Document Unique

15 years agoDocument LazyUniqFM
Max Bolingbroke [Thu, 31 Jul 2008 01:23:54 +0000 (01:23 +0000)]
Document LazyUniqFM

15 years agoDocument FastTypes
Max Bolingbroke [Thu, 31 Jul 2008 01:23:53 +0000 (01:23 +0000)]
Document FastTypes

15 years agoAdd some type signatures to RnNames
Max Bolingbroke [Thu, 31 Jul 2008 01:23:48 +0000 (01:23 +0000)]
Add some type signatures to RnNames

15 years agoComment only in IfaceENv
Max Bolingbroke [Thu, 31 Jul 2008 01:23:43 +0000 (01:23 +0000)]
Comment only in IfaceENv

15 years agoDocument ZipCfg
Max Bolingbroke [Thu, 31 Jul 2008 01:23:36 +0000 (01:23 +0000)]
Document ZipCfg

15 years agoDocument MachOp
Max Bolingbroke [Thu, 31 Jul 2008 01:23:36 +0000 (01:23 +0000)]
Document MachOp

15 years agoDocument Dataflow
Max Bolingbroke [Thu, 31 Jul 2008 01:23:36 +0000 (01:23 +0000)]
Document Dataflow

15 years agoDocument DFMonad
Max Bolingbroke [Thu, 31 Jul 2008 01:23:36 +0000 (01:23 +0000)]
Document DFMonad

15 years agoDocument NameSet
Max Bolingbroke [Thu, 31 Jul 2008 01:23:33 +0000 (01:23 +0000)]
Document NameSet

15 years agoDocument NameEnv
Max Bolingbroke [Thu, 31 Jul 2008 01:23:33 +0000 (01:23 +0000)]
Document NameEnv

15 years agoDocument Module
Max Bolingbroke [Thu, 31 Jul 2008 01:23:32 +0000 (01:23 +0000)]
Document Module

15 years agoDocument DataCon
Max Bolingbroke [Thu, 31 Jul 2008 01:23:16 +0000 (01:23 +0000)]
Document DataCon

15 years agoDocument BasicTypes
Max Bolingbroke [Thu, 31 Jul 2008 01:23:06 +0000 (01:23 +0000)]
Document BasicTypes

15 years agoRename maybeTyConSingleCon to tyConSingleDataCon_maybe
Max Bolingbroke [Thu, 31 Jul 2008 01:05:37 +0000 (01:05 +0000)]
Rename maybeTyConSingleCon to tyConSingleDataCon_maybe

15 years agoIgnore git files
Max Bolingbroke [Thu, 31 Jul 2008 01:05:09 +0000 (01:05 +0000)]
Ignore git files

15 years agoFix ifBuildable
Ian Lynagh [Fri, 1 Aug 2008 14:17:31 +0000 (14:17 +0000)]
Fix ifBuildable

15 years agoUpdate assertErrorName; assertError has moved to Control.Exception
Ian Lynagh [Fri, 1 Aug 2008 01:10:28 +0000 (01:10 +0000)]
Update assertErrorName; assertError has moved to Control.Exception

15 years agoFix the catching of "IOEnv failure" with extensible extensions
Ian Lynagh [Thu, 31 Jul 2008 19:42:52 +0000 (19:42 +0000)]
Fix the catching of "IOEnv failure" with extensible extensions

15 years agoFollow changes in the base library
Ian Lynagh [Thu, 31 Jul 2008 17:33:54 +0000 (17:33 +0000)]
Follow changes in the base library
TopHandler now uses the new extensible exceptions module, so we
need to interact with it using the new types.

15 years agoAdd the Exception module to ghc.cabal
Ian Lynagh [Wed, 30 Jul 2008 21:34:19 +0000 (21:34 +0000)]
Add the Exception module to ghc.cabal

15 years agoFix building with extensible exceptions
Ian Lynagh [Wed, 30 Jul 2008 19:45:08 +0000 (19:45 +0000)]
Fix building with extensible exceptions

15 years agoMark the ghc package as not exposed
Ian Lynagh [Wed, 30 Jul 2008 17:21:24 +0000 (17:21 +0000)]
Mark the ghc package as not exposed

15 years agoFollow extensible exception changes
Ian Lynagh [Wed, 30 Jul 2008 12:01:34 +0000 (12:01 +0000)]
Follow extensible exception changes

15 years agoWhen raising NonTermination with the RTS, build the right value
Ian Lynagh [Sat, 21 Jun 2008 14:45:28 +0000 (14:45 +0000)]
When raising NonTermination with the RTS, build the right value
We now use a nonTermination value in the base library to take take of
constructing the SomeException value, with the dictionaries etc, for us.
We'll probably need to do the same for some other exceptions too

15 years agoFix the way we pass GMP_INCLUDE_DIRS to hsc2hs; spotted by Andres Loh
Ian Lynagh [Wed, 30 Jul 2008 11:47:13 +0000 (11:47 +0000)]
Fix the way we pass GMP_INCLUDE_DIRS to hsc2hs; spotted by Andres Loh
We were still building the flags in Haskell list syntax, but we now pass
the arguments directly rather than constructing a Haskell program with
them.

15 years agoworkaround #2277: turn off the RTS timer when calling into editline
Simon Marlow [Wed, 30 Jul 2008 13:59:18 +0000 (13:59 +0000)]
workaround #2277: turn off the RTS timer when calling into editline

15 years agoFIX #2388: check that the operand fits before using the 'test' opcode
Simon Marlow [Wed, 30 Jul 2008 10:52:31 +0000 (10:52 +0000)]
FIX #2388: check that the operand fits before using the 'test' opcode

15 years agooops, fix a small pessimisation made in previous refactoring
Simon Marlow [Wed, 30 Jul 2008 10:52:03 +0000 (10:52 +0000)]
oops, fix a small pessimisation made in previous refactoring

15 years agoFIX #2375: remove oc->lochash completely, it apparently isn't used
Simon Marlow [Wed, 30 Jul 2008 10:12:52 +0000 (10:12 +0000)]
FIX #2375: remove oc->lochash completely, it apparently isn't used

15 years agoFix a typo in powerpc/Linux-only code; spotted by Jeroen Pulles
Ian Lynagh [Tue, 29 Jul 2008 21:40:07 +0000 (21:40 +0000)]
Fix a typo in powerpc/Linux-only code; spotted by Jeroen Pulles

15 years agoAdd the runghc wrapper script
Ian Lynagh [Tue, 29 Jul 2008 21:18:52 +0000 (21:18 +0000)]
Add the runghc wrapper script

15 years agoMake cabal-bin not do any building, even of Setup.hs, when it is asked to clean
Ian Lynagh [Tue, 29 Jul 2008 20:24:10 +0000 (20:24 +0000)]
Make cabal-bin not do any building, even of Setup.hs, when it is asked to clean

15 years agoUpdate the test in Makefile that we have all the boot libs
Ian Lynagh [Tue, 29 Jul 2008 20:16:40 +0000 (20:16 +0000)]
Update the test in Makefile that we have all the boot libs

15 years agoUpdate boot's test that we have all of the bootlibs
Ian Lynagh [Tue, 29 Jul 2008 20:10:32 +0000 (20:10 +0000)]
Update boot's test that we have all of the bootlibs

15 years agoMake the push-all script complain about bad lines
Ian Lynagh [Tue, 29 Jul 2008 20:06:13 +0000 (20:06 +0000)]
Make the push-all script complain about bad lines

15 years agoAdd some comments to packages/darcs-all
Ian Lynagh [Tue, 29 Jul 2008 15:19:34 +0000 (15:19 +0000)]
Add some comments to packages/darcs-all

15 years agoRemove ndp from libraries/Makefile. We now use dph instead.
Ian Lynagh [Tue, 29 Jul 2008 14:19:17 +0000 (14:19 +0000)]
Remove ndp from libraries/Makefile. We now use dph instead.

15 years agoAdd dph to ./packages and darcs-all
Ian Lynagh [Tue, 29 Jul 2008 14:18:50 +0000 (14:18 +0000)]
Add dph to ./packages and darcs-all

15 years agoRemove cabal-install from ./packages; we've decided not to build it
Ian Lynagh [Tue, 29 Jul 2008 14:18:24 +0000 (14:18 +0000)]
Remove cabal-install from ./packages; we've decided not to build it

15 years agoFIX #2327: a fault in the thunk-selector machinery (again)
Simon Marlow [Tue, 29 Jul 2008 15:05:18 +0000 (15:05 +0000)]
FIX #2327: a fault in the thunk-selector machinery (again)
This program contains an expression of the form

   let x = snd (_, snd (_, snd (_, x)))

(probably not explicitly, but that's what appears in the heap at
runtime).  Obviously the program should deadlock if it ever enters
this thing, but apparently the test program in #2327 never does.

The GC tries to evaluate the snd closures, and gets confused due to
the loop.  In particular the earlier fix for #1038 was to blame.

15 years agoFIX #2332: avoid overflow on 64-bit machines in the memory allocator
Simon Marlow [Tue, 29 Jul 2008 15:04:59 +0000 (15:04 +0000)]
FIX #2332: avoid overflow on 64-bit machines in the memory allocator

15 years agoChange the calling conventions for unboxed tuples slightly
Simon Marlow [Mon, 28 Jul 2008 15:56:21 +0000 (15:56 +0000)]
Change the calling conventions for unboxed tuples slightly
When returning an unboxed tuple with a single non-void component, we
now use the same calling convention as for returning a value of the
same type as that component.  This means that the return convention
for IO now doesn't vary depending on the platform, which make some
parts of the RTS simpler, and fixes a problem I was having with making
the FFI work in unregisterised GHCi (the byte-code compiler makes
some assumptions about calling conventions to keep things simple).

15 years agodon't strip the inplace GHC executables (for debugging)
Simon Marlow [Mon, 28 Jul 2008 13:46:47 +0000 (13:46 +0000)]
don't strip the inplace GHC executables (for debugging)

15 years agoComplete the changes for #1205
Simon Marlow [Mon, 28 Jul 2008 10:51:41 +0000 (10:51 +0000)]
Complete the changes for #1205
Now ":load M" always searches for a module called "M", rather than
using a file called "M.hs" if that exists.  To get the file semantics
(i.e. not loading "M.o"), use ":load M.hs".

15 years agoupdate the comments about how we find $topdir
Simon Marlow [Fri, 25 Jul 2008 15:14:06 +0000 (15:14 +0000)]
update the comments about how we find $topdir

15 years agounderstand absolute pathnames on Windows too
Simon Marlow [Mon, 28 Jul 2008 10:22:43 +0000 (10:22 +0000)]
understand absolute pathnames on Windows too

15 years agochange where we put gcc-lib/ld.exe to keep Cabal happy
Simon Marlow [Mon, 28 Jul 2008 10:08:52 +0000 (10:08 +0000)]
change where we put gcc-lib/ld.exe to keep Cabal happy

15 years agomove an inline function to keep older versions of gcc happy
Simon Marlow [Fri, 25 Jul 2008 14:47:08 +0000 (14:47 +0000)]
move an inline function to keep older versions of gcc happy
no idea why this only just showed up...

15 years agotry to fix the way we find $topdir
Simon Marlow [Fri, 25 Jul 2008 14:28:28 +0000 (14:28 +0000)]
try to fix the way we find $topdir

15 years agofor the installed versions, don't use dynamic-linking wrappers
Simon Marlow [Fri, 25 Jul 2008 13:45:51 +0000 (13:45 +0000)]
for the installed versions, don't use dynamic-linking wrappers

15 years agodon't steal %ebx for the GC on x86: it's also used by PIC
Simon Marlow [Fri, 25 Jul 2008 12:29:21 +0000 (12:29 +0000)]
don't steal %ebx for the GC on x86: it's also used by PIC

15 years agoSRT labels don't need to be globally visible
Simon Marlow [Fri, 25 Jul 2008 08:09:01 +0000 (08:09 +0000)]
SRT labels don't need to be globally visible
Saves space in the symbol table and speeds up linking

15 years agoDon't prematurely link shared libraries against the RTS package
Simon Marlow [Thu, 24 Jul 2008 15:50:01 +0000 (15:50 +0000)]
Don't prematurely link shared libraries against the RTS package
We want to be able to pick the RTS flavour (e.g. -threaded) when we
link the final program.

15 years agoadd --enable-shared to configure, and $(BuildSharedLibs) to the build system
Simon Marlow [Thu, 24 Jul 2008 15:49:25 +0000 (15:49 +0000)]
add --enable-shared to configure, and $(BuildSharedLibs) to the build system

15 years agouse RTLD_LAZY instead of RTLD_NOW
Simon Marlow [Thu, 24 Jul 2008 15:27:27 +0000 (15:27 +0000)]
use RTLD_LAZY instead of RTLD_NOW
RTLD_NOW apparently causes some problems, according to previous
mailing-list discussion

 http://www.haskell.org/pipermail/cvs-ghc/2007-September/038570.html

15 years agodebug output tweak
Simon Marlow [Thu, 24 Jul 2008 15:26:36 +0000 (15:26 +0000)]
debug output tweak

15 years agosmall cleanup
Simon Marlow [Thu, 24 Jul 2008 15:16:14 +0000 (15:16 +0000)]
small cleanup

15 years agoFix building runghc on Windows
Ian Lynagh [Thu, 24 Jul 2008 18:28:31 +0000 (18:28 +0000)]
Fix building runghc on Windows

15 years agoFollow darcs-all changes in push-all
Ian Lynagh [Thu, 24 Jul 2008 16:41:53 +0000 (16:41 +0000)]
Follow darcs-all changes in push-all

15 years agoRejig how darcs-all works
Ian Lynagh [Thu, 24 Jul 2008 16:41:42 +0000 (16:41 +0000)]
Rejig how darcs-all works
It's now easier to add new repos anywhere in the source tree

15 years agoRemove the OpenGL family of libraries from extralibs
Ian Lynagh [Thu, 24 Jul 2008 10:27:36 +0000 (10:27 +0000)]
Remove the OpenGL family of libraries from extralibs

15 years agocompiler/package.conf.in is no longer used, so remove it
Ian Lynagh [Thu, 24 Jul 2008 10:16:10 +0000 (10:16 +0000)]
compiler/package.conf.in is no longer used, so remove it

15 years agoallow EXTRA_HC_OPTS to be used from the command-line
Simon Marlow [Thu, 24 Jul 2008 08:17:28 +0000 (08:17 +0000)]
allow EXTRA_HC_OPTS to be used from the command-line

15 years agoput the inplace GHC in stageN-inplace/ghc instead of stageN-inplace/bin/ghc
Simon Marlow [Thu, 24 Jul 2008 08:09:51 +0000 (08:09 +0000)]
put the inplace GHC in stageN-inplace/ghc instead of stageN-inplace/bin/ghc
just saves a bit of typing

15 years agoadd a "rebuild" target for convenience
Simon Marlow [Wed, 23 Jul 2008 14:32:01 +0000 (14:32 +0000)]
add a "rebuild" target for convenience

15 years agoset PAPI_LIB_DIR="" when we don't have PAPI (clean up package.conf)
Simon Marlow [Tue, 22 Jul 2008 14:13:27 +0000 (14:13 +0000)]
set PAPI_LIB_DIR="" when we don't have PAPI (clean up package.conf)

15 years agoremove -fvia-C that I apparrently accidentally added recently
Simon Marlow [Tue, 22 Jul 2008 14:12:55 +0000 (14:12 +0000)]
remove -fvia-C that I apparrently accidentally added recently

15 years agoFix a build error on powerpc/Linux; spotted by Jeroen Pulles
Ian Lynagh [Wed, 23 Jul 2008 19:19:48 +0000 (19:19 +0000)]
Fix a build error on powerpc/Linux; spotted by Jeroen Pulles

15 years agoIf the extension is not .lhs, runghc now treats it as .hs; fixes trac #1232
Ian Lynagh [Wed, 23 Jul 2008 18:21:56 +0000 (18:21 +0000)]
If the extension is not .lhs, runghc now treats it as .hs; fixes trac #1232

15 years agorunghc now uses the compiler that it comes with; fixes trac #1281
Ian Lynagh [Wed, 23 Jul 2008 18:11:15 +0000 (18:11 +0000)]
runghc now uses the compiler that it comes with; fixes trac #1281
rather than the first one that it finds on the PATH

15 years agoUse the upstream hsc2hs repo
Ian Lynagh [Wed, 23 Jul 2008 15:50:21 +0000 (15:50 +0000)]
Use the upstream hsc2hs repo

15 years agoRemove some redundancy in darcs-all
Ian Lynagh [Wed, 23 Jul 2008 14:38:04 +0000 (14:38 +0000)]
Remove some redundancy in darcs-all