GitLab

parts of WantedConstraints, and other small refactorings.

	new file:   ghc/ghc-cross.wrapper
	new file:   includes/mkDerivedConstants.cross.awk
	new file:   includes/mkSizeMacros.cross.awk
	new file:   rules/cross-compiling.mk

These are expected to sit quietly in the tree until
the rest of the machinery matures on an (upcoming)
branch. Reviews will begin to make sense as soon as
that has happened. Anyway, comments are welcome. See
<http://www.haskell.org/pipermail/cvs-ghc/2012-July/074456.html>
for background.

Disclaimer: these source files are not (yet) up to the
            quality standards set by the rest of the tree.

Cleanups, move-arounds and rewrites (i.e. .awk -> .hs), as
well as additional comments and documentation will happen
as soon as the basic functionality of a cross-compiler is
working reliably.

The only difference between SevDump and SevOutput in defaultLogAction is
an extra blank line, so we don't need a separate hPrintDump function.

Also make -ddump-to-file consistent with the stdout version, by avoiding
to add the extra empty line when dumping rules.

Commit 3fcf5bdf made the output of
-ddump-rule-firings and -ddump-rule-rewrites excessively verbose.

Fixed by removing the extra blank lines and separator when the header
of dump is empty.

also removed an unnecessary 'struct' tag (since the struct is
not recursive); this is in line with the other struct definitions

fixed a typo, updated copyright

it remains to remove the tabs and align the structure members
accordingly

this is also my test commit and
reduces the lines in the cross-
compiler branch

This is more compact, and pretty-prints more nicely too.

Fixes Trac #7074

This lets us report slightly more errors in one sweep

basvandijk authored Jul 16, 2012 and Simon Marlow committed Jul 16, 2012

This allows the correct interpretation of Unicode characters by the browser.

Before -fdefer-type-errors there we no insolubles
(because we'd have failed before then), but with -fdefer-type-errors
there can be.  The code is acutally a bit simpler: we just call
emitConstraints, and eliminate the bogus-looking emitWC from TcRnMonad.

There's a bit more tidying up to do, concerning the places we use
keepWanted, but I need to talk to Dimitrios about that.

Meanwhile this fixes Trac #7023

the *type* indices match those of the class instance.
We don't need to track tke kind indices, and indeed
thay don't have the same careful name scoping.
See the notes in checkValidClass.

Fixes Trac #7073

It wasn't needed, but was left over as an oversight