ghc.git
11 years agoStop dph/dph-{par,seq} reconfiguring themselves all the time
Ian Lynagh [Thu, 14 Aug 2008 17:30:13 +0000 (17:30 +0000)] 
Stop dph/dph-{par,seq} reconfiguring themselves all the time

11 years agoFollow changes in Cabal
Ian Lynagh [Wed, 13 Aug 2008 21:58:44 +0000 (21:58 +0000)] 
Follow changes in Cabal

11 years agoWhen distcleaning in utils/, distclean (rather then merely clean) the utils
Ian Lynagh [Fri, 15 Aug 2008 11:49:39 +0000 (11:49 +0000)] 
When distcleaning in utils/, distclean (rather then merely clean) the utils

11 years agoOnly clean utils/pwd/pwd when distcleaning, not when cleaning
Ian Lynagh [Tue, 12 Aug 2008 23:25:44 +0000 (23:25 +0000)] 
Only clean utils/pwd/pwd when distcleaning, not when cleaning
Otherwise "make clean" in utils leaves us without a pwd, and lots of bad
things happen.

11 years agoIn cabal.mk, clean is no longer identical to distclean
Ian Lynagh [Tue, 12 Aug 2008 23:24:46 +0000 (23:24 +0000)] 
In cabal.mk, clean is no longer identical to distclean
distclean will now also remove files listed in EXTRA_DISTCLEAN

11 years agoImprove -fwarn-orphans documentation (thanks to Tim)
simonpj@microsoft.com [Thu, 14 Aug 2008 15:26:48 +0000 (15:26 +0000)] 
Improve -fwarn-orphans documentation (thanks to Tim)

11 years agoFix #2441 (unregister/expose/hide packages in non-first package databases)
Simon Marlow [Thu, 14 Aug 2008 12:53:48 +0000 (12:53 +0000)] 
Fix #2441 (unregister/expose/hide packages in non-first package databases)

11 years agoadd --no-user-package-conf
Simon Marlow [Thu, 14 Aug 2008 12:53:12 +0000 (12:53 +0000)] 
add --no-user-package-conf

11 years agomove INPLACE_DATA_DIR into mk/config.mk and share it
Simon Marlow [Wed, 13 Aug 2008 14:47:07 +0000 (14:47 +0000)] 
move INPLACE_DATA_DIR into mk/config.mk and share it

11 years agoFIX #1963: use Cabal's writeFileAtomic to write the new package.conf
Simon Marlow [Wed, 13 Aug 2008 14:37:38 +0000 (14:37 +0000)] 
FIX #1963: use Cabal's writeFileAtomic to write the new package.conf
This depends on #2298 also being fixed, which I'll do shortly

11 years agoFIX #2492: ghc-pkg insists on having HOME environment variable set
Simon Marlow [Wed, 13 Aug 2008 14:34:36 +0000 (14:34 +0000)] 
FIX #2492: ghc-pkg insists on having HOME environment variable set

11 years agoFIX #2491 (ghc-pkg unregister should complain about breaking dependent packages)
Simon Marlow [Wed, 13 Aug 2008 14:25:55 +0000 (14:25 +0000)] 
FIX #2491 (ghc-pkg unregister should complain about breaking dependent packages)

11 years agoput back -fwarn-depcrecations
Simon Marlow [Tue, 12 Aug 2008 14:16:06 +0000 (14:16 +0000)] 
put back -fwarn-depcrecations
It was replaced by -fwarn-warnings-deprecations, but I think we want
to keep it for backwards compatibility.  I'm not sure we want to
deprecate it either...

11 years agoadd special globbing file for Windows to ghc-pkg.cabal
dias@eecs.harvard.edu [Wed, 13 Aug 2008 10:53:06 +0000 (10:53 +0000)] 
add special globbing file for Windows to ghc-pkg.cabal

