[commit: ghc] master: Added support for writing and checking closed type families is hs-boot files. (9082111)

[Richard Eisenberg]

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

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/9082111dcdbad7d161ecb0a08bb467f6c62e0a1b

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

commit 9082111dcdbad7d161ecb0a08bb467f6c62e0a1b
Author: Richard Eisenberg <eir at cis.upenn.edu>
Date:   Mon Aug 5 16:54:44 2013 +0100

    Added support for writing and checking closed type families is hs-boot files.
    
    As documented in the users' guide, you can now write
    
    type family Foo a where ..
    
    in a hs-boot file to declare an abstract closed type family.

 compiler/hsSyn/HsDecls.lhs                |    6 +++-
 compiler/iface/IfaceSyn.lhs               |   21 +++++++-----
 compiler/iface/MkIface.lhs                |    9 +++--
 compiler/iface/TcIface.lhs                |    1 +
 compiler/main/PprTyThing.hs               |    9 +++--
 compiler/parser/Parser.y.pp               |    2 ++
 compiler/typecheck/TcHsType.lhs           |    7 ++--
 compiler/typecheck/TcRnDriver.lhs         |   51 +++++++++++++++++++++--------
 compiler/typecheck/TcSplice.lhs           |    2 ++
 compiler/typecheck/TcTyClsDecls.lhs       |   27 +++++++++++----
 compiler/types/TyCon.lhs                  |   17 +++++++---
 docs/users_guide/separate_compilation.xml |    8 ++++-
 12 files changed, 117 insertions(+), 43 deletions(-)


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

    git show 9082111dcdbad7d161ecb0a08bb467f6c62e0a1b