[commit: ghc] master: Comments only (1e86cab)

[git at git.haskell.org]

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

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

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

commit 1e86cab459b93274f1b9a2ef08f3b89f4de1b86d
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Mon Apr 25 16:16:49 2016 +0100

    Comments only


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

1e86cab459b93274f1b9a2ef08f3b89f4de1b86d
 compiler/typecheck/TcPatSyn.hs | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/compiler/typecheck/TcPatSyn.hs b/compiler/typecheck/TcPatSyn.hs
index 009e305..df4e456 100644
--- a/compiler/typecheck/TcPatSyn.hs
+++ b/compiler/typecheck/TcPatSyn.hs
@@ -412,6 +412,8 @@ tc_patsyn_finish lname dir is_infix lpat'
          -- so there had better be no unification variables in there
          univ_tvs'    <- mapMaybeM (zonkQuantifiedTyVar False) univ_tvs
        ; ex_tvs'      <- mapMaybeM (zonkQuantifiedTyVar False) ex_tvs
+                         -- ToDo: The False means that we behave here as if
+                         -- -XPolyKinds was always on, which isn't right.
        ; prov_theta'  <- zonkTcTypes prov_theta
        ; req_theta'   <- zonkTcTypes req_theta
        ; pat_ty'      <- zonkTcType pat_ty