11 years agoImprove error message for deprecated flags (Trac #2513)
simonpj@microsoft.com [Wed, 13 Aug 2008 09:45:06 +0000 (09:45 +0000)] 
Improve error message for deprecated flags (Trac #2513)

11 years agoImprove docs for orphan decls (thanks Yitzchak Gale)
simonpj@microsoft.com [Wed, 13 Aug 2008 08:28:28 +0000 (08:28 +0000)] 
Improve docs for orphan decls (thanks Yitzchak Gale)

11 years agofix cut-and-pasto
Simon Marlow [Mon, 11 Aug 2008 14:41:58 +0000 (14:41 +0000)] 
fix cut-and-pasto

11 years agobuild base3-compat
Simon Marlow [Mon, 11 Aug 2008 14:38:31 +0000 (14:38 +0000)] 
build base3-compat

11 years agoDon't warn if 'import Prelude' doesn't import anything
Simon Marlow [Tue, 5 Aug 2008 13:37:02 +0000 (13:37 +0000)] 
Don't warn if 'import Prelude' doesn't import anything
... even if Prelude doesn't come from the base package (it might come from
a old backwards-compatible version of base, for example).

11 years agoAdd -XPackageImports, new syntax for package-qualified imports
Simon Marlow [Tue, 5 Aug 2008 13:35:44 +0000 (13:35 +0000)] 
Add -XPackageImports, new syntax for package-qualified imports

Now you can say

  import "network" Network.Socket

and get Network.Socket from package "network", even if there are
multiple Network.Socket modules in scope from different packages
and/or the current package.

This is not really intended for general use, it's mainly so that we
can build backwards-compatible versions of packages, where we need to
be able to do

module GHC.Base (module New.GHC.Base) where
import "base" GHC.Base as New.GHC.Base

11 years agoSuppress uniques when (and only when) we have -dsuppress-uniques
simonpj@microsoft.com [Tue, 12 Aug 2008 14:40:28 +0000 (14:40 +0000)] 
Suppress uniques when (and only when) we have -dsuppress-uniques

11 years agoget exception names from Control.Exception.Base instead of Control.Exception
Ross Paterson [Tue, 12 Aug 2008 12:20:48 +0000 (12:20 +0000)] 
get exception names from Control.Exception.Base instead of Control.Exception

11 years agoFix Trac #2490: sections should be parenthesised
simonpj@microsoft.com [Tue, 12 Aug 2008 08:23:32 +0000 (08:23 +0000)] 
Fix Trac #2490: sections should be parenthesised

When I added bang patterns I had to slightly generalise where the
parser would recognise sections.  See Note [Parsing sections] in
parser.y.pp.

I forgot to check that ordinary H98 sections obey the original
rules.  This patch adds the check.

11 years agoRefactoring: define TcRnMonad.failWith and use it in the renamer
simonpj@microsoft.com [Tue, 12 Aug 2008 08:22:55 +0000 (08:22 +0000)] 
Refactoring: define TcRnMonad.failWith and use it in the renamer

11 years agoLayout only
simonpj@microsoft.com [Tue, 12 Aug 2008 08:18:22 +0000 (08:18 +0000)] 
Layout only

11 years agoUse dph-{seq|par} instead of dph_{seq|par}
Roman Leshchinskiy [Tue, 12 Aug 2008 02:19:39 +0000 (02:19 +0000)] 
Use dph-{seq|par} instead of dph_{seq|par}

11 years agoSimplify how we build dph
Ian Lynagh [Sat, 9 Aug 2008 20:38:03 +0000 (20:38 +0000)] 
Simplify how we build dph

11 years agoGeneralise libraries/Makefile.local
Ian Lynagh [Sat, 9 Aug 2008 16:18:38 +0000 (16:18 +0000)] 
Generalise libraries/Makefile.local
It's now possible to build libraries in, e.g.,
    libraries/foo/bar
rather than just
    libraries/foo

11 years agoThe dph packages still contain warnings
Ian Lynagh [Sat, 9 Aug 2008 16:18:15 +0000 (16:18 +0000)] 
The dph packages still contain warnings

11 years agoPrint tidy rules in user style, to avoid gratuitous uniques
simonpj@microsoft.com [Mon, 11 Aug 2008 14:42:57 +0000 (14:42 +0000)] 
Print tidy rules in user style, to avoid gratuitous uniques

The uniques that come out in dumpStyle make it harder to compare
output in the testsuite.  And the rules are tidied, so uniques
are not necessary.  If you want the uniques, use -dppr-debug.

11 years agoExport Depth (needed for mkUserStyle); collapse identical PrintUnqualified, QueryQual...
simonpj@microsoft.com [Mon, 11 Aug 2008 14:42:08 +0000 (14:42 +0000)] 
Export Depth (needed for mkUserStyle); collapse identical PrintUnqualified, QueryQualifies

11 years agoWhen suppressing uniques, don't print the separating underscore
simonpj@microsoft.com [Mon, 11 Aug 2008 14:41:18 +0000 (14:41 +0000)] 
When suppressing uniques, don't print the separating underscore

11 years agoMake -dsuppress-uniques apply regardless of -ppr-debug
simonpj@microsoft.com [Mon, 11 Aug 2008 14:40:32 +0000 (14:40 +0000)] 
Make -dsuppress-uniques apply regardless of -ppr-debug

11 years agoFix Trac #2367: selectors for GADTs
simonpj@microsoft.com [Mon, 11 Aug 2008 12:35:26 +0000 (12:35 +0000)] 
Fix Trac #2367: selectors for GADTs

The generation of record selectors for GADTs and the like was
pretty screwed up.  This patch fixes it.

Note that Unify.refineType is now used only in the generation of
record seletctors -- but it really does seem to be needed there.

Thanks to Max for finding this bug.

11 years agoMostly fix Trac #2431: make empty case acceptable to (most of) GHC
simonpj@microsoft.com [Mon, 11 Aug 2008 12:31:58 +0000 (12:31 +0000)] 
Mostly fix Trac #2431: make empty case acceptable to (most of) GHC

See the comments with Trac #2431.  This patch makes an empty HsCase
acceptable to the renamer onwards.  If you want to accept empty case
in Haskell source there's a little more to do: the ticket lists the
remaining tasks.

11 years agoFix Trac #2412: type synonyms and hs-boot recursion
simonpj@microsoft.com [Mon, 11 Aug 2008 12:25:23 +0000 (12:25 +0000)] 
Fix Trac #2412: type synonyms and hs-boot recursion

Max Bolingbroke found this awkward bug, which relates to the way in
which hs-boot files are handled.

   --> HEADS UP: interface file format change: recompile everything!

When we import a type synonym, we want to *refrain* from looking at its
RHS until we've "tied the knot" in the module being compiled.  (Reason:
the type synonym might ultimately loop back to the module being compiled.)
To achieve this goal we need to know the *kind* of the synonym without
looking at its RHS.  And to do that we need its kind recorded in the interface
file.

