[commit: ghc] master: Improve IfaceSyn a bit further (a600c91)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/a600c913a8bf5f55405c3c7b4b739626688b54d8/ghc

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

commit a600c913a8bf5f55405c3c7b4b739626688b54d8
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Thu Jun 12 11:50:34 2014 +0100

    Improve IfaceSyn a bit further
    
    This patch has three main bits:
    
    * The most substantial change is that IfaceConDecl no longer
      records its universal type variables, because they are
      always the same as those of the parent TyCon.  A bit less
      fuss and clutter.
    
    * Add a synonym for IfTopBndr = OccName, and explain why it's an
      OccName not a FastString
    
    * Make the ifMinDef field be a (BooleanFormula IfLclName) rather
      than (BooleanFormula OccName).  These really are occurrences (not
      binders), and should be treated like other occurences.
    
    The first and third change the format of interface files, so
    you'll need to recompile.


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

a600c913a8bf5f55405c3c7b4b739626688b54d8
 compiler/iface/IfaceSyn.lhs | 1512 ++++++++++++++++++++++---------------------
 compiler/iface/MkIface.lhs  |    3 +-
 compiler/iface/TcIface.lhs  |   13 +-
 3 files changed, 796 insertions(+), 732 deletions(-)

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

    git diff-tree --root --patch-with-stat --no-color --find-copies-harder --ignore-space-at-eol --cc a600c913a8bf5f55405c3c7b4b739626688b54d8