GitLab

This patch adds data constructor names into their info tables. 
This is useful in the ghci debugger. It replaces the old scheme which
was based on tracking data con names in the linker. 

Previously one had to edit configure.ac to build a release version. This is
evil, so one can now specify this on the configure invocation line like:

   RELEASE=YES ./configure

Note that non-released versions are still the default.

My previous patch was creating problems with hs-boot files. 

This patch performs several optimizations with the goal of minimizing the cost of building the arguments to breakpointJump:
  - Group them all in a single tuple, to minimize closure creation in heap
  - Wrap this with the GHC.Base.lazy combinator, to induce max laziness
  - Remove as many literal strings as possible 
    * injecting a module-local CAF to store the module name and use that 
    * eliminating the package string (not needed).

It now outputs "<function>" instead of showing them as thunks

The breakpointJump functions never show up in the code that the typechecker sees, as they are inserted by the desugarer later.

Fixes Trac #1154.   Please merge.
Tests are tc225, and tcfail176.

Conal Eliott (Trac #1145) exposed a nasty flaw in the way in which
orphan instances are computed, when there are functional dependencies
in the class.  It took me some time to figure out what was going on,
and led to more refactoring.

Briefly:

* Elaborate comments about orphan-hood and versioning added to IfaceSyn
* The is_orph field vanishes from InstEnv.Instance
* Similarly ru_orph vanishes from CoreSyn.CoreRule
* Orphan-hood is computed in MkIface.instanceToIfaceInst, and
	MkIface.coreRuleToIfaceRule

Elsewhere just tidying up.

I forgot to to this when refactoring some months ago!

This one is a hangover from something I did a month or two ago, but
didn't get quite right.  tcSimplifyDefault should not check for no-instances;
instead the checkValidInstance in TcDeriv does so.

Conal's DeepArrow needs this fix.  Test is drv015.

This patch fixes the typechecking of the default declaration itself,
when overloaded strings are involved.  It also documents the behaviour
in the user manual.

nofib/spectral/power should work again now!

My re-org of the case-merging transformation introduced a bug, which led
to incorrect code.   This only showed up occasionally, but it generated
incorrect code for PprC.pprCastReg in the stage-2 compiler. As a result
the stage-2 compiler ran without crashing, but itself generated bogus C.

For a change, this is one that Core Lint couldn't find, so the trail was
a bit longer.  The fix is easy (and commented).

Fixes Trac #1128
Please merge to STABLE

A rather obscure bug related to -fno-implicit-prelude.  
See Note [Used names with interface not loaded] in RnNames.

Easily fixed, however.  Test is rn051

See conc059.

This is the Windows counterpart to "Make the non-threaded-RTS
threadDelay wait at least as long as asked"

An egregious bug in the type checker meant that it was possible for a 
"signature type variable" (a MetaTv of SigTv form) to be instantatiated 
with a type-constructor application.  This destroys the invariant for
SigTv.

The fix is easy; adding the predicate TcType.isTyConableTyVar

Fixes Trac #1153

Test ghci.debugger/scripts/print018 covers this

Print 

"Breakpoint set at Main:26:13"

instead of

"Breakpoint set at (26,13)"

Now the user can say 

> :break add 13

at the ghci prompt and the debugger will use the first top level module as the target for the breakpoint

My code was doing unnecessary work when trying to get hold of all the BCOs in order to sniff the datacon names.
This involved calculating the transitive closure of a relation and was causing a huge performance slowdown in GHCi, as benchmarks uncovered. It turns out that this calculation was unnecessary.

Benchmarks have shown that making the formation of the list of locals more lazy can improve performance of -fdebugging up to 50% in some cases

For example, "ghc -E Foo.hs -o Foo.bar" just copies Foo.hs to
Foo.bar.  This patch adds a LINE pragma to the beginning of Foo.bar so
that further processing can track the location of the original file.

The motiviation for this is bug #1044.  When generating Haddock docs,
we preprocess the .hs to a .raw-hs, sometimes this doesn't involve any
actual preprocessing and in those cases we lose track of the original
filename.

Since thunks grew an extra padding word in GHC 6.6, closure_sizeW()
has been wrong for AP closures because it assumed compatible layout
between PAPs and APs.  One symptom is that the compacting GC would
crash if it encountered an AP.  APs conly crop up in GHCi or
when using asynchronous exceptions.

Fixes #1010