diff options
Diffstat (limited to 'compiler/typecheck/TcRnDriver.hs')
-rw-r--r-- | compiler/typecheck/TcRnDriver.hs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/compiler/typecheck/TcRnDriver.hs b/compiler/typecheck/TcRnDriver.hs index 151a7cbf83..d4ff73d566 100644 --- a/compiler/typecheck/TcRnDriver.hs +++ b/compiler/typecheck/TcRnDriver.hs @@ -2432,6 +2432,8 @@ tcRnType hsc_env flexi normalise rdr_type -- generalisation; e.g. :kind (T _) ; failIfErrsM + -- We follow Note [Recipe for checking a signature] in TcHsType here + -- Now kind-check the type -- It can have any rank or kind -- First bring into scope any wildcards @@ -2445,8 +2447,7 @@ tcRnType hsc_env flexi normalise rdr_type ; tcLHsTypeUnsaturated rn_type } -- Do kind generalisation; see Note [Kind-generalise in tcRnType] - ; kind <- zonkTcType kind - ; kvs <- kindGeneralize kind + ; kvs <- kindGeneralizeAll kind ; e <- mkEmptyZonkEnv flexi ; ty <- zonkTcTypeToTypeX e ty |