ghc.git
7 years agoAdd a comment about the units of platformWordSize
Ian Lynagh [Tue, 24 Jul 2012 20:13:00 +0000 (21:13 +0100)] 
Add a comment about the units of platformWordSize

7 years agoRemove some old temporary warning suppression for hoopl warnings
Ian Lynagh [Tue, 24 Jul 2012 20:05:12 +0000 (21:05 +0100)] 
Remove some old temporary warning suppression for hoopl warnings

7 years agoMake -fscc-profiling a dynamic flag
Ian Lynagh [Tue, 24 Jul 2012 19:26:52 +0000 (20:26 +0100)] 
Make -fscc-profiling a dynamic flag

All the flags that 'ways' imply are now dynamic

7 years agoWe no longer need to build utf8-string
Ian Lynagh [Tue, 24 Jul 2012 17:13:46 +0000 (18:13 +0100)] 
We no longer need to build utf8-string

haskeline no longer depends on it

7 years agoTweak the HC_OPTS generation
Ian Lynagh [Tue, 24 Jul 2012 14:46:55 +0000 (15:46 +0100)] 
Tweak the HC_OPTS generation

libraries/base/GHC/Base_HC_OPTS wasn't getting included, because we
were using libraries/base/./GHC/Base.lhs as the path, and the ./
meant we got the wrong filename.

I didn't use $(realpath ...) as the .hs file may be generated by hsc2hs
or similar, so may not exist when the HC_OPTS are constructed.

7 years agoFix whitespace only in cmm/SMRep.lhs
Ian Lynagh [Tue, 24 Jul 2012 14:25:34 +0000 (15:25 +0100)] 
Fix whitespace only in cmm/SMRep.lhs

7 years agoFix build on Windows: Configure packages in the right order
Ian Lynagh [Tue, 24 Jul 2012 14:11:18 +0000 (15:11 +0100)] 
Fix build on Windows: Configure packages in the right order

Also added a comment explaining that addPackages need to be in
dependency order.

7 years agoFix a subtle float-in bug
Simon Peyton Jones [Mon, 23 Jul 2012 16:29:07 +0000 (17:29 +0100)] 
Fix a subtle float-in bug

This patch makes
  fiExpr (AnnLam ...)
  noFloatIntoExpr (AnnLam ...)
line up with each other.  Previously they behaved inconsistently
with bad results.

The details are in Trac #7088.    There's a regression test
in simplCore/should_compile/T7088

7 years agoNumerous small changes to the constraint solver
Simon Peyton Jones [Mon, 23 Jul 2012 16:05:59 +0000 (17:05 +0100)] 
Numerous small changes to the constraint solver

The main thing is that we now keep unsolved Derived constraints in the
wc_flats of a WantedConstraints, rather than discarding them each time.
This actually fixes a poential (admittedly obscure) bug, when we currently
discard a superclass constraint, and may never re-generate it, and may
thereby miss a functional dependency.

Instead, reportErrors filters out Derived constraints that we don't want
to report.

The other changes are all small refactorings following our walk-through.

7 years agoReverse sense of test in RULEs warning
Simon Peyton Jones [Mon, 23 Jul 2012 14:13:16 +0000 (15:13 +0100)] 
Reverse sense of test in RULEs warning

7 years agoTypo in error message
Simon Peyton Jones [Mon, 23 Jul 2012 08:22:29 +0000 (09:22 +0100)] 
Typo in error message

7 years agoMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
Simon Peyton Jones [Mon, 23 Jul 2012 08:17:53 +0000 (09:17 +0100)] 
Merge branch 'master' of darcs.haskell.org:/home/darcs/ghc

7 years agoDelay inlining 'text' so that the RULE has a chance to fire
Simon Peyton Jones [Mon, 23 Jul 2012 08:17:33 +0000 (09:17 +0100)] 
Delay inlining 'text' so that the RULE has a chance to fire

