Skip to content

Fix all type errors#1967

Closed
aweebit wants to merge 13 commits intotj:developfrom
aweebit:fix/type-errors
Closed

Fix all type errors#1967
aweebit wants to merge 13 commits intotj:developfrom
aweebit:fix/type-errors

Conversation

@aweebit
Copy link
Copy Markdown
Contributor

@aweebit aweebit commented Aug 13, 2023

Fixes all type errors revealed by the TypeScript check fixed in #1960.

Builds on the fix from #1960, excluding the questionable script rename 273a35d.

Diff only for the changes introduced by this PR:
aweebit/commander.js@5c5c972...fix/type-errors

Includes fixes merged from #1963 #1965 #1966.

ChangeLog

Fixed

  • (from #1963) option value source type (undefined and arbitrary custom source strings are allowed now)
  • (from #1965) return type of .executableDir()

Peer PRs

Changes are to be merged into…

This reverts commit 5c5c972.

Reverted for the cae a different suggestion with a fix for that script
is accepted.
Fixes type errors revealed after enabling useUnknownInCatchVariables
@shadowspawn
Copy link
Copy Markdown
Collaborator

This is a collection of various PRs, and fixes issues for checks that are not enabled in the existing codebase. The type checks in #1969 generate no failures.

Too messy to review in detail.

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

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants