simonpj@microsoft.com [Thu, 14 Aug 2008 15:26:48 +0000 (15:26 +0000)]
Improve -fwarn-orphans documentation (thanks to Tim)
Simon Marlow [Thu, 14 Aug 2008 12:53:48 +0000 (12:53 +0000)]
Fix #2441 (unregister/expose/hide packages in non-first package databases)
Simon Marlow [Thu, 14 Aug 2008 12:53:12 +0000 (12:53 +0000)]
add --no-user-package-conf
Simon Marlow [Wed, 13 Aug 2008 14:47:07 +0000 (14:47 +0000)]
move INPLACE_DATA_DIR into mk/config.mk and share it
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
Simon Marlow [Wed, 13 Aug 2008 14:34:36 +0000 (14:34 +0000)]
FIX #2492: ghc-pkg insists on having HOME environment variable set
Simon Marlow [Wed, 13 Aug 2008 14:25:55 +0000 (14:25 +0000)]
FIX #2491 (ghc-pkg unregister should complain about breaking dependent packages)
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...
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
simonpj@microsoft.com [Wed, 13 Aug 2008 09:45:06 +0000 (09:45 +0000)]
Improve error message for deprecated flags (Trac #2513)
simonpj@microsoft.com [Wed, 13 Aug 2008 08:28:28 +0000 (08:28 +0000)]
Improve docs for orphan decls (thanks Yitzchak Gale)
Simon Marlow [Mon, 11 Aug 2008 14:41:58 +0000 (14:41 +0000)]
fix cut-and-pasto
Simon Marlow [Mon, 11 Aug 2008 14:38:31 +0000 (14:38 +0000)]
build base3-compat
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).
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
simonpj@microsoft.com [Tue, 12 Aug 2008 14:40:28 +0000 (14:40 +0000)]
Suppress uniques when (and only when) we have -dsuppress-uniques
Ross Paterson [Tue, 12 Aug 2008 12:20:48 +0000 (12:20 +0000)]
get exception names from Control.Exception.Base instead of Control.Exception
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.
simonpj@microsoft.com [Tue, 12 Aug 2008 08:22:55 +0000 (08:22 +0000)]
Refactoring: define TcRnMonad.failWith and use it in the renamer
simonpj@microsoft.com [Tue, 12 Aug 2008 08:18:22 +0000 (08:18 +0000)]
Layout only
Roman Leshchinskiy [Tue, 12 Aug 2008 02:19:39 +0000 (02:19 +0000)]
Use dph-{seq|par} instead of dph_{seq|par}
Ian Lynagh [Sat, 9 Aug 2008 20:38:03 +0000 (20:38 +0000)]
Simplify how we build dph
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
Ian Lynagh [Sat, 9 Aug 2008 16:18:15 +0000 (16:18 +0000)]
The dph packages still contain warnings
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.
simonpj@microsoft.com [Mon, 11 Aug 2008 14:42:08 +0000 (14:42 +0000)]
Export Depth (needed for mkUserStyle); collapse identical PrintUnqualified, QueryQualifies
simonpj@microsoft.com [Mon, 11 Aug 2008 14:41:18 +0000 (14:41 +0000)]
When suppressing uniques, don't print the separating underscore
simonpj@microsoft.com [Mon, 11 Aug 2008 14:40:32 +0000 (14:40 +0000)]
Make -dsuppress-uniques apply regardless of -ppr-debug
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.
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.
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
simonpj@microsoft.com [Mon, 11 Aug 2008 10:50:11 +0000 (10:50 +0000)]
Fix Trac #2506: infix assert
simonpj@microsoft.com [Mon, 11 Aug 2008 10:49:49 +0000 (10:49 +0000)]
Use do-notation
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.
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!
simonpj@microsoft.com [Mon, 11 Aug 2008 10:38:21 +0000 (10:38 +0000)]
Minor refactoring; no functionality change
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.
Ian Lynagh [Sun, 10 Aug 2008 17:32:37 +0000 (17:32 +0000)]
Remove a pointless use of $(HERE_ABS)/
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
Ian Lynagh [Sun, 10 Aug 2008 15:07:37 +0000 (15:07 +0000)]
Add mk/bindist.mk
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
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
Ian Lynagh [Sun, 10 Aug 2008 14:41:18 +0000 (14:41 +0000)]
Remove inplace-datadir when cleaning
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
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
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
Ian Lynagh [Sun, 10 Aug 2008 14:07:31 +0000 (14:07 +0000)]
Also clean pwd.hi and pwd.o
Ian Lynagh [Sun, 10 Aug 2008 13:39:25 +0000 (13:39 +0000)]
bindist fixes
Ian Lynagh [Sun, 10 Aug 2008 00:50:16 +0000 (00:50 +0000)]
bindists are now some way towards working
Ian Lynagh [Sun, 10 Aug 2008 00:28:07 +0000 (00:28 +0000)]
Use Cabal to build pwd
Max Bolingbroke [Thu, 7 Aug 2008 22:48:53 +0000 (22:48 +0000)]
Move allM to MonadUtils
Max Bolingbroke [Thu, 7 Aug 2008 22:43:33 +0000 (22:43 +0000)]
Remove redundant fromIntegral calls
Max Bolingbroke [Thu, 7 Aug 2008 22:37:18 +0000 (22:37 +0000)]
Remove CoreSyn SOURCE imports
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.
Ian Lynagh [Thu, 7 Aug 2008 20:32:58 +0000 (20:32 +0000)]
Fix darcs-all get
Ian Lynagh [Thu, 7 Aug 2008 13:15:06 +0000 (13:15 +0000)]
Fix errors with haddock 0.8
Max Bolingbroke [Thu, 7 Aug 2008 12:29:01 +0000 (12:29 +0000)]
Document Name and expand it's API
Max Bolingbroke [Thu, 31 Jul 2008 12:07:41 +0000 (12:07 +0000)]
Follow OccName changes in Convert
Max Bolingbroke [Thu, 31 Jul 2008 05:52:10 +0000 (05:52 +0000)]
Use DynFlags.getMainFun in TcRnDriver
Max Bolingbroke [Thu, 31 Jul 2008 05:48:13 +0000 (05:48 +0000)]
Fix Vectorise after introduction of MonadThings
Max Bolingbroke [Thu, 31 Jul 2008 05:47:22 +0000 (05:47 +0000)]
Follow introduction of MkCore in VectUtils
Max Bolingbroke [Thu, 31 Jul 2008 05:46:23 +0000 (05:46 +0000)]
Fix VectMonad after introduction of MonadThings
Max Bolingbroke [Thu, 31 Jul 2008 05:44:37 +0000 (05:44 +0000)]
Minor refactorings in TcEnv
Max Bolingbroke [Thu, 31 Jul 2008 05:42:39 +0000 (05:42 +0000)]
Handle introduction of MkCore in DsMonad and expand API
Max Bolingbroke [Thu, 31 Jul 2008 05:41:28 +0000 (05:41 +0000)]
Add MkCore, holding general Core construction facilities
Max Bolingbroke [Thu, 31 Jul 2008 05:40:42 +0000 (05:40 +0000)]
Document HscTypes, refactor it somewhat, remove unused type and add MonadThings
Max Bolingbroke [Thu, 31 Jul 2008 05:37:31 +0000 (05:37 +0000)]
Use new RdrName export in RdrHsSyn
Max Bolingbroke [Thu, 31 Jul 2008 05:35:42 +0000 (05:35 +0000)]
Document CoreUtils
Max Bolingbroke [Thu, 31 Jul 2008 05:30:54 +0000 (05:30 +0000)]
Document Packages and a minor refactoring
Max Bolingbroke [Thu, 31 Jul 2008 05:29:41 +0000 (05:29 +0000)]
Document CoreSyn and expand its API
Max Bolingbroke [Thu, 31 Jul 2008 05:28:19 +0000 (05:28 +0000)]
Document IdInfo
Max Bolingbroke [Thu, 31 Jul 2008 05:26:53 +0000 (05:26 +0000)]
Document DynFlags and expand API
Max Bolingbroke [Thu, 31 Jul 2008 05:22:38 +0000 (05:22 +0000)]
Document OccName and expand it's API
Max Bolingbroke [Thu, 31 Jul 2008 01:23:56 +0000 (01:23 +0000)]
Follow Digraph changes in VectType
Max Bolingbroke [Thu, 31 Jul 2008 01:23:55 +0000 (01:23 +0000)]
Follow OccName changes in VectBuiltIn
Max Bolingbroke [Thu, 7 Aug 2008 11:55:05 +0000 (11:55 +0000)]
Document Util
Max Bolingbroke [Thu, 31 Jul 2008 01:23:55 +0000 (01:23 +0000)]
Document UniqSet
Max Bolingbroke [Thu, 31 Jul 2008 01:23:55 +0000 (01:23 +0000)]
Document UniqFM and add listToUFM_C
Max Bolingbroke [Thu, 31 Jul 2008 01:23:54 +0000 (01:23 +0000)]
Follow FastString changes in Pretty
Max Bolingbroke [Thu, 7 Aug 2008 11:48:06 +0000 (11:48 +0000)]
Document Outputable
Max Bolingbroke [Thu, 31 Jul 2008 01:23:53 +0000 (01:23 +0000)]
Document FiniteMap
Max Bolingbroke [Thu, 31 Jul 2008 01:23:53 +0000 (01:23 +0000)]
Document FastString and rename strLength to lengthLS
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
Max Bolingbroke [Thu, 31 Jul 2008 01:23:52 +0000 (01:23 +0000)]
Document TypeRep and follow OccName change
Max Bolingbroke [Thu, 31 Jul 2008 01:23:52 +0000 (01:23 +0000)]
Document Type
Max Bolingbroke [Thu, 31 Jul 2008 01:23:52 +0000 (01:23 +0000)]
Document TyCon
Max Bolingbroke [Thu, 31 Jul 2008 01:23:51 +0000 (01:23 +0000)]
Document Coercion
Max Bolingbroke [Thu, 31 Jul 2008 01:23:51 +0000 (01:23 +0000)]
Follow Digraph changes in TcTyDecls
Max Bolingbroke [Thu, 31 Jul 2008 01:23:51 +0000 (01:23 +0000)]
Make IOEnv a MonadUnique
Max Bolingbroke [Thu, 31 Jul 2008 01:23:50 +0000 (01:23 +0000)]
Follow TcEnv API addition in TcForeign
Max Bolingbroke [Thu, 31 Jul 2008 01:23:50 +0000 (01:23 +0000)]
Follow Digraph changes in TcBinds
Max Bolingbroke [Thu, 31 Jul 2008 01:23:49 +0000 (01:23 +0000)]
Follow OccName and MkCore changes in Inst
Max Bolingbroke [Thu, 31 Jul 2008 01:23:49 +0000 (01:23 +0000)]
Document Rules
Max Bolingbroke [Thu, 31 Jul 2008 01:23:49 +0000 (01:23 +0000)]
Follow Literal change in Simplify
Max Bolingbroke [Thu, 31 Jul 2008 01:23:48 +0000 (01:23 +0000)]
Follow Digraph changes in OccurAnal
Max Bolingbroke [Thu, 31 Jul 2008 01:23:48 +0000 (01:23 +0000)]
Follow Digraph changes in RnBinds and small refactoring
Max Bolingbroke [Thu, 31 Jul 2008 01:23:47 +0000 (01:23 +0000)]
Document TysWiredIn and follow OccName changes
Max Bolingbroke [Thu, 31 Jul 2008 01:23:47 +0000 (01:23 +0000)]
Follow OccName changes in TysPrim
Max Bolingbroke [Thu, 31 Jul 2008 01:23:47 +0000 (01:23 +0000)]
Follow OccName changes in ParserCore
Max Bolingbroke [Thu, 31 Jul 2008 01:23:46 +0000 (01:23 +0000)]
Follow Digraph changes in RegLiveness