7 years agoMake the desugarer warn about RULES that may not fire
Simon Peyton Jones [Mon, 23 Jul 2012 08:17:09 +0000 (09:17 +0100)] 
Make the desugarer warn about RULES that may not fire

This warning was suggested by Trac #6082, where we had
a library RULE that failed to fire because its function
was inlined too soon.

7 years agoLess voluminous debug printing with -ddump-tc-trace
Simon Peyton Jones [Mon, 23 Jul 2012 08:11:33 +0000 (09:11 +0100)] 
Less voluminous debug printing with -ddump-tc-trace

7 years agoDon't report unused bindings of the form
Simon Peyton Jones [Sat, 21 Jul 2012 16:42:01 +0000 (17:42 +0100)] 
Don't report unused bindings of the form
       _ = e

Thse are used in a few libraries, either to add type constraints
via a signature, or to mention some variables that are only
otherwise mentioned in one #ifdef branch

7 years agoMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
Simon Peyton Jones [Fri, 20 Jul 2012 19:09:58 +0000 (20:09 +0100)] 
Merge branch 'master' of darcs.haskell.org:/home/darcs/ghc

7 years agoMake SizeIs strict in the bag, which improves performance a bit
Simon Peyton Jones [Fri, 20 Jul 2012 19:09:02 +0000 (20:09 +0100)] 
Make SizeIs strict in the bag, which improves performance a bit

7 years agoMake seqType etc take accouunt of kinds that are now non-trivial
Simon Peyton Jones [Fri, 20 Jul 2012 19:08:38 +0000 (20:08 +0100)] 
Make seqType etc take accouunt of kinds that are now non-trivial

7 years agoDo calcUnfoldingGuidance on the *non* occ-analysed RHS
Simon Peyton Jones [Fri, 20 Jul 2012 19:07:51 +0000 (20:07 +0100)] 
Do calcUnfoldingGuidance on the *non* occ-analysed RHS

