diff options
Diffstat (limited to 'compiler/typecheck/TcDefaults.hs')
| -rw-r--r-- | compiler/typecheck/TcDefaults.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/typecheck/TcDefaults.hs b/compiler/typecheck/TcDefaults.hs index d79c9f366d..d091e9c156 100644 --- a/compiler/typecheck/TcDefaults.hs +++ b/compiler/typecheck/TcDefaults.hs @@ -73,7 +73,7 @@ tc_default_ty :: [Class] -> LHsType GhcRn -> TcM Type tc_default_ty deflt_clss hs_ty = do { (ty, _kind) <- solveEqualities $ tcLHsType hs_ty - ; ty <- zonkTcTypeToType emptyZonkEnv ty -- establish Type invariants + ; ty <- zonkTcTypeToType ty -- establish Type invariants ; checkValidType DefaultDeclCtxt ty -- Check that the type is an instance of at least one of the deflt_clss |