Skip to content

feat: support for run modes and doctests#195

Closed
winniederidder wants to merge 36 commits intomainfrom
run-doctests
Closed

feat: support for run modes and doctests#195
winniederidder wants to merge 36 commits intomainfrom
run-doctests

Conversation

@winniederidder
Copy link
Contributor

@winniederidder winniederidder commented May 22, 2022

This PR extends Papyros with the following features:
ChangeListeners to the user's code can now specify a delay before they are called, i.e. delay ms will pass after the last change to the document before they are called. This allows running more expensive checks for advanced functionality with minimal impact (similar to how linting is done)
Backends can provide extra running modes depending on the contents of the editor. Implementation has been provided for a doctest-runner: enabled when doctests are detected and automatically runs them. Currently, the run happens in verbose mode to make it clear what happened to the user (preventing empty outputs indicating success).
Example usage:
With failures -
doctests
Without failures -
doctest-success

Closes #183

winniederidder and others added 12 commits May 27, 2022 11:44
Bumps [@codemirror/lint](https://github.com/codemirror/lint) from 0.20.2 to 0.20.3.
- [Release notes](https://github.com/codemirror/lint/releases)
- [Changelog](https://github.com/codemirror/lint/blob/main/CHANGELOG.md)
- [Commits](codemirror/lint@0.20.2...0.20.3)

---
updated-dependencies:
- dependency-name: "@codemirror/lint"
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
Bumps [@typescript-eslint/eslint-plugin](https://github.com/typescript-eslint/typescript-eslint/tree/HEAD/packages/eslint-plugin) from 5.25.0 to 5.26.0.
- [Release notes](https://github.com/typescript-eslint/typescript-eslint/releases)
- [Changelog](https://github.com/typescript-eslint/typescript-eslint/blob/main/packages/eslint-plugin/CHANGELOG.md)
- [Commits](https://github.com/typescript-eslint/typescript-eslint/commits/v5.26.0/packages/eslint-plugin)

---
updated-dependencies:
- dependency-name: "@typescript-eslint/eslint-plugin"
  dependency-type: direct:development
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
Bumps [eslint-plugin-jest](https://github.com/jest-community/eslint-plugin-jest) from 26.2.2 to 26.4.5.
- [Release notes](https://github.com/jest-community/eslint-plugin-jest/releases)
- [Changelog](https://github.com/jest-community/eslint-plugin-jest/blob/main/CHANGELOG.md)
- [Commits](jest-community/eslint-plugin-jest@v26.2.2...v26.4.5)

---
updated-dependencies:
- dependency-name: eslint-plugin-jest
  dependency-type: direct:development
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
Bumps [@codemirror/autocomplete](https://github.com/codemirror/autocomplete) from 0.20.1 to 0.20.3.
- [Release notes](https://github.com/codemirror/autocomplete/releases)
- [Changelog](https://github.com/codemirror/autocomplete/blob/main/CHANGELOG.md)
- [Commits](codemirror/autocomplete@0.20.1...0.20.3)

---
updated-dependencies:
- dependency-name: "@codemirror/autocomplete"
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
Bumps [typescript](https://github.com/Microsoft/TypeScript) from 4.6.4 to 4.7.2.
- [Release notes](https://github.com/Microsoft/TypeScript/releases)
- [Commits](microsoft/TypeScript@v4.6.4...v4.7.2)

---
updated-dependencies:
- dependency-name: typescript
  dependency-type: direct:development
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
Bumps [@codemirror/view](https://github.com/codemirror/view) from 0.20.6 to 0.20.7.
- [Release notes](https://github.com/codemirror/view/releases)
- [Changelog](https://github.com/codemirror/view/blob/main/CHANGELOG.md)
- [Commits](codemirror/view@0.20.6...0.20.7)

---
updated-dependencies:
- dependency-name: "@codemirror/view"
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
Bumps [@typescript-eslint/parser](https://github.com/typescript-eslint/typescript-eslint/tree/HEAD/packages/parser) from 5.25.0 to 5.26.0.
- [Release notes](https://github.com/typescript-eslint/typescript-eslint/releases)
- [Changelog](https://github.com/typescript-eslint/typescript-eslint/blob/main/packages/parser/CHANGELOG.md)
- [Commits](https://github.com/typescript-eslint/typescript-eslint/commits/v5.26.0/packages/parser)

---
updated-dependencies:
- dependency-name: "@typescript-eslint/parser"
  dependency-type: direct:development
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
@winniederidder
Copy link
Contributor Author

Closed in favor of #216 as somehow two PRs got merged on accident.

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

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Detect doctests and allow running them

1 participant