See Note [Calculate unfolding guidance on the non-occ-anal'd expression]
This makes a big difference to residency (530M vs over 800M when compiling
Cabal).

This fixes the majority of the regression in Trac #6104

7 years agoMerge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
Ian Lynagh [Fri, 20 Jul 2012 18:17:09 +0000 (19:17 +0100)] 
Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc

7 years agoMake tracingSettings have just enough information to get debug output printed
Simon Peyton Jones [Fri, 20 Jul 2012 18:10:14 +0000 (19:10 +0100)] 
Make tracingSettings have just enough information to get debug output printed

I suspect I have done the wrong thing; I hope someone can improve.

7 years agoMerge ../HEAD
Simon Peyton Jones [Fri, 20 Jul 2012 17:17:27 +0000 (18:17 +0100)] 
Merge ../HEAD

7 years agoGHC 7.4 is now required for building HEAD
Ian Lynagh [Fri, 20 Jul 2012 15:54:01 +0000 (16:54 +0100)] 
GHC 7.4 is now required for building HEAD

7 years agoBump HEAD version to 7.7
Ian Lynagh [Fri, 20 Jul 2012 15:46:19 +0000 (16:46 +0100)] 
Bump HEAD version to 7.7

7 years agoWarn about unused pattern bindings
Simon Peyton Jones [Fri, 20 Jul 2012 11:57:35 +0000 (12:57 +0100)] 
Warn about unused pattern bindings

Fixes Trac #7085

7 years agoMerge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
Ian Lynagh [Thu, 19 Jul 2012 19:38:05 +0000 (20:38 +0100)] 
Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc

7 years agoUpdate dependencies.
Paolo Capriotti [Tue, 10 Jul 2012 16:58:41 +0000 (17:58 +0100)] 
Update dependencies.

7 years agoUpdate to time 1.4.0.1
Paolo Capriotti [Tue, 10 Jul 2012 15:42:34 +0000 (16:42 +0100)] 
Update to time 1.4.0.1

7 years agoMerge branch 'master' of http://darcs.haskell.org/ghc
Dimitrios Vytiniotis [Thu, 19 Jul 2012 12:35:24 +0000 (14:35 +0200)] 
Merge branch 'master' of darcs.haskell.org/ghc

7 years agoCleaning up the extractUnsolved story.
Dimitrios Vytiniotis [Thu, 19 Jul 2012 12:32:15 +0000 (14:32 +0200)] 
Cleaning up the extractUnsolved story.

7 years agoKeeping Derived constraints in the unsolved
Dimitrios Vytiniotis [Thu, 19 Jul 2012 09:28:40 +0000 (11:28 +0200)] 
Keeping Derived constraints in the unsolved
parts of WantedConstraints, and other small refactorings.

7 years agoPreserve synonyms if possible (leads to better error messages) through flattening.
Dimitrios Vytiniotis [Thu, 19 Jul 2012 09:26:45 +0000 (11:26 +0200)] 
Preserve synonyms if possible (leads to better error messages) through flattening.

7 years agoRemove redundant Platform arguments in cmm/PprC.hs
Ian Lynagh [Wed, 18 Jul 2012 23:28:32 +0000 (00:28 +0100)] 
Remove redundant Platform arguments in cmm/PprC.hs

7 years agoRemove most of the redundant Platform argument passing in nativeGen/X86/Ppr.hs
Ian Lynagh [Wed, 18 Jul 2012 18:55:36 +0000 (19:55 +0100)] 
Remove most of the redundant Platform argument passing in nativeGen/X86/Ppr.hs

7 years agoSmall code simplification
Ian Lynagh [Wed, 18 Jul 2012 15:12:51 +0000 (16:12 +0100)] 
Small code simplification

7 years agoRemove a load of Platform arguments
Ian Lynagh [Wed, 18 Jul 2012 15:01:24 +0000 (16:01 +0100)] 
Remove a load of Platform arguments

We don't need them any more, now that we have DynFlags inside SDoc

7 years agoSmall refactoring in the generation of superclasses.
Dimitrios Vytiniotis [Wed, 18 Jul 2012 14:49:06 +0000 (16:49 +0200)] 
Small refactoring in the generation of superclasses.

7 years agoWhitespace only in nativeGen/SPARC/Ppr.hs
Ian Lynagh [Wed, 18 Jul 2012 14:47:43 +0000 (15:47 +0100)] 
Whitespace only in nativeGen/SPARC/Ppr.hs

7 years agoAdd some more Integer rules
Ian Lynagh [Wed, 18 Jul 2012 14:15:36 +0000 (15:15 +0100)] 
Add some more Integer rules

7 years agoFirst batch of file additions for cross-compiler:
Gabor Greif [Wed, 18 Jul 2012 13:03:31 +0000 (15:03 +0200)] 
First batch of file additions for cross-compiler:

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.

7 years agocomment-only typo
Gabor Greif [Wed, 18 Jul 2012 12:15:05 +0000 (14:15 +0200)] 
comment-only typo

7 years agouse idiomatic type
Gabor Greif [Sun, 8 Jan 2012 14:51:39 +0000 (15:51 +0100)] 
use idiomatic type

7 years agoghc-pkg: restore -no-user-package-conf flag.
Paolo Capriotti [Wed, 18 Jul 2012 09:39:08 +0000 (10:39 +0100)] 
ghc-pkg: restore -no-user-package-conf flag.

7 years agoReorder libraries to account for unix dependency on time.
Paolo Capriotti [Tue, 17 Jul 2012 17:44:25 +0000 (18:44 +0100)] 
Reorder libraries to account for unix dependency on time.

7 years agoRemove hPrintDump and make rule dump output more consistent (#7060)
Paolo Capriotti [Tue, 17 Jul 2012 15:24:26 +0000 (16:24 +0100)] 
Remove hPrintDump and make rule dump output more consistent (#7060)

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.

7 years agoRestore old output for -ddump-rule-firings #7060
Paolo Capriotti [Tue, 17 Jul 2012 15:11:02 +0000 (16:11 +0100)] 
Restore old output for -ddump-rule-firings #7060

Commit 3fcf5bdff7a22e22d7265535369cd8f867141ec1 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.

7 years agotypos in trace strings (which I observed in compile output)
Gabor Greif [Wed, 18 Jul 2012 10:25:58 +0000 (12:25 +0200)] 
typos in trace strings (which I observed in compile output)

7 years agomade comments C-style, so that no gcc-extension is needed
Gabor Greif [Wed, 18 Jul 2012 10:14:16 +0000 (12:14 +0200)] 
made comments C-style, so that no gcc-extension is needed

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

7 years agotypos in comments
Gabor Greif [Wed, 18 Jul 2012 08:33:46 +0000 (10:33 +0200)] 
typos in comments

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

7 years agoMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
Simon Peyton Jones [Tue, 17 Jul 2012 15:40:51 +0000 (16:40 +0100)] 
Merge branch 'master' of darcs.haskell.org:/home/darcs/ghc

7 years agofix warnings
Simon Marlow [Tue, 17 Jul 2012 08:43:06 +0000 (09:43 +0100)] 
fix warnings

7 years agoRefactor and simplify the SRT handling
Simon Marlow [Tue, 17 Jul 2012 08:25:16 +0000 (09:25 +0100)] 
Refactor and simplify the SRT handling

7 years agotidy up pretty-printing of CmmCall
Simon Marlow [Thu, 12 Jul 2012 10:14:57 +0000 (11:14 +0100)] 
tidy up pretty-printing of CmmCall

7 years agoMove sinking into a separate module, and add a simple inlining pass
Simon Marlow [Thu, 12 Jul 2012 09:58:00 +0000 (10:58 +0100)] 
Move sinking into a separate module, and add a simple inlining pass

7 years agoAdd a comment about how SRTs work
Simon Marlow [Thu, 12 Jul 2012 08:12:45 +0000 (09:12 +0100)] 
Add a comment about how SRTs work

7 years agono need to export cafTransfers
Simon Marlow [Thu, 12 Jul 2012 08:12:30 +0000 (09:12 +0100)] 
no need to export cafTransfers

7 years agoWhitespace only in CgHeapery
Ian Lynagh [Mon, 16 Jul 2012 23:07:11 +0000 (00:07 +0100)] 
Whitespace only in CgHeapery

7 years agoMake -fPIC a dynamic flag
Ian Lynagh [Mon, 16 Jul 2012 19:53:21 +0000 (20:53 +0100)] 
Make -fPIC a dynamic flag

Hopefully I've kept the logic the same, and we now generate warnings if
the user does -fno-PIC but we ignore them (e.g. because they're on OS X
amd64).

7 years agoMake a picPOpts function
Ian Lynagh [Mon, 16 Jul 2012 18:48:18 +0000 (19:48 +0100)] 
Make a picPOpts function

We now handle the preprocessor options the same way as the gcc options
(picCCOpts).

7 years agoConvert (co1 -> co2) to an IfaceFunTy, rather than IfaceTcApp
Simon Peyton Jones [Mon, 16 Jul 2012 16:03:40 +0000 (17:03 +0100)] 
Convert (co1 -> co2) to an IfaceFunTy, rather than IfaceTcApp

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

7 years agoImprove pretty printing for 'rec' Stmts, using pprDeeper
Simon Peyton Jones [Mon, 16 Jul 2012 16:02:07 +0000 (17:02 +0100)] 
Improve pretty printing for 'rec' Stmts, using pprDeeper

Fixes Trac #7074

7 years agoMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
Simon Peyton Jones [Mon, 16 Jul 2012 15:18:33 +0000 (16:18 +0100)] 
Merge branch 'master' of darcs.haskell.org:/home/darcs/ghc

7 years agoReover from validity errors in type/class decls
Simon Peyton Jones [Mon, 16 Jul 2012 15:18:17 +0000 (16:18 +0100)] 
Reover from validity errors in type/class decls

This lets us report slightly more errors in one sweep

7 years agoFix a warning
Ian Lynagh [Mon, 16 Jul 2012 11:53:31 +0000 (12:53 +0100)] 
Fix a warning

7 years agoFix a couple of warnings
Ian Lynagh [Mon, 16 Jul 2012 11:29:21 +0000 (12:29 +0100)] 
Fix a couple of warnings

7 years agoRemove redundant warning suppression
Ian Lynagh [Mon, 16 Jul 2012 11:24:48 +0000 (12:24 +0100)] 
Remove redundant warning suppression

7 years agoremove tabs
Simon Marlow [Mon, 16 Jul 2012 11:10:12 +0000 (12:10 +0100)] 
remove tabs

7 years agoRemove tabs
Simon Marlow [Mon, 16 Jul 2012 10:23:50 +0000 (11:23 +0100)] 
Remove tabs

7 years agoWrite locale character encoding to hpc html report (#5006)
Bas van Dijk [Mon, 16 Jul 2012 10:20:23 +0000 (11:20 +0100)] 
Write locale character encoding to hpc html report (#5006)

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

7 years agoImplemented MultiWayIf extension.
Mikhail Vorozhtsov [Sat, 14 Jul 2012 17:53:52 +0000 (00:53 +0700)] 
Implemented MultiWayIf extension.

7 years agoImplemented \case expressions.
Mikhail Vorozhtsov [Sat, 23 Apr 2011 05:06:38 +0000 (12:06 +0700)] 
Implemented \case expressions.

7 years agoRemove a workaround for GHC 6.4.2
Ian Lynagh [Sun, 15 Jul 2012 23:07:06 +0000 (00:07 +0100)] 
Remove a workaround for GHC 6.4.2

7 years agoRemove redundant warning-avoidance, and a redundant import
Ian Lynagh [Sun, 15 Jul 2012 23:05:17 +0000 (00:05 +0100)] 
Remove redundant warning-avoidance, and a redundant import

7 years agoMove -fno-warn-orphan flag into individual modules
Ian Lynagh [Sun, 15 Jul 2012 21:01:51 +0000 (22:01 +0100)] 
Move -fno-warn-orphan flag into individual modules

7 years agoSmall refactoring for FastZStrings
Ian Lynagh [Sun, 15 Jul 2012 17:53:04 +0000 (18:53 +0100)] 
Small refactoring for FastZStrings

7 years agoFix build on OS X
Ian Lynagh [Sun, 15 Jul 2012 11:58:10 +0000 (12:58 +0100)] 
Fix build on OS X

7 years agoDefine FastString on top of FastBytes
Ian Lynagh [Sun, 15 Jul 2012 01:33:48 +0000 (02:33 +0100)] 
Define FastString on top of FastBytes

Although we currently break the abstraction a lot in the FastString
operations, this is a step towards ultimately being able to replace
FastBytes with ByteString.

7 years agoRename a variable to avoid name conflicts in haddock
Ian Lynagh [Sun, 15 Jul 2012 00:04:32 +0000 (01:04 +0100)] 
Rename a variable to avoid name conflicts in haddock

7 years agoSmall refactoring
Ian Lynagh [Sat, 14 Jul 2012 23:39:47 +0000 (00:39 +0100)] 
Small refactoring

7 years agoFix dtraceTaskCreate
Ian Lynagh [Sat, 14 Jul 2012 23:37:47 +0000 (00:37 +0100)] 
Fix dtraceTaskCreate

The tid argument was missing

7 years agoAdd a separate FastZString type
Ian Lynagh [Sat, 14 Jul 2012 23:10:27 +0000 (00:10 +0100)] 
Add a separate FastZString type

FastStrings are now always UTF8-encoded.

There's no StringTable for FastZString, but I don't think one is needed.
We only ever make a FastZString by running zEncodeFS on a FastString,
and the FastStrings are shared via the FastString StringTable, so we get
the same FastZString from the IORef.

7 years agoRedefine appendFS in terms of appendFB
Ian Lynagh [Sat, 14 Jul 2012 21:11:14 +0000 (22:11 +0100)] 
Redefine appendFS in terms of appendFB

I think the old definition had a bug, although it probably never
actually bit us: It used lengthFS to work out how large the arguments
where, but lengthFS returns the number of characters, not bytes.

7 years agoHsStringPrim now contains FastBytes, not FastString
Ian Lynagh [Sat, 14 Jul 2012 20:56:14 +0000 (21:56 +0100)] 
HsStringPrim now contains FastBytes, not FastString

7 years agoImplement FastBytes, and use it for MachStr
Ian Lynagh [Sat, 14 Jul 2012 19:48:42 +0000 (20:48 +0100)] 
Implement FastBytes, and use it for MachStr

This is a first step on the way to refactoring the FastString type.

FastBytes currently has no unique, mainly because there isn't currently
a nice way to produce them in Binary.

Also, we don't currently do the "Dictionary" thing with FastBytes in
Binary. I'm not sure whether this is important.

We can change both decisions later, but in the meantime this gets the
refactoring underway.

7 years agoFix a CPP typo
Ian Lynagh [Sat, 14 Jul 2012 17:05:37 +0000 (18:05 +0100)] 
Fix a CPP typo

7 years agoWhitespace only in RnEnv
Ian Lynagh [Sat, 14 Jul 2012 17:00:59 +0000 (18:00 +0100)] 
Whitespace only in RnEnv

7 years agoAdd a missing semi-colon
Ian Lynagh [Sat, 14 Jul 2012 16:57:20 +0000 (17:57 +0100)] 
Add a missing semi-colon

7 years agoWhitespace only in Unique
Ian Lynagh [Sat, 14 Jul 2012 16:44:55 +0000 (17:44 +0100)] 
Whitespace only in Unique

7 years agoAdd some casts to fix warnings
Ian Lynagh [Sat, 14 Jul 2012 16:22:10 +0000 (17:22 +0100)] 
Add some casts to fix warnings

7 years agoFix typo
Ian Lynagh [Sat, 14 Jul 2012 15:09:49 +0000 (16:09 +0100)] 
Fix typo

7 years agoMerge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
Ian Lynagh [Sat, 14 Jul 2012 15:07:51 +0000 (16:07 +0100)] 
Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc

7 years agoMerge remote branch 'mikolaj/dcoutts'
Ian Lynagh [Sat, 14 Jul 2012 14:29:31 +0000 (15:29 +0100)] 
Merge remote branch 'mikolaj/dcoutts'

7 years agoDo not discard insoluble constraints in simplifyInfer
Simon Peyton Jones [Sat, 14 Jul 2012 12:18:34 +0000 (13:18 +0100)] 
Do not discard insoluble constraints in simplifyInfer

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

7 years agoComments only
Simon Peyton Jones [Sat, 14 Jul 2012 12:13:45 +0000 (13:13 +0100)] 
Comments only

7 years agoComments only
Simon Peyton Jones [Sat, 14 Jul 2012 12:13:24 +0000 (13:13 +0100)] 
Comments only

7 years agoComments about associated type tyvar naming
Simon Peyton Jones [Sat, 14 Jul 2012 12:12:59 +0000 (13:12 +0100)] 
Comments about associated type tyvar naming

7 years agoWhen checking associated type instances, check that
Simon Peyton Jones [Sat, 14 Jul 2012 12:12:13 +0000 (13:12 +0100)] 
When checking associated type instances, check that
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

7 years agoSmall tidy-up
Ian Lynagh [Fri, 13 Jul 2012 17:28:14 +0000 (18:28 +0100)] 
Small tidy-up

7 years agoDon't use tracingDynFlags in assertPprPanic
Ian Lynagh [Fri, 13 Jul 2012 17:15:57 +0000 (18:15 +0100)] 
Don't use tracingDynFlags in assertPprPanic

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