[commit: ghc] wip/tc/typeable-with-kinds: Bugfix: proxy# needs a kind, as well as a type. (079c8a3)

git at git.haskell.org git at git.haskell.org
Sat Mar 7 16:44:01 UTC 2015


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

On branch  : wip/tc/typeable-with-kinds
Link       : http://ghc.haskell.org/trac/ghc/changeset/079c8a3eeefa8425902454997b46e78d72c36bf4/ghc

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

commit 079c8a3eeefa8425902454997b46e78d72c36bf4
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.


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

079c8a3eeefa8425902454997b46e78d72c36bf4
 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



More information about the ghc-commits mailing list