Searched refs:InstSkol (Results 1 – 9 of 9) sorted by relevance
196 | InstSkol -- Bound at an instance decl constructor253 pprSkolInfo InstSkol = text "the instance declaration" function
195 | InstSkol -- Bound at an instance decl constructor250 pprSkolInfo InstSkol = text "the instance declaration" function
193 | InstSkol -- Bound at an instance decl constructor250 pprSkolInfo InstSkol = text "the instance declaration" function
1134 , ic_info = InstSkol }1353 , ic_info = InstSkol }
205 skol_info = InstSkol
1835 warnRedundantGivens (InstSkol {}) = True
522 InstSkol -> loc { ctl_origin = GivenOrigin (InstSC size) } function
485 InstSkol -> filterOut (improving . idType) ev_vars