Commit 7e208242 authored by Madeline Haraj's avatar Madeline Haraj Committed by Madeline Haraj

Take some code from master after rebase

parent 65176c23
......@@ -938,9 +938,7 @@ tcDataFamInstHeader mb_clsinfo fam_tc imp_vars mb_bndrs fixity
= do { sig_kind <- tcLHsKindSig data_ctxt hs_kind
; let (tvs, inner_kind) = tcSplitForAllTys sig_kind
; lvl <- getTcLevel
; (subst, _tvs') <- mapAccumLM
(freshenTyCoVarX $ newSkolemTyVarLvlOverlappable lvl False)
emptyTCvSubst tvs
; (subst, _tvs') <- tcInstSkolTyVarsAt lvl False emptyTCvSubst tvs
-- Perhaps surprisingly, we don't need the skolemised tvs themselves
; return (substTy subst inner_kind) }
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment