diff options
Diffstat (limited to 'compiler/typecheck/TcTyClsDecls.hs')
-rw-r--r-- | compiler/typecheck/TcTyClsDecls.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/typecheck/TcTyClsDecls.hs b/compiler/typecheck/TcTyClsDecls.hs index 75e9fab53f..a1c3d43f2a 100644 --- a/compiler/typecheck/TcTyClsDecls.hs +++ b/compiler/typecheck/TcTyClsDecls.hs @@ -1483,7 +1483,7 @@ kcDataDefn mb_kind_env ; let inner_res_kind' = substTyAddInScope skol_subst inner_res_kind tv_prs = zip (map tyVarName tvs_to_skolemise) tvs' - skol_info = SigSkol InstDeclCtxt exp_res_kind tv_prs + skol_info = SigSkol (InstDeclCtxt False) exp_res_kind tv_prs ; (ev_binds, (_, new_args, co)) <- solveEqualities $ |