Searched refs:dsNoLevPoly (Results 1 – 3 of 3) sorted by relevance
49 dsNoLevPoly, dsNoLevPolyExpr, dsWhenNoErrs,371 mk_local fs ty = do { dsNoLevPoly ty (text "When trying to create a variable of type:" <+>546 dsNoLevPoly :: Type -> SDoc -> DsM ()548 dsNoLevPoly ty doc = checkForLevPolyX errDs doc ty function
127 = dsNoLevPoly (nTimes arity res_type (idType id))666 dsNoLevPoly stmts_ty738 = do { putSrcSpanDs (getLoc cmd) $ dsNoLevPoly cmd_ty782 putSrcSpanDs loc $ dsNoLevPoly res_ty851 dsNoLevPoly c_ty empty -- I (Richard E, Dec '16) have no idea what to say here
144 dsNoLevPoly (tcFunResultTyN (length usingArgs') (exprType usingExpr'))