Skip to content

[mathjs]: Fix simplify argument types#53121

Merged
typescript-bot merged 3 commits into
DefinitelyTyped:masterfrom
manuelserradev:master
May 23, 2021
Merged

[mathjs]: Fix simplify argument types#53121
typescript-bot merged 3 commits into
DefinitelyTyped:masterfrom
manuelserradev:master

Conversation

@manuelserradev
Copy link
Copy Markdown
Contributor

@manuelserradev manuelserradev commented May 20, 2021

Currently the type only supports (anche checks) when using simplify func with expr and rules.
Usage with also expr and scope is supported by mathjs and this PR fix that.

Bonus: added SimplifyOptions.

Please fill in this template.

Select one of these and delete the others:

If changing an existing definition:

  • Provide a URL to documentation or source code which provides context for the suggested changes: mathjs simplify
  • If this PR brings the type definitions up to date with a new version of the JS library, update the version number in the header.

@typescript-bot typescript-bot added the Popular package This PR affects a popular package (as counted by NPM download counts). label May 20, 2021
@typescript-bot
Copy link
Copy Markdown
Contributor

typescript-bot commented May 20, 2021

@nitroin Thank you for submitting this PR! I see this is your first time submitting to DefinitelyTyped 👋 — I'm the local bot who will help you through the process of getting things through.

This is a live comment which I will keep updated.

1 package in this PR

Code Reviews

Because you edited one package and updated the tests (👏), I can help you merge this PR once someone else signs off on it.

You can test the changes in this PR in the Playground.

Status

  • ✅ No merge conflicts
  • ✅ Continuous integration tests have passed
  • ✅ Most recent commit is approved by type definition owners or DT maintainers

All of the items on the list are green. To merge, you need to post a comment including the string "Ready to merge" to bring in your changes.


Diagnostic Information: What the bot saw about this PR
{
  "type": "info",
  "now": "-",
  "pr_number": 53121,
  "author": "nitroin",
  "headCommitOid": "22ddf123d10314035832ff330dbb4dea1089196a",
  "lastPushDate": "2021-05-20T17:01:32.000Z",
  "lastActivityDate": "2021-05-23T15:08:40.000Z",
  "mergeOfferDate": "2021-05-21T01:45:13.000Z",
  "mergeRequestDate": "2021-05-23T15:08:40.000Z",
  "mergeRequestUser": "nitroin",
  "hasMergeConflict": false,
  "isFirstContribution": true,
  "tooManyFiles": false,
  "popularityLevel": "Popular",
  "pkgInfo": [
    {
      "name": "mathjs",
      "kind": "edit",
      "files": [
        {
          "path": "types/mathjs/index.d.ts",
          "kind": "definition"
        },
        {
          "path": "types/mathjs/mathjs-tests.ts",
          "kind": "test"
        }
      ],
      "owners": [
        "siavol",
        "andnp",
        "bradbesserman",
        "pawkrol",
        "charlee",
        "mark-wiemer",
        "OpportunityLiu"
      ],
      "addedOwners": [],
      "deletedOwners": [],
      "popularityLevel": "Popular"
    }
  ],
  "reviews": [
    {
      "type": "approved",
      "reviewer": "OpportunityLiu",
      "date": "2021-05-21T01:44:38.000Z",
      "isMaintainer": false
    }
  ],
  "mainBotCommentID": 844899639,
  "ciResult": "pass"
}

@typescript-bot
Copy link
Copy Markdown
Contributor

🔔 @siavol @andnp @bradbesserman @pawkrol @charlee @mark-wiemer @OpportunityLiu — please review this PR in the next few days. Be sure to explicitly select Approve or Request Changes in the GitHub UI so I know what's going on.

Comment thread types/mathjs/index.d.ts Outdated
@typescript-bot typescript-bot added the Revision needed This PR needs code changes before it can be merged. label May 20, 2021
@typescript-bot
Copy link
Copy Markdown
Contributor

@nitroin One or more reviewers has requested changes. Please address their comments. I'll be back once they sign off or you've pushed new commits. Thank you!

@typescript-bot typescript-bot added The CI failed When GH Actions fails and removed Revision needed This PR needs code changes before it can be merged. labels May 20, 2021
@typescript-bot
Copy link
Copy Markdown
Contributor

@nitroin The CI build failed! Please review the logs for more information.

Once you've pushed the fixes, the build will automatically re-run. Thanks!

@typescript-bot typescript-bot removed the The CI failed When GH Actions fails label May 20, 2021
@typescript-bot
Copy link
Copy Markdown
Contributor

@OpportunityLiu Thank you for reviewing this PR! The author has pushed new commits since your last review. Could you take another look and submit a fresh review?

Copy link
Copy Markdown
Contributor

@OpportunityLiu OpportunityLiu left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@typescript-bot typescript-bot added Owner Approved A listed owner of this package signed off on the pull request. Self Merge This PR can now be self-merged by the PR author or an owner labels May 21, 2021
@typescript-bot
Copy link
Copy Markdown
Contributor

@nitroin Everything looks good here. Great job! I am ready to merge this PR (at 22ddf12) on your behalf.

If you'd like that to happen, please post a comment saying:

Ready to merge

and I'll merge this PR almost instantly. Thanks for helping out! ❤️

(@siavol, @andnp, @bradbesserman, @pawkrol, @charlee, @mark-wiemer, @OpportunityLiu: you can do this too.)

@manuelserradev
Copy link
Copy Markdown
Contributor Author

Ready to merge

@typescript-bot typescript-bot merged commit 7d75bf7 into DefinitelyTyped:master May 23, 2021
@typescript-bot
Copy link
Copy Markdown
Contributor

I just published @types/mathjs@9.3.1 to npm.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Owner Approved A listed owner of this package signed off on the pull request. Popular package This PR affects a popular package (as counted by NPM download counts). Self Merge This PR can now be self-merged by the PR author or an owner

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants