[commit: ghc] ghc-new-flavor's head updated: When rewriting a flavor with rewriteCtFlavor, in the case of reflexivity, (8737d47)

[dimitris at microsoft.com]

Repository : ssh://darcs.haskell.org//srv/darcs/ghc

Branch 'ghc-new-flavor' now includes:

     b22501b... Add linker support for ELF on ARM
     f1f93b2... Comments only
     f0cb41b... White space only
     dd847cb... Don't crash if there's a malformed instance!
     e21e13f... A related group of changes that make lexically scoped type variables work in Template Haskell
     4dd0fd3... Don't do validity checking on types in Template Haskell type brackets We might be in the "knot" of a type declaration: see Trac #5968.
     9804c81... Merge branch 'master' of http://darcs.haskell.org/ghc
     ac2fbb4... Update documentation of DatatypeContexts (#5964)
     83d9b38... Attempt to detect loops through imported function RULEs
     a39a192... Respect package qualifier when validating imports in GHCi (#5979)
     853c1c3... Add some missing equations for type-literals.
     d402d8a... Add an entry for -XExplicitNamespaces to the manual.
     0571092... Add a section about promoted literals to the manual.
     027f282... Tidy up compiler/ghc.cabal.in
     270b7ce... Whitespace only in main/Packages.lhs
     b3f6a8b... Merge branch 'master' of http://darcs.haskell.org/ghc into ghc-new-flavor
     8580b97... Deleting more old commented code.
     5802ebd... Dropping the idempotence restriction on the inert substitution, for efficiency. More documentation to follow.
     f9da524... Commentary, following the relaxation of idempotence of the inert substitution.
     d29e277... Bugfix in emitKindConstraint (must not cache orig constraint as Solved!); added short note to document an example.
     8737d47... When rewriting a flavor with rewriteCtFlavor, in the case of reflexivity, avoid setting the flavor PredType to be the new PredType if the types exactly match, so that in case of failure we report errors that do not have expanded type synonyms.