I slightly refactored the way that the IfaceSyn data constructor
fields work, eliminating the previous tricky re-use of the same field
as either a type or a kind.

See Note [Synonym kind loop] in TcIface

11 years agoFix Trac #2506: infix assert
simonpj@microsoft.com [Mon, 11 Aug 2008 10:50:11 +0000 (10:50 +0000)] 
Fix Trac #2506: infix assert

11 years agoUse do-notation
simonpj@microsoft.com [Mon, 11 Aug 2008 10:49:49 +0000 (10:49 +0000)] 
Use do-notation

11 years agoFix Trac #2494: tcSimplifyRuleLhs
simonpj@microsoft.com [Mon, 11 Aug 2008 10:44:38 +0000 (10:44 +0000)] 
Fix Trac #2494: tcSimplifyRuleLhs

tcSimplifyRuleLhs is a cut-down constraint simplifier, intended for
use in RULE left-hand-sides.  But it was written before implication
constraints, and the exmaple of this bug report shows that when higher
rank types are involved we need to be a bit cleverer.

The whole business of simplifying constraints on rule LHSs is a bit
of a hack; but for a good reason.  See the comments with tcSimplifyRuleLhs.
This patch at least cures the crash.

11 years agoMake comparison on equalities work right (ie look at the types)
simonpj@microsoft.com [Mon, 11 Aug 2008 10:40:11 +0000 (10:40 +0000)] 
Make comparison on equalities work right (ie look at the types)

