[commit: ghc] typeable-with-kinds: Bugfix: proxy# needs a kind, as well as a type. (50f6fd4)

[git at git.haskell.org]

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

On branch  : typeable-with-kinds
Link       : http://ghc.haskell.org/trac/ghc/changeset/50f6fd4de629c4fcc467042e60b1df3a4ad4a96d/ghc

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

commit 50f6fd4de629c4fcc467042e60b1df3a4ad4a96d
Author: Iavor S. Diatchki <diatchki at galois.com>
Date:   Wed Feb 11 16:17:17 2015 -0800

    Bugfix: proxy# needs a kind, as well as a type.


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

50f6fd4de629c4fcc467042e60b1df3a4ad4a96d
 compiler/deSugar/DsBinds.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/compiler/deSugar/DsBinds.hs b/compiler/deSugar/DsBinds.hs
index eebf298..079cfbf 100644
--- a/compiler/deSugar/DsBinds.hs
+++ b/compiler/deSugar/DsBinds.hs
@@ -959,7 +959,7 @@ dsEvTypeable ev =
     do typeableExpr <- dsEvTerm ev
        let co     = getTypeableCo tc t
            method = mkCast typeableExpr co
-           proxy  = mkTyApps (Var proxyHashId) [t]
+           proxy  = mkTyApps (Var proxyHashId) [typeKind t, t]
        return (mkApps method [proxy])
 
   -- This part could be cached