- ((_tc_expr, res_ty), lie) <- getLIE (tcInferRho rn_expr) ;
- ((qtvs, dict_insts, _), lie_top) <- getLIE (tcSimplifyInfer smpl_doc (tyVarsOfType res_ty) lie) ;
- _ <- tcSimplifyInteractive lie_top ; -- Ignore the dicionary bindings
+ ((_tc_expr, res_ty), lie) <- getConstraints (tcInferRho rn_expr) ;
+ ((qtvs, dicts, _), lie_top) <- getConstraints (simplifyInfer False {- No MR for now -}
+ (tyVarsOfType res_ty) lie) ;
+ _ <- simplifyInteractive lie_top ; -- Ignore the dicionary bindings