This patch makes
(s1~t1) == (s2~t2) iff s1==s2, t1==t2

The comparison and equality instances for Insts are really only
used in making the AvailEnv in TcSimplify, which equalities are
never put into, which is why we've gotten away with this for so long.

But I'm now using 'nub' in the error messages for equalities,
and in any case it makes sense to have the right equality!

11 years agoMinor refactoring; no functionality change
simonpj@microsoft.com [Mon, 11 Aug 2008 10:38:21 +0000 (10:38 +0000)] 
Minor refactoring; no functionality change

11 years agoFix Trac #2486: restore the specialiser to a working state
simonpj@microsoft.com [Sat, 9 Aug 2008 16:31:23 +0000 (16:31 +0000)] 
Fix Trac #2486: restore the specialiser to a working state

In improving the specialiser's data reprsentaion, thus
  Mon Apr 28 16:57:11 GMT Daylight Time 2008  simonpj@microsoft.com
  * Fix Trac #1969: perfomance bug in the specialiser
I got the sense of a pair of filter functions back to front.
As a result, almost all specialisation opportunities were being
filtered out, and no specialisations were being generated.

Fortunately, dolio notice and reported Trac #2486.  The fix is
simple: put the filters the right way roud.

11 years agoRemove a pointless use of $(HERE_ABS)/
Ian Lynagh [Sun, 10 Aug 2008 17:32:37 +0000 (17:32 +0000)] 
Remove a pointless use of $(HERE_ABS)/

11 years agoDon't give the -d flag to rm; it goes wrong on Windows
Ian Lynagh [Sun, 10 Aug 2008 17:30:53 +0000 (17:30 +0000)] 
Don't give the -d flag to rm; it goes wrong on Windows

11 years agoAdd mk/bindist.mk
Ian Lynagh [Sun, 10 Aug 2008 15:07:37 +0000 (15:07 +0000)] 
Add mk/bindist.mk

11 years agoRemove references to the files that the RTS no longer knows about
Ian Lynagh [Sun, 10 Aug 2008 14:47:40 +0000 (14:47 +0000)] 
Remove references to the files that the RTS no longer knows about
Spotted by Simon

11 years agoWe don't need to generate driver/package.conf any more; spotted by Simon
Ian Lynagh [Sun, 10 Aug 2008 14:42:59 +0000 (14:42 +0000)] 
We don't need to generate driver/package.conf any more; spotted by Simon

11 years agoRemove inplace-datadir when cleaning
Ian Lynagh [Sun, 10 Aug 2008 14:41:18 +0000 (14:41 +0000)] 
Remove inplace-datadir when cleaning

11 years agoRemove driver/ghc; The Cabal package in ghc/ now makes a wrapper itself
Ian Lynagh [Sun, 10 Aug 2008 14:36:55 +0000 (14:36 +0000)] 
Remove driver/ghc; The Cabal package in ghc/ now makes a wrapper itself

11 years agoMake "make clean" in ghc/ only clean the stage we want to clean
Ian Lynagh [Sun, 10 Aug 2008 14:24:09 +0000 (14:24 +0000)] 
Make "make clean" in ghc/ only clean the stage we want to clean

11 years agoMake "make clean" in compiler/ only clean the stage we want to clean
Ian Lynagh [Sun, 10 Aug 2008 14:20:26 +0000 (14:20 +0000)] 
Make "make clean" in compiler/ only clean the stage we want to clean
If you "make clean" in the root then we still clean all stages

