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
Max Bolingbroke [Thu, 31 Jul 2008 01:23:46 +0000 (01:23 +0000)]
Follow Digraph changes in RegAllocLinear.hs
Max Bolingbroke [Thu, 31 Jul 2008 01:23:46 +0000 (01:23 +0000)]
Follow Digraph changes in AsmCodeGen
Max Bolingbroke [Thu, 31 Jul 2008 01:23:45 +0000 (01:23 +0000)]
Document InteractiveEval and follow OccName change
Ian Lynagh [Thu, 7 Aug 2008 11:25:10 +0000 (11:25 +0000)]
Follow Digraph changes in GHC; patch from Max Bolingbroke
Max Bolingbroke [Thu, 31 Jul 2008 01:23:44 +0000 (01:23 +0000)]
Expand ErrUtils api with another plain variant
Max Bolingbroke [Thu, 31 Jul 2008 01:23:43 +0000 (01:23 +0000)]
Follow OccName changes and minor refactorings in TcIface
Max Bolingbroke [Thu, 31 Jul 2008 01:23:43 +0000 (01:23 +0000)]
Follow Digraph changes in MkIface
Max Bolingbroke [Thu, 31 Jul 2008 01:23:42 +0000 (01:23 +0000)]
Minor refactoring in RtClosureInspect
Max Bolingbroke [Thu, 31 Jul 2008 01:23:42 +0000 (01:23 +0000)]
Handle optSrcSpanFileName in InteractiveUI
Max Bolingbroke [Thu, 31 Jul 2008 01:23:42 +0000 (01:23 +0000)]
Handle introduction of MkCore in MatchLit
Max Bolingbroke [Thu, 31 Jul 2008 01:23:42 +0000 (01:23 +0000)]
Handle introduction of MkCore in MatchCon
Max Bolingbroke [Thu, 31 Jul 2008 01:23:41 +0000 (01:23 +0000)]
Handle introduction of MkCore in Match
Max Bolingbroke [Thu, 31 Jul 2008 01:23:41 +0000 (01:23 +0000)]
Handle introduction of MkCore in DsUtils
Max Bolingbroke [Thu, 31 Jul 2008 01:23:40 +0000 (01:23 +0000)]
Handle introduction of MkCore in DsMeta
Max Bolingbroke [Thu, 31 Jul 2008 01:23:40 +0000 (01:23 +0000)]
Handle introduction of MkCore in DsListComp
Max Bolingbroke [Thu, 31 Jul 2008 01:23:40 +0000 (01:23 +0000)]
Handle introduction of MkCore in DsForeign
Max Bolingbroke [Thu, 31 Jul 2008 01:23:40 +0000 (01:23 +0000)]
Handle introduction of MkCore in DsExpr
Max Bolingbroke [Thu, 31 Jul 2008 01:23:39 +0000 (01:23 +0000)]
Handle introduction of MkCore in DsBinds
Max Bolingbroke [Thu, 31 Jul 2008 01:23:39 +0000 (01:23 +0000)]
Handle introduction of MkCore in DsArrows
Max Bolingbroke [Thu, 31 Jul 2008 01:23:39 +0000 (01:23 +0000)]
Handle optSrcSpanFileName rename in Coverage
Max Bolingbroke [Thu, 31 Jul 2008 01:23:37 +0000 (01:23 +0000)]
Document CgUtils, follow Digraph changes
Max Bolingbroke [Thu, 31 Jul 2008 01:23:34 +0000 (01:23 +0000)]
Document UniqSupply
Max Bolingbroke [Thu, 31 Jul 2008 01:23:34 +0000 (01:23 +0000)]
Document SrcLoc
Max Bolingbroke [Thu, 31 Jul 2008 01:23:34 +0000 (01:23 +0000)]
Document RdrName and expand its API
Max Bolingbroke [Thu, 31 Jul 2008 01:23:32 +0000 (01:23 +0000)]
Make Module Uniquable
Max Bolingbroke [Thu, 31 Jul 2008 01:23:32 +0000 (01:23 +0000)]
Tweak comments in MkId and follow mkStringLit renaming
Max Bolingbroke [Thu, 31 Jul 2008 01:23:31 +0000 (01:23 +0000)]
Document Literal, expand it's API and rename mkStringLit to mkMachString
Max Bolingbroke [Thu, 31 Jul 2008 01:23:31 +0000 (01:23 +0000)]
Document 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
Ian Lynagh [Wed, 6 Aug 2008 16:18:15 +0000 (16:18 +0000)]
Eq and Ord have moved into GHC.Classes
Ian Lynagh [Wed, 6 Aug 2008 22:43:59 +0000 (22:43 +0000)]
Move 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
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
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.