ghc-hetmet.git
16 years agoDocument InteractiveEval and follow OccName change
Max Bolingbroke [Thu, 31 Jul 2008 01:23:45 +0000 (01:23 +0000)]
Document InteractiveEval and follow OccName change

16 years agoFollow Digraph changes in GHC; patch from Max Bolingbroke
Ian Lynagh [Thu, 7 Aug 2008 11:25:10 +0000 (11:25 +0000)]
Follow Digraph changes in GHC; patch from Max Bolingbroke

16 years agoExpand ErrUtils api with another plain variant
Max Bolingbroke [Thu, 31 Jul 2008 01:23:44 +0000 (01:23 +0000)]
Expand ErrUtils api with another plain variant

16 years agoFollow OccName changes and minor refactorings in TcIface
Max Bolingbroke [Thu, 31 Jul 2008 01:23:43 +0000 (01:23 +0000)]
Follow OccName changes and minor refactorings in TcIface

16 years agoFollow Digraph changes in MkIface
Max Bolingbroke [Thu, 31 Jul 2008 01:23:43 +0000 (01:23 +0000)]
Follow Digraph changes in MkIface

16 years agoMinor refactoring in RtClosureInspect
Max Bolingbroke [Thu, 31 Jul 2008 01:23:42 +0000 (01:23 +0000)]
Minor refactoring in RtClosureInspect

16 years agoHandle optSrcSpanFileName in InteractiveUI
Max Bolingbroke [Thu, 31 Jul 2008 01:23:42 +0000 (01:23 +0000)]
Handle optSrcSpanFileName in InteractiveUI

16 years agoHandle introduction of MkCore in MatchLit
Max Bolingbroke [Thu, 31 Jul 2008 01:23:42 +0000 (01:23 +0000)]
Handle introduction of MkCore in MatchLit

16 years agoHandle introduction of MkCore in MatchCon
Max Bolingbroke [Thu, 31 Jul 2008 01:23:42 +0000 (01:23 +0000)]
Handle introduction of MkCore in MatchCon

16 years agoHandle introduction of MkCore in Match
Max Bolingbroke [Thu, 31 Jul 2008 01:23:41 +0000 (01:23 +0000)]
Handle introduction of MkCore in Match

16 years agoHandle introduction of MkCore in DsUtils
Max Bolingbroke [Thu, 31 Jul 2008 01:23:41 +0000 (01:23 +0000)]
Handle introduction of MkCore in DsUtils

16 years agoHandle introduction of MkCore in DsMeta
Max Bolingbroke [Thu, 31 Jul 2008 01:23:40 +0000 (01:23 +0000)]
Handle introduction of MkCore in DsMeta

16 years agoHandle introduction of MkCore in DsListComp
Max Bolingbroke [Thu, 31 Jul 2008 01:23:40 +0000 (01:23 +0000)]
Handle introduction of MkCore in DsListComp

16 years agoHandle introduction of MkCore in DsForeign
Max Bolingbroke [Thu, 31 Jul 2008 01:23:40 +0000 (01:23 +0000)]
Handle introduction of MkCore in DsForeign

16 years agoHandle introduction of MkCore in DsExpr
Max Bolingbroke [Thu, 31 Jul 2008 01:23:40 +0000 (01:23 +0000)]
Handle introduction of MkCore in DsExpr

16 years agoHandle introduction of MkCore in DsBinds
Max Bolingbroke [Thu, 31 Jul 2008 01:23:39 +0000 (01:23 +0000)]
Handle introduction of MkCore in DsBinds

16 years agoHandle introduction of MkCore in DsArrows
Max Bolingbroke [Thu, 31 Jul 2008 01:23:39 +0000 (01:23 +0000)]
Handle introduction of MkCore in DsArrows

16 years agoHandle optSrcSpanFileName rename in Coverage
Max Bolingbroke [Thu, 31 Jul 2008 01:23:39 +0000 (01:23 +0000)]
Handle optSrcSpanFileName rename in Coverage

16 years agoDocument CgUtils, follow Digraph changes
Max Bolingbroke [Thu, 31 Jul 2008 01:23:37 +0000 (01:23 +0000)]
Document CgUtils, follow Digraph changes

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

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

16 years agoDocument RdrName and expand its API
Max Bolingbroke [Thu, 31 Jul 2008 01:23:34 +0000 (01:23 +0000)]
Document RdrName and expand its API

16 years agoMake Module Uniquable
Max Bolingbroke [Thu, 31 Jul 2008 01:23:32 +0000 (01:23 +0000)]
Make Module Uniquable

16 years agoTweak comments in MkId and follow mkStringLit renaming
Max Bolingbroke [Thu, 31 Jul 2008 01:23:32 +0000 (01:23 +0000)]
Tweak comments in MkId and follow mkStringLit renaming

16 years agoDocument Literal, expand it's API and rename mkStringLit to mkMachString
Max Bolingbroke [Thu, 31 Jul 2008 01:23:31 +0000 (01:23 +0000)]
Document Literal, expand it's API and rename mkStringLit to mkMachString

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

16 years agoSplit the Id related functions out from Var into Id, document Var and some of Id
Max Bolingbroke [Thu, 31 Jul 2008 01:23:30 +0000 (01:23 +0000)]
Split the Id related functions out from Var into Id, document Var and some of Id

16 years agoEq and Ord have moved into GHC.Classes
Ian Lynagh [Wed, 6 Aug 2008 16:18:15 +0000 (16:18 +0000)]
Eq and Ord have moved into GHC.Classes

16 years agoMove Int, Float and Double into ghc-prim:GHC.Types
Ian Lynagh [Wed, 6 Aug 2008 22:43:59 +0000 (22:43 +0000)]
Move Int, Float and Double into ghc-prim:GHC.Types

16 years agoMove Int, Float and Double into ghc-prim:GHC.Types
Ian Lynagh [Wed, 6 Aug 2008 19:14:58 +0000 (19:14 +0000)]
Move Int, Float and Double into ghc-prim:GHC.Types

16 years agoPrepare GHC for building with Git
Max Bolingbroke [Wed, 6 Aug 2008 21:02:07 +0000 (21:02 +0000)]
Prepare GHC for building with Git
* New packages format lets you select source control system in use
* Packages file now includes root repo explicitly
* Scripts darcs-all and push-all updated for the new packages format only
* New sync-all script, intended for use after Git changeover and for buildbots right now
* Had to remove libraries/bootstrapping from tree since Git cannot track empty directories without a hack
* Determine checkout date with Git using Darcs fallback in aclocal.m4

16 years agoAdd -fno-implicit-import-qualified (#2452)
Simon Marlow [Tue, 5 Aug 2008 15:17:30 +0000 (15:17 +0000)]
Add -fno-implicit-import-qualified (#2452)
The flag is off by default, but GHCi turns it on (in Main.hs).  For
GHCi it can be overriden on the command-line or using :set.

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

16 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!

16 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

16 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

16 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

16 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

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

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

16 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

16 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!

16 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)

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

16 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

16 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

16 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)

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

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

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

16 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

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

16 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

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

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

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

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

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

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

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

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

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

16 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

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

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

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

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

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

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

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

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

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

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

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

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

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

16 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

16 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

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

16 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

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

16 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

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

16 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

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

16 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

16 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

16 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

16 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

16 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

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

16 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

16 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

16 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

16 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

16 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

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

16 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

16 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

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