11 years agoAlso clean pwd.hi and pwd.o
Ian Lynagh [Sun, 10 Aug 2008 14:07:31 +0000 (14:07 +0000)] 
Also clean pwd.hi and pwd.o

11 years agobindist fixes
Ian Lynagh [Sun, 10 Aug 2008 13:39:25 +0000 (13:39 +0000)] 
bindist fixes

11 years agobindists are now some way towards working
Ian Lynagh [Sun, 10 Aug 2008 00:50:16 +0000 (00:50 +0000)] 
bindists are now some way towards working

11 years agoUse Cabal to build pwd
Ian Lynagh [Sun, 10 Aug 2008 00:28:07 +0000 (00:28 +0000)] 
Use Cabal to build pwd

11 years agoMove allM to MonadUtils
Max Bolingbroke [Thu, 7 Aug 2008 22:48:53 +0000 (22:48 +0000)] 
Move allM to MonadUtils

11 years agoRemove redundant fromIntegral calls
Max Bolingbroke [Thu, 7 Aug 2008 22:43:33 +0000 (22:43 +0000)] 
Remove redundant fromIntegral calls

11 years agoRemove CoreSyn SOURCE imports
Max Bolingbroke [Thu, 7 Aug 2008 22:37:18 +0000 (22:37 +0000)] 
Remove CoreSyn SOURCE imports

11 years agoFixed performance bug in ext-core preprocessor
Tim Chevalier [Sat, 9 Aug 2008 00:20:51 +0000 (00:20 +0000)] 
Fixed performance bug in ext-core preprocessor

The Core preprocessor was rebuilding the type and data constructor environments every time it called the typechecker, which was horribly inefficient. Fixed.

11 years agoFix darcs-all get
Ian Lynagh [Thu, 7 Aug 2008 20:32:58 +0000 (20:32 +0000)] 
Fix darcs-all get

11 years agoFix errors with haddock 0.8
Ian Lynagh [Thu, 7 Aug 2008 13:15:06 +0000 (13:15 +0000)] 
Fix errors with haddock 0.8

11 years agoDocument Name and expand it's API
Max Bolingbroke [Thu, 7 Aug 2008 12:29:01 +0000 (12:29 +0000)] 
Document Name and expand it's API

11 years agoFollow OccName changes in Convert
Max Bolingbroke [Thu, 31 Jul 2008 12:07:41 +0000 (12:07 +0000)] 
Follow OccName changes in Convert

11 years agoUse DynFlags.getMainFun in TcRnDriver
Max Bolingbroke [Thu, 31 Jul 2008 05:52:10 +0000 (05:52 +0000)] 
Use DynFlags.getMainFun in TcRnDriver

11 years agoFix Vectorise after introduction of MonadThings
Max Bolingbroke [Thu, 31 Jul 2008 05:48:13 +0000 (05:48 +0000)] 
Fix Vectorise after introduction of MonadThings

11 years agoFollow introduction of MkCore in VectUtils
Max Bolingbroke [Thu, 31 Jul 2008 05:47:22 +0000 (05:47 +0000)] 
Follow introduction of MkCore in VectUtils

11 years agoFix VectMonad after introduction of MonadThings
Max Bolingbroke [Thu, 31 Jul 2008 05:46:23 +0000 (05:46 +0000)] 
Fix VectMonad after introduction of MonadThings

11 years agoMinor refactorings in TcEnv
Max Bolingbroke [Thu, 31 Jul 2008 05:44:37 +0000 (05:44 +0000)] 
Minor refactorings in TcEnv

11 years agoHandle introduction of MkCore in DsMonad and expand API
Max Bolingbroke [Thu, 31 Jul 2008 05:42:39 +0000 (05:42 +0000)] 
Handle introduction of MkCore in DsMonad and expand API

11 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

11 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

11 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

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

11 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

11 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

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

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

11 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

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

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

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

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

11 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

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

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

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

11 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

11 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

11 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

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

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

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

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

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

11 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

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

11 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

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

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

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