patch applied (ghc): Add tuple sections as a new feature

[Simon Peyton Jones]

Wed Jul 22 23:38:59 PDT 2009  simonpj at microsoft.com
  * Add tuple sections as a new feature
  Ignore-this: d42a26fc1efff112b852b5c1135c1746
  
  This patch adds tuple sections, so that
  
  	(x,,z)  means   \y -> (x,y,z)
  
  Thanks for Max Bolinbroke for doing the hard work.
  
  In the end, instead of using two constructors in HsSyn, I used
  just one (still called ExplicitTuple) whose arguments can be
  	Present (LHsExpr id)
  or	Missing PostTcType
  
  While I was at it, I did a bit of refactoring too.
  

    M ./compiler/deSugar/Coverage.lhs -6 +10
    M ./compiler/deSugar/DsArrows.lhs -10 +5
    M ./compiler/deSugar/DsExpr.lhs -10 +20
    M ./compiler/deSugar/DsListComp.lhs -2 +2
    M ./compiler/deSugar/DsMeta.hs -2 +4
    M ./compiler/deSugar/DsUtils.lhs -19 +13
    M ./compiler/deSugar/Match.lhs -15 +18
    M ./compiler/hsSyn/Convert.lhs -1 +1
    M ./compiler/hsSyn/HsExpr.lhs -23 +38
    M ./compiler/hsSyn/HsUtils.lhs -5 +17
    M ./compiler/main/DynFlags.hs +2
    M ./compiler/parser/Parser.y.pp -10 +27
    M ./compiler/parser/RdrHsSyn.lhs -3 +4
    M ./compiler/rename/RnExpr.lhs -5 +17
    M ./compiler/rename/RnSource.lhs -1
    M ./compiler/typecheck/TcExpr.lhs -17 +27
    M ./compiler/typecheck/TcGenDeriv.lhs -8 +6
    M ./compiler/typecheck/TcHsSyn.lhs -10 +8
    M ./compiler/typecheck/TcTyClsDecls.lhs -1 +1
    M ./compiler/types/Generics.lhs -4 +4
    M ./compiler/types/TypeRep.lhs +1
    M ./docs/users_guide/glasgow_exts.xml +38

View patch online:
http://darcs.haskell.org/ghc/_darcs/patches/20090723063859-1287e-19c119d6d7502526ea13b1072fe65e44b619b9f3.gz