[commit: ghc] overlapping-tyfams: Updates to documentation; detabification; bugfixes. (6da9d5e)

[Richard Eisenberg]

Repository : http://darcs.haskell.org/ghc.git/

On branch  : overlapping-tyfams

https://github.com/ghc/ghc/commit/6da9d5e4fa614ddccc2d29fec69fda2913002808

>---------------------------------------------------------------

commit 6da9d5e4fa614ddccc2d29fec69fda2913002808
Author: Richard Eisenberg <eir at cis.upenn.edu>
Date:   Fri Jun 21 12:45:27 2013 +0100

    Updates to documentation; detabification; bugfixes.

 compiler/deSugar/DsMeta.hs        |   2 +-
 compiler/main/PprTyThing.hs       |   9 +-
 compiler/typecheck/FamInst.lhs    |   7 +-
 compiler/typecheck/TcInstDcls.lhs |   2 +
 compiler/types/FamInstEnv.lhs     | 184 +++++++++++++++++++++-----------------
 compiler/types/OptCoercion.lhs    |   2 +
 docs/core-spec/CoreLint.ott       |  32 +++++--
 docs/core-spec/CoreSyn.ott        |   4 +-
 docs/core-spec/Makefile           |   1 +
 docs/core-spec/core-spec.mng      |  15 +++-
 docs/core-spec/core-spec.pdf      | Bin 308357 -> 334136 bytes
 docs/users_guide/glasgow_exts.xml |   2 +-
 12 files changed, 157 insertions(+), 103 deletions(-)


Diff suppressed because of size. To see it, use:

    git show 6da9d5e4fa614ddccc2d29fec69fda2913002808