ghc-hetmet.git
11 years agoFix a recomp bug: make classes/datatypes depend directly on DFuns (#4469)
Simon Marlow [Thu, 2 Dec 2010 12:23:49 +0000 (12:23 +0000)]
Fix a recomp bug: make classes/datatypes depend directly on DFuns (#4469)
And remove the old mechanism of recording dfun uses separately,
because it didn't work.

This wiki page describes recompilation avoidance and fingerprinting.
I'll update it to describe the new method and what went wrong with the
old method:

http://hackage.haskell.org/trac/ghc/wiki/Commentary/Compiler/RecompilationAvoidance

11 years agomake a panic message more informative and suggest -dcore-lint (see #4534)
Simon Marlow [Wed, 1 Dec 2010 15:17:06 +0000 (15:17 +0000)]
make a panic message more informative and suggest -dcore-lint (see #4534)

11 years agoRe-jig simplifySuperClass (again)
simonpj@microsoft.com [Thu, 2 Dec 2010 12:35:47 +0000 (12:35 +0000)]
Re-jig simplifySuperClass (again)

This fixes the current loop in T3731, and will fix other
reported loops.  The loops show up when we are generating
evidence for superclasses in an instance declaration.

The trick is to make the "self" dictionary simplifySuperClass
depend *explicitly* on the superclass we are currently trying
to build.  See Note [Dependencies in self dictionaries] in TcSimplify.

That in turn means that EvDFunApp needs a dependency-list, used
when chasing dependencies in isGoodRecEv.

11 years agoA little refactoring (remove redundant argument passed to isGoodRecEv)
simonpj@microsoft.com [Thu, 2 Dec 2010 12:31:10 +0000 (12:31 +0000)]
A little refactoring (remove redundant argument passed to isGoodRecEv)

11 years agoMake rebindable if-then-else a little more permissive
simonpj@microsoft.com [Thu, 2 Dec 2010 12:25:40 +0000 (12:25 +0000)]
Make rebindable if-then-else a little more permissive

See Note [Rebindable syntax for if].  Fixes Trac #4798.
Thanks to Nils Schweinsberg <mail@n-sch.de>

11 years agoImprove error message (Trac #4799)
simonpj@microsoft.com [Thu, 2 Dec 2010 10:27:06 +0000 (10:27 +0000)]
Improve error message (Trac #4799)

11 years agoFix a nasty bug in RULE matching: Trac #4814
simonpj@microsoft.com [Thu, 2 Dec 2010 10:26:18 +0000 (10:26 +0000)]
Fix a nasty bug in RULE matching: Trac #4814

See Note [Matching lets], which explains it all in detail.
It took me a day to think of a nice way to fix the bug,
but I think the result is quite respectable. Subtle, though.

11 years agoRename -XPArr to -XParallelArrays
Ben Lippmeier [Tue, 30 Nov 2010 07:54:15 +0000 (07:54 +0000)]
Rename -XPArr to -XParallelArrays

11 years agoFIX #1845 (unconditional relative branch out of range)
pho@cielonegro.org [Tue, 30 Nov 2010 14:30:14 +0000 (14:30 +0000)]
FIX #1845 (unconditional relative branch out of range)

Don't use mmap on powerpc-apple-darwin as mmap doesn't support
reallocating but we need to allocate jump islands just after each
object images. Otherwise relative branches to jump islands can fail
due to 24-bits displacement overflow.

11 years agorts/Linker.c (loadArchive):
pho@cielonegro.org [Tue, 30 Nov 2010 14:27:00 +0000 (14:27 +0000)]
rts/Linker.c (loadArchive):

This routine should be aware of Mach-O misalignment of malloc'ed memory regions.

11 years agorts/Linker.c (machoGetMisalignment):
pho@cielonegro.org [Tue, 30 Nov 2010 12:33:55 +0000 (12:33 +0000)]
rts/Linker.c (machoGetMisalignment):

Use fseek(3) instead of rewind(3) to move the file position indicator back to the initial position. Otherwise we can't use this function in loadArchive().

11 years agorts/Linker.c (ocFlushInstructionCache):
pho@cielonegro.org [Tue, 30 Nov 2010 12:14:25 +0000 (12:14 +0000)]
rts/Linker.c (ocFlushInstructionCache):

I found this function causes a segfault when ocAllocateSymbolExtras() has allocated a separate memory region for jump islands.

11 years agoRemove NewQualifiedOperators
Ian Lynagh [Wed, 1 Dec 2010 18:11:17 +0000 (18:11 +0000)]
Remove NewQualifiedOperators
The extension was rejected by Haskell', and deprecated in 7.0.

11 years agofix ref to utils/ext-core, which moved to Hackage (extcore package)
Simon Marlow [Wed, 1 Dec 2010 09:21:47 +0000 (09:21 +0000)]
fix ref to utils/ext-core, which moved to Hackage (extcore package)

11 years agofix floating-point/FFI section: fenv is C99, not POSIX
Simon Marlow [Wed, 1 Dec 2010 09:21:19 +0000 (09:21 +0000)]
fix floating-point/FFI section: fenv is C99, not POSIX

11 years agoFixed some 'unused vars' warnings
keller@cse.unsw.edu.au [Tue, 30 Nov 2010 01:34:25 +0000 (01:34 +0000)]
Fixed some 'unused vars' warnings

11 years agovectScalarLam handles int, float, and double now
keller@cse.unsw.edu.au [Mon, 29 Nov 2010 23:10:43 +0000 (23:10 +0000)]
vectScalarLam handles int, float, and double now

11 years agoHandling of lets, letrec and case when checking if a lambda expr needs to be vectorised
keller@cse.unsw.edu.au [Mon, 15 Nov 2010 05:12:25 +0000 (05:12 +0000)]
Handling of lets, letrec and case when checking if a lambda expr needs to be vectorised

11 years agoDocument the behaviour of fenv.h functions with GHC (#4391)
Simon Marlow [Fri, 26 Nov 2010 12:53:36 +0000 (12:53 +0000)]
Document the behaviour of fenv.h functions with GHC (#4391)

11 years agoRemove the no-ghci-lib warning in ghc-pkg
Ian Lynagh [Sat, 27 Nov 2010 23:58:05 +0000 (23:58 +0000)]
Remove the no-ghci-lib warning in ghc-pkg
GHCi libs are no longer necessary, as we can use the .a or .so versions
instead.

11 years agoAdd GNU-variant support to the .a parser, and other improvements/tidyups
Ian Lynagh [Sat, 27 Nov 2010 22:39:45 +0000 (22:39 +0000)]
Add GNU-variant support to the .a parser, and other improvements/tidyups

11 years agoRe-indent only
Ian Lynagh [Sat, 27 Nov 2010 19:16:46 +0000 (19:16 +0000)]
Re-indent only

11 years agoImprove linker debugging for archive files
Ian Lynagh [Sat, 27 Nov 2010 19:09:07 +0000 (19:09 +0000)]
Improve linker debugging for archive files

11 years agoAlways enable the archive-loading code
Ian Lynagh [Sat, 27 Nov 2010 17:30:00 +0000 (17:30 +0000)]
Always enable the archive-loading code
If the GHCi .o lib doesn't exist, load the .a instead

11 years agoInherit the ForceSpecConstr flag in non-recursive nested bindings
Roman Leshchinskiy [Sat, 27 Nov 2010 12:50:25 +0000 (12:50 +0000)]
Inherit the ForceSpecConstr flag in non-recursive nested bindings

This makes sure that join points are fully specialised in loops which are
marked as ForceSpecConstr.

11 years agoDocument -ddump-rule-firings and -ddump-rule-rewrites
Roman Leshchinskiy [Sat, 27 Nov 2010 12:35:28 +0000 (12:35 +0000)]
Document -ddump-rule-firings and -ddump-rule-rewrites

11 years agoNew flag -dddump-rule-rewrites
Roman Leshchinskiy [Sat, 27 Nov 2010 12:20:22 +0000 (12:20 +0000)]
New flag -dddump-rule-rewrites

Now, -ddump-rule-firings only shows the names of the rules that fired (it would
show "before" and "after" with -dverbose-core2core previously) and
-ddump-rule-rewrites always shows the "before" and "after" bits, even without
-dverbose-core2core.

11 years agoAcutally, wild-card variables *can* have occurrences
simonpj@microsoft.com [Fri, 26 Nov 2010 16:24:09 +0000 (16:24 +0000)]
Acutally, wild-card variables *can* have occurrences

This patch removes the Lint test, and comments why

11 years agoTidy up the handling of wild-card binders, and make Lint check it
simonpj@microsoft.com [Fri, 26 Nov 2010 13:32:10 +0000 (13:32 +0000)]
Tidy up the handling of wild-card binders, and make Lint check it

See Note [WildCard binders] in SimplEnv.  Spotted by Roman.

11 years agoSubstitution should just substitute, not optimise
simonpj@microsoft.com [Thu, 25 Nov 2010 17:23:56 +0000 (17:23 +0000)]
Substitution should just substitute, not optimise

This was causing Trac #4524, by optimising
     (e |> co)  to   e
on the LHS of a rule.  Result, the template variable
'co' wasn't bound any more.

Now that substition doesn't optimise, it seems sensible to call
simpleOptExpr rather than substExpr when substituting in the
RHS of rules.  Not a big deal either way.

11 years agoMake SpecConstr "look through" identity coercions
simonpj@microsoft.com [Thu, 25 Nov 2010 17:21:38 +0000 (17:21 +0000)]
Make SpecConstr "look through" identity coercions

11 years agoComment only
simonpj@microsoft.com [Thu, 25 Nov 2010 17:20:11 +0000 (17:20 +0000)]
Comment only

11 years agoWhite space only
simonpj@microsoft.com [Mon, 1 Nov 2010 08:07:48 +0000 (08:07 +0000)]
White space only

11 years agoKeep a maximum of 6 spare worker threads per Capability (#4262)
Simon Marlow [Thu, 25 Nov 2010 13:57:29 +0000 (13:57 +0000)]
Keep a maximum of 6 spare worker threads per Capability (#4262)

11 years agoUnicide OtherNumber category should be allowed in identifiers (#4373)
Simon Marlow [Mon, 15 Nov 2010 09:54:44 +0000 (09:54 +0000)]
Unicide OtherNumber category should be allowed in identifiers (#4373)

11 years agovectoriser: fix warning
Ben Lippmeier [Fri, 26 Nov 2010 04:40:36 +0000 (04:40 +0000)]
vectoriser: fix warning

11 years agovectoriser: fix warning
Ben Lippmeier [Fri, 26 Nov 2010 04:29:50 +0000 (04:29 +0000)]
vectoriser: fix warning

11 years agovectoriser: take class directly from the instance tycon
Ben Lippmeier [Fri, 26 Nov 2010 04:29:00 +0000 (04:29 +0000)]
vectoriser: take class directly from the instance tycon

11 years agovectoriser: comments only
Ben Lippmeier [Thu, 25 Nov 2010 07:32:01 +0000 (07:32 +0000)]
vectoriser: comments only

11 years agovectoriser: follow changes in mkClass
Ben Lippmeier [Thu, 25 Nov 2010 06:23:49 +0000 (06:23 +0000)]
vectoriser: follow changes in mkClass

11 years agovectoriser: tracing wibbles
Ben Lippmeier [Thu, 25 Nov 2010 06:23:32 +0000 (06:23 +0000)]
vectoriser: tracing wibbles

11 years agomkDFunUnfolding wants the type of the dfun to be a PredTy
benl@ouroborus.net [Tue, 14 Sep 2010 06:29:39 +0000 (06:29 +0000)]
mkDFunUnfolding wants the type of the dfun to be a PredTy

11 years agovectoriser: fix conflicts
Ben Lippmeier [Thu, 25 Nov 2010 06:09:04 +0000 (06:09 +0000)]
vectoriser: fix conflicts

11 years agoComments and formatting only
benl@ouroborus.net [Tue, 14 Sep 2010 06:29:03 +0000 (06:29 +0000)]
Comments and formatting only

11 years agoComments and formatting to type environment vectoriser
benl@ouroborus.net [Thu, 9 Sep 2010 08:04:05 +0000 (08:04 +0000)]
Comments and formatting to type environment vectoriser

11 years agoDon't mix implicit and explicit layout
Ian Lynagh [Wed, 24 Nov 2010 23:15:14 +0000 (23:15 +0000)]
Don't mix implicit and explicit layout

11 years agoWhitespace only
Ian Lynagh [Wed, 24 Nov 2010 23:06:55 +0000 (23:06 +0000)]
Whitespace only

11 years agoSeparate NondecreasingIndentation out into its own extension
Ian Lynagh [Wed, 24 Nov 2010 22:05:07 +0000 (22:05 +0000)]
Separate NondecreasingIndentation out into its own extension

11 years agoAdd another GHC layout rule relaxation to RelaxedLayout
Ian Lynagh [Wed, 24 Nov 2010 20:59:57 +0000 (20:59 +0000)]
Add another GHC layout rule relaxation to RelaxedLayout

11 years agoRemove an unused build system variable: GhcDir
Ian Lynagh [Wed, 24 Nov 2010 14:04:55 +0000 (14:04 +0000)]
Remove an unused build system variable: GhcDir

11 years agoRemove unused build system variable: GhcHasEditline
Ian Lynagh [Wed, 24 Nov 2010 14:04:15 +0000 (14:04 +0000)]
Remove unused build system variable: GhcHasEditline

11 years agoRemove unused variables from the build system: HBC, NHC, MKDEPENDHS
Ian Lynagh [Wed, 24 Nov 2010 14:00:52 +0000 (14:00 +0000)]
Remove unused variables from the build system: HBC, NHC, MKDEPENDHS

11 years agoRemove references to Haskell 98
Ian Lynagh [Tue, 23 Nov 2010 23:35:36 +0000 (23:35 +0000)]
Remove references to Haskell 98
They are no longer right, as we have Haskell' generating new Haskell
standards.

11 years agoTweak a configure test
Ian Lynagh [Tue, 23 Nov 2010 17:06:21 +0000 (17:06 +0000)]
Tweak a configure test

11 years agoAdd a configure test for the visibility hidden attribute
Ian Lynagh [Tue, 23 Nov 2010 17:05:41 +0000 (17:05 +0000)]
Add a configure test for the visibility hidden attribute

11 years agosanity: fix places where we weren't filling fresh memory with 0xaa
Simon Marlow [Fri, 29 Oct 2010 09:28:43 +0000 (09:28 +0000)]
sanity: fix places where we weren't filling fresh memory with 0xaa

11 years agoJust some alpha renaming
Ian Lynagh [Sun, 21 Nov 2010 14:44:55 +0000 (14:44 +0000)]
Just some alpha renaming

11 years agoFix bug #3165 (:history throws irrefutable pattern failed)
pepeiborra@gmail.com [Mon, 15 Nov 2010 22:36:23 +0000 (22:36 +0000)]
Fix bug #3165 (:history throws irrefutable pattern failed)

I ran across this bug and took the time to fix it, closing
a long time due TODO in InteractiveEval.hs

Instead of looking around to find the enclosing declaration
of a tick, this patch makes use of the information already collected during the
coverage desugaring phase

11 years agoFor bindists, build ghc-pwd with stage 1
Ian Lynagh [Sun, 21 Nov 2010 18:35:20 +0000 (18:35 +0000)]
For bindists, build ghc-pwd with stage 1
rather then the bootstrapping compiler. This fixes problems where the
bootstrapping compiler dynamically links against libraries not on the
target machine.

11 years agoMakefile tweak
Ian Lynagh [Sun, 21 Nov 2010 18:33:42 +0000 (18:33 +0000)]
Makefile tweak

11 years agoFix a makefile include ordering sanity check
Ian Lynagh [Sun, 21 Nov 2010 17:49:16 +0000 (17:49 +0000)]
Fix a makefile include ordering sanity check

11 years agoAdd an extension for GHC's layout-rule relaxations
Ian Lynagh [Sat, 20 Nov 2010 21:53:40 +0000 (21:53 +0000)]
Add an extension for GHC's layout-rule relaxations
Still TODO: Add the other relaxation (#1060) and update the alternative
layout rule to use the extension.

11 years agoTweak the bindist configure.ac.in
Ian Lynagh [Sat, 20 Nov 2010 17:37:35 +0000 (17:37 +0000)]
Tweak the bindist configure.ac.in

11 years agoconfigure.ac tweaks
Ian Lynagh [Sat, 20 Nov 2010 17:02:45 +0000 (17:02 +0000)]
configure.ac tweaks

11 years agoWhen testing the bindist, tell it where gcc is
Ian Lynagh [Sat, 20 Nov 2010 15:59:20 +0000 (15:59 +0000)]
When testing the bindist, tell it where gcc is
The location isn't baked into the bindist, as it may differ from
machine to machine.

11 years agoComments only
simonpj@microsoft.com [Fri, 19 Nov 2010 10:01:53 +0000 (10:01 +0000)]
Comments only

11 years agoForceSpecConstr now forces specialisation even for arguments which aren't scrutinised
Roman Leshchinskiy [Thu, 18 Nov 2010 21:28:39 +0000 (21:28 +0000)]
ForceSpecConstr now forces specialisation even for arguments which aren't scrutinised

11 years agoMove the superclass generation to the canonicaliser
simonpj@microsoft.com [Thu, 18 Nov 2010 12:05:33 +0000 (12:05 +0000)]
Move the superclass generation to the canonicaliser

Doing superclass generation in the canonicaliser (rather than
TcInteract) uses less code, and is generally more efficient.

See Note [Adding superclasses] in TcCanonical.

Fixes Trac #4497.

11 years agoFix the generation of in-scope variables for IfaceLint check
simonpj@microsoft.com [Thu, 18 Nov 2010 09:00:57 +0000 (09:00 +0000)]
Fix the generation of in-scope variables for IfaceLint check

11 years agoComments only
simonpj@microsoft.com [Thu, 18 Nov 2010 09:00:34 +0000 (09:00 +0000)]
Comments only

11 years agoOmit bogus test for -XDeriveFunctor
simonpj@microsoft.com [Thu, 18 Nov 2010 09:00:28 +0000 (09:00 +0000)]
Omit bogus test for -XDeriveFunctor

It was duplicated in the case of 'deriving( Functor )'
and wrong for 'deriving( Foldable )'

11 years agoImprove error message on advice from a user
simonpj@microsoft.com [Thu, 18 Nov 2010 08:53:06 +0000 (08:53 +0000)]
Improve error message on advice from a user

See Trac #4499

11 years agoFix the type sanity test in genprimopcode's Syntax.hs 2010-11-18
Ian Lynagh [Wed, 17 Nov 2010 16:30:31 +0000 (16:30 +0000)]
Fix the type sanity test in genprimopcode's Syntax.hs
We assume this is what it's supposed to be checking. Certainly the old
test (t2 == t2) can't be right.
Spotted by Andres Loeh.

11 years agoBuild random with the stage2 compiler
Ian Lynagh [Wed, 17 Nov 2010 15:52:59 +0000 (15:52 +0000)]
Build random with the stage2 compiler

11 years agoremove -XNoMonomorphismRestriction
Simon Marlow [Wed, 17 Nov 2010 12:49:26 +0000 (12:49 +0000)]
remove -XNoMonomorphismRestriction
This was apparently needed at some point during the new typechecker
development, but does not seem to be required now.

11 years agoadd some {-# LANGUAGE BangPatterns #-} to mollify GHC
Simon Marlow [Wed, 17 Nov 2010 11:37:05 +0000 (11:37 +0000)]
add some {-# LANGUAGE BangPatterns #-} to mollify GHC

11 years agoEventlog: Put correct size for startup event
scpmw@leeds.ac.uk [Fri, 5 Nov 2010 15:16:55 +0000 (15:16 +0000)]
Eventlog: Put correct size for startup event

11 years agoDocument SPECIALISE for imported functions
simonpj@microsoft.com [Wed, 17 Nov 2010 11:15:59 +0000 (11:15 +0000)]
Document SPECIALISE for imported functions

This is a really useful new facility, but I'd forgotten to document it.
Pls merge to 7.0 branch

11 years agoFix Trac #4498: bang-pattern bindings are monomorphic
simonpj@microsoft.com [Wed, 17 Nov 2010 10:10:58 +0000 (10:10 +0000)]
Fix Trac #4498: bang-pattern bindings are monomorphic

This patch forces bang patterns to be monomorphic,
and documents this fact.

11 years agoComments only
simonpj@microsoft.com [Wed, 17 Nov 2010 10:08:39 +0000 (10:08 +0000)]
Comments only

11 years agoFix Trac #4501: a transposition error in DynFlags
simonpj@microsoft.com [Wed, 17 Nov 2010 10:08:32 +0000 (10:08 +0000)]
Fix Trac #4501: a transposition error in DynFlags

Push to STABLE

11 years agoRefactoring of the way that inlinings and rules are activated
simonpj@microsoft.com [Tue, 16 Nov 2010 17:37:19 +0000 (17:37 +0000)]
Refactoring of the way that inlinings and rules are activated

Principally, the SimplifierMode now carries several (currently
four) flags in *all* phases, not just the "Gentle" phase.
This makes things simpler and more uniform.

As usual I did more refactoring than I had intended.

This stuff should go into 7.0.2 in due course, once
we've checked it solves the DPH performance problems.

11 years agoSome infrastruture for lambda-lifting
simonpj@microsoft.com [Tue, 16 Nov 2010 17:35:00 +0000 (17:35 +0000)]
Some infrastruture for lambda-lifting

This stuff should have no effect but it sets things
up so that we can try floating out lambdas of n value
arguments.

The new (secret) flag is -ffloatt-lam-args=n.

This is *not* working yet, but it's got tangled up with
other stuff I want to commit, and it does no harm.

11 years agoOccurrence analyser takes account of the phase when handing RULES
simonpj@microsoft.com [Tue, 16 Nov 2010 17:33:12 +0000 (17:33 +0000)]
Occurrence analyser takes account of the phase when handing RULES

See Note [Finding rule RHS free vars]

This should make Roman happy.

11 years agoAdd -fwarn-lazy-unlifted-bindings to the list of flags
simonpj@microsoft.com [Tue, 16 Nov 2010 17:22:11 +0000 (17:22 +0000)]
Add -fwarn-lazy-unlifted-bindings to the list of flags

11 years agoWarn a bit less often about unlifted bindings.
simonpj@microsoft.com [Tue, 16 Nov 2010 17:18:43 +0000 (17:18 +0000)]
Warn a bit less often about unlifted bindings.

Warn when
   (a) a pattern bindings binds unlifted values
   (b) it has no top-level bang
   (c) the RHS has a *lifted* type

Clause (c) is new, argued for by Simon M

Eg     x# = 4# + 4#      -- No warning
       (# a,b #) = blah  -- No warning
       I# x = blah       -- Warning

11 years agoLibraries bytestirng, time, binary need -fno-warn-identities
simonpj@microsoft.com [Tue, 16 Nov 2010 17:16:10 +0000 (17:16 +0000)]
Libraries bytestirng, time, binary need -fno-warn-identities

They all have redundant uses of fromIntegral, but are no under
GHC HQ control.

11 years agoImprove documentation for -fwarn-incomplete-patterns
simonpj@microsoft.com [Tue, 16 Nov 2010 17:15:27 +0000 (17:15 +0000)]
Improve documentation for -fwarn-incomplete-patterns

11 years agoAdd warning for probable identities (fromIntegral and friends)
simonpj@microsoft.com [Tue, 16 Nov 2010 17:15:10 +0000 (17:15 +0000)]
Add warning for probable identities (fromIntegral and friends)

See Trac #4488.  The basic idea is to check for

    fun :: ty -> ty

where fun is one of
  toIntegerName     toRationalName
  fromIntegralName  realToFracName

There's a (documented) flag to control it -fwarn-identities.
Currently -Wall switches it on.

11 years agoRemove unncessary fromIntegral calls
simonpj@microsoft.com [Tue, 16 Nov 2010 17:12:47 +0000 (17:12 +0000)]
Remove unncessary fromIntegral calls

11 years agoFix -fwarn-missing-import-lists (fix Trac #4489)
simonpj@microsoft.com [Mon, 15 Nov 2010 23:21:42 +0000 (23:21 +0000)]
Fix -fwarn-missing-import-lists (fix Trac #4489)

11 years agoDeriving Typeable changes
simonpj@microsoft.com [Mon, 15 Nov 2010 23:11:46 +0000 (23:11 +0000)]
Deriving Typeable changes

* Fix a bug that led to a crash with
    data family T a
    deriving Functor T

* Allow deriving Typeable for data families
    data family T a
    deriving Typeable1 T

* Some refactoring and tidying

11 years agoEnsure that instance overlap errors are report properly
simonpj@microsoft.com [Mon, 15 Nov 2010 14:28:05 +0000 (14:28 +0000)]
Ensure that instance overlap errors are report properly

This (annoyingly) requires us to re-flatten the class predicate.
See Note [Flattening in error message generation]

11 years agoEnsure that unification variables alloc'd during solving are untouchable
simonpj@microsoft.com [Mon, 15 Nov 2010 12:15:40 +0000 (12:15 +0000)]
Ensure that unification variables alloc'd during solving are untouchable

This fixes Trac #4494.  See Note [Extra TcsTv untouchables] in TcSimplify.

11 years agoFix paths used for doc publishing in the nightly builds
Ian Lynagh [Sun, 14 Nov 2010 20:55:27 +0000 (20:55 +0000)]
Fix paths used for doc publishing in the nightly builds

11 years agoRemove -Ofile docs
Ian Lynagh [Sun, 14 Nov 2010 17:33:32 +0000 (17:33 +0000)]
Remove -Ofile docs
They said:
    (NOTE: not supported since GHC 4.x.  Please ask if you're interested
    in this.)

11 years agoUpdate to docbook 4.5; fixes trac #4447
Ian Lynagh [Sun, 14 Nov 2010 15:50:23 +0000 (15:50 +0000)]
Update to docbook 4.5; fixes trac #4447

11 years agoAdd a build system dependency; fixes #4357
Ian Lynagh [Sun, 14 Nov 2010 14:03:11 +0000 (14:03 +0000)]
Add a build system dependency; fixes #4357

11 years agoBuild system tweak: Inline DQ now it's the same on all platforms
Ian Lynagh [Sun, 14 Nov 2010 13:46:36 +0000 (13:46 +0000)]
Build system tweak: Inline DQ now it's the same on all platforms

11 years agoFix up the ifdefs in Task.c
Ian Lynagh [Sat, 13 Nov 2010 12:53:14 +0000 (12:53 +0000)]
Fix up the ifdefs in Task.c