ghc-hetmet.git
15 years agoAdd MkCore, holding general Core construction facilities
Max Bolingbroke [Thu, 31 Jul 2008 05:41:28 +0000 (05:41 +0000)]
Add MkCore, holding general Core construction facilities

15 years agoDocument HscTypes, refactor it somewhat, remove unused type and add MonadThings
Max Bolingbroke [Thu, 31 Jul 2008 05:40:42 +0000 (05:40 +0000)]
Document HscTypes, refactor it somewhat, remove unused type and add MonadThings

15 years agoUse new RdrName export in RdrHsSyn
Max Bolingbroke [Thu, 31 Jul 2008 05:37:31 +0000 (05:37 +0000)]
Use new RdrName export in RdrHsSyn

15 years agoDocument CoreUtils
Max Bolingbroke [Thu, 31 Jul 2008 05:35:42 +0000 (05:35 +0000)]
Document CoreUtils

15 years agoDocument Packages and a minor refactoring
Max Bolingbroke [Thu, 31 Jul 2008 05:30:54 +0000 (05:30 +0000)]
Document Packages and a minor refactoring

15 years agoDocument CoreSyn and expand its API
Max Bolingbroke [Thu, 31 Jul 2008 05:29:41 +0000 (05:29 +0000)]
Document CoreSyn and expand its API

15 years agoDocument IdInfo
Max Bolingbroke [Thu, 31 Jul 2008 05:28:19 +0000 (05:28 +0000)]
Document IdInfo

15 years agoDocument DynFlags and expand API
Max Bolingbroke [Thu, 31 Jul 2008 05:26:53 +0000 (05:26 +0000)]
Document DynFlags and expand API

15 years agoDocument OccName and expand it's API
Max Bolingbroke [Thu, 31 Jul 2008 05:22:38 +0000 (05:22 +0000)]
Document OccName and expand it's API

15 years agoFollow Digraph changes in VectType
Max Bolingbroke [Thu, 31 Jul 2008 01:23:56 +0000 (01:23 +0000)]
Follow Digraph changes in VectType

15 years agoFollow OccName changes in VectBuiltIn
Max Bolingbroke [Thu, 31 Jul 2008 01:23:55 +0000 (01:23 +0000)]
Follow OccName changes in VectBuiltIn

15 years agoDocument Util
Max Bolingbroke [Thu, 7 Aug 2008 11:55:05 +0000 (11:55 +0000)]
Document Util

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

15 years agoDocument UniqFM and add listToUFM_C
Max Bolingbroke [Thu, 31 Jul 2008 01:23:55 +0000 (01:23 +0000)]
Document UniqFM and add listToUFM_C

15 years agoFollow FastString changes in Pretty
Max Bolingbroke [Thu, 31 Jul 2008 01:23:54 +0000 (01:23 +0000)]
Follow FastString changes in Pretty

15 years agoDocument Outputable
Max Bolingbroke [Thu, 7 Aug 2008 11:48:06 +0000 (11:48 +0000)]
Document Outputable

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

15 years agoDocument FastString and rename strLength to lengthLS
Max Bolingbroke [Thu, 31 Jul 2008 01:23:53 +0000 (01:23 +0000)]
Document FastString and rename strLength to lengthLS

15 years agoAdd more functionality to Digraph and refactor it's interface somewhat, including...
Max Bolingbroke [Thu, 31 Jul 2008 01:23:53 +0000 (01:23 +0000)]
Add more functionality to Digraph and refactor it's interface somewhat, including adding a Graph ADT

15 years agoDocument TypeRep and follow OccName change
Max Bolingbroke [Thu, 31 Jul 2008 01:23:52 +0000 (01:23 +0000)]
Document TypeRep and follow OccName change

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

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

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

15 years agoFollow Digraph changes in TcTyDecls
Max Bolingbroke [Thu, 31 Jul 2008 01:23:51 +0000 (01:23 +0000)]
Follow Digraph changes in TcTyDecls

15 years agoMake IOEnv a MonadUnique
Max Bolingbroke [Thu, 31 Jul 2008 01:23:51 +0000 (01:23 +0000)]
Make IOEnv a MonadUnique

15 years agoFollow TcEnv API addition in TcForeign
Max Bolingbroke [Thu, 31 Jul 2008 01:23:50 +0000 (01:23 +0000)]
Follow TcEnv API addition in TcForeign

15 years agoFollow Digraph changes in TcBinds
Max Bolingbroke [Thu, 31 Jul 2008 01:23:50 +0000 (01:23 +0000)]
Follow Digraph changes in TcBinds

15 years agoFollow OccName and MkCore changes in Inst
Max Bolingbroke [Thu, 31 Jul 2008 01:23:49 +0000 (01:23 +0000)]
Follow OccName and MkCore changes in Inst

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

15 years agoFollow Literal change in Simplify
Max Bolingbroke [Thu, 31 Jul 2008 01:23:49 +0000 (01:23 +0000)]
Follow Literal change in Simplify

15 years agoFollow Digraph changes in OccurAnal
Max Bolingbroke [Thu, 31 Jul 2008 01:23:48 +0000 (01:23 +0000)]
Follow Digraph changes in OccurAnal

15 years agoFollow Digraph changes in RnBinds and small refactoring
Max Bolingbroke [Thu, 31 Jul 2008 01:23:48 +0000 (01:23 +0000)]
Follow Digraph changes in RnBinds and small refactoring

15 years agoDocument TysWiredIn and follow OccName changes
Max Bolingbroke [Thu, 31 Jul 2008 01:23:47 +0000 (01:23 +0000)]
Document TysWiredIn and follow OccName changes

15 years agoFollow OccName changes in TysPrim
Max Bolingbroke [Thu, 31 Jul 2008 01:23:47 +0000 (01:23 +0000)]
Follow OccName changes in TysPrim

15 years agoFollow OccName changes in ParserCore
Max Bolingbroke [Thu, 31 Jul 2008 01:23:47 +0000 (01:23 +0000)]
Follow OccName changes in ParserCore

15 years agoFollow Digraph changes in RegLiveness
Max Bolingbroke [Thu, 31 Jul 2008 01:23:46 +0000 (01:23 +0000)]
Follow Digraph changes in RegLiveness

15 years agoFollow Digraph changes in RegAllocLinear.hs
Max Bolingbroke [Thu, 31 Jul 2008 01:23:46 +0000 (01:23 +0000)]
Follow Digraph changes in RegAllocLinear.hs

15 years agoFollow Digraph changes in AsmCodeGen
Max Bolingbroke [Thu, 31 Jul 2008 01:23:46 +0000 (01:23 +0000)]
Follow Digraph changes in AsmCodeGen

15 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

15 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

15 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

15 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

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

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

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

15 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

15 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

15 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

15 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

15 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

15 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

15 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

15 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

15 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

15 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

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

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

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

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

15 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

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

15 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

15 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

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

15 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

15 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

15 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

15 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

15 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

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

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