GitLab

In an instance declaration, omitted methods get a definition that
uses the default method.  We used to generate source code and feed it
to the type checker.  But tc199 shows that is a bad idea -- see
Note [Default methods in instances] in TcClassDcl.

So this patch refactors to insteadl all us to generate the 
*post* typechecked code directly for default methods.

Refactoring reduces code and improves error messages

This bug allowed, for example

  f = let x = ( 1#, 'x' ) in x

which is ill-typed because you can't put an unboxed value in a tuple.
Core Lint fails on this program.

The patch makes the program be rejcted up-front.

Now we use <prog>.hp and <prog>.prof consistently.

This is the optimisation level recommended when compiling DPH programs. At the
moment, it is equivalent to -O2 -fno-method-sharing -fdicts-cheap
-fmax-simplifier-iterations20 -fno-spec-constr-threshold.

We want -Odph to be a dynamic flag and that should imply -fno-method-sharing.
This doesn't add a lot of complexity.

We use the "build" rather than "make" target

We currently only use the "make" targets, which already register the package.

Add a LICENSE file that just points to the GHC license.

On a 2.6.24 Linux kernel, it appears that timer_settime() for
CLOCK_REALTIME is sometimes hanging for a random amount of time when
given a very small interval (we were using 1ns).  Using 1ms seems to
be fine.  Also I installed a 1-second timeout to catch hangs in the
future.

Try to load interfaces in getLinkDeps

	Documentation and examples taken from 
	- ghc-pkg/Main.hs usageHeader
	- patch: FIX 1463 (implement 'ghc-pkg find-module')
	- patch: FIX #1839, #1463, by supporting ghc-pkg bulk queries 
			with substring matching

Trac #2273 showed a case in which 'seq' didn't cure the space leak
it was supposed to.  This patch does two things to help

a) It removes a now-redundant special case in Simplify, which
   switched off the case-binder-swap in the early stages.  This
   isn't necessary any more because FloatOut has improved since
   the Simplify code was written.  And switching off the binder-swap
   is harmful for seq.

However fix (a) is a bit fragile, so I did (b) too:

b) Desugar 'seq' specially.  See Note [Desugaring seq (2)] in DsUtils
   This isn't very robust either, since it's defeated by abstraction, 
   but that's not something GHC can fix; the programmer should use
   a let! instead.

This helps if, for example, you want to build the Core tools on a machine that doesn't have a GHC build tree, and have a pre-existing copy of PrimEnv.hs.

In delayzh_fast we act as if tickInterval was 50, not 0.

I cabalized the ext-core tools, so now they can be built as
a library. The driver program has to be built separately.

Also updated genprimopcode to reflect the new module hierarchy
for the Core tools.

Cabal now does this differently.

We were checking that a pointer was correctly tagged, but after we had
untagged it.

If the value is > 2^63 then we need to work out its value mod 2pi,
and apply the operation to that instead.

This turned out not to be too hard, just a matter of figuring out the
correct argument list size by peeking inside FunPtr's type argument,
and in the C backend we have to emit an appropriate prototype for the label.