update compiler using *->*->* as the kind of environment classifiers

[ghc-hetmet.git] / compiler / typecheck / TcExpr.lhs

diff --git a/compiler/typecheck/TcExpr.lhs b/compiler/typecheck/TcExpr.lhs
index 976aca7..7d7c461 100644 (file)
--- a/compiler/typecheck/TcExpr.lhs
+++ b/compiler/typecheck/TcExpr.lhs
@@ -167,7 +167,7 @@ tcExpr (HsVar name)  res_ty = tcCheckId name res_ty
 
 tcExpr (HsHetMetBrak _ e) res_ty =
     do { (coi, [inferred_name,elt_ty]) <- matchExpectedTyConApp hetMetCodeTypeTyCon res_ty
-       ; fresh_ec_name <- newFlexiTyVar liftedTypeKind
+       ; fresh_ec_name <- newFlexiTyVar ecKind
        ; expr' <-  updHetMetLevel (\old_lev -> (fresh_ec_name:old_lev))
                    $ tcPolyExpr e elt_ty
        ; unifyType (TyVarTy fresh_ec_name) inferred_name