Searched refs:InferSkol (Results 1 – 7 of 7) sorted by relevance
218 | InferSkol [(Name,TcType)] constructor261 pprSkolInfo (InferSkol ids) = hang (text "the inferred type" <> plural ids <+> text "of")
217 | InferSkol [(Name,TcType)] constructor258 pprSkolInfo (InferSkol ids) = hang (text "the inferred type" <> plural ids <+> text "of")
215 | InferSkol [(Name,TcType)] constructor258 pprSkolInfo (InferSkol ids) = hang (text "the inferred type" <> plural ids <+> text "of")
2078 zonkSkolemInfo (InferSkol ntys) = do { ntys' <- mapM do_one ntys2079 ; return (InferSkol ntys') }2277 tidySkolemInfo env (InferSkol ids) = InferSkol (mapSnd (tidyType env) ids)
1806 is_user_skol_info (InferSkol {}) = False1917 , InferSkol prs <- ic_info implic
899 skol_info = InferSkol [ (name, mkSigmaTy [] full_theta ty)