Searched refs:ApplyMR (Results 1 – 3 of 3) sorted by relevance
736 data InferMode = ApplyMR -- ^ Apply the monomorphism restriction, constructor745 ppr ApplyMR = text "ApplyMR"1138 ; when (case infer_mode of { ApplyMR -> warn_mono; _ -> False}) $1157 pick ApplyMR cand = return (cand, [])
794 infer_mode = if mono then ApplyMR else NoRestrictions
1632 = ApplyMR