Searched refs:theSu (Results 1 – 1 of 1) sorted by relevance
143 let theSu = iSubst finalRW function144 defSu = defaultingSubst theSu145 warns = fmap' (fmap' (apSubst theSu)) (iWarnings finalRW)158 , UnsolvedGoals [apSubst theSu g]162 errs -> inferFailed warns [(r,apSubst theSu e) | (r,e) <- errs]