Searched refs:CantGeneralizeOverSorts (Results 1 – 5 of 5) sorted by relevance
61 CantGeneralizeOverSorts a -> icodeN 14 CantGeneralizeOverSorts a103 [14, a] -> valuN CantGeneralizeOverSorts a
111 CantGeneralizeOverSorts ms -> vcat
415 CantGeneralizeOverSorts{} -> mempty
202 warning $ CantGeneralizeOverSorts $ map fst ms
3249 | CantGeneralizeOverSorts [MetaId] constructor3379 CantGeneralizeOverSorts{} -> CantGeneralizeOverSorts_