Skip to content

Conversation

@gefjon
Copy link
Contributor

@gefjon gefjon commented Nov 26, 2025

Description of Changes

We've been unable to get scheduled procedures into the initial release of procedures due to a nondeterministic hang in some of our tests which we don't have time to debug. As such, this commit disables scheduled procedures by:

  • Changing the RawModuleDevV9 validator to reject scheduled procedures.
  • Changing the Rust bindings library's typechecking magic so that scheduled table annotations referencing procedures will cause a type error.
  • Removes some docs from the Rust bindings library which reference scheduled procedures.

API and ABI breaking changes

N/a

Expected complexity level and risk

1

Testing

Automated tests should be sufficient.

Prior to merging #3774 , CI for this branch merged with master failed in the intended way: modules which attempted to define scheduled procedures failed to typecheck.

@jdetter
Copy link
Collaborator

jdetter commented Nov 26, 2025

We ended up merging this: #3704

Update: we ended up reverting 3704

@jdetter jdetter closed this Nov 26, 2025
@gefjon gefjon reopened this Nov 26, 2025
gefjon added a commit that referenced this pull request Nov 26, 2025
This reverts commit b2e37e8.

PR #3704 seems to have caused a nondeterministic failure in scheduling,
leading to tests hanging.
We should revert it until we can determine what's wrong,
and include #3768 in the release instead.
@gefjon gefjon marked this pull request as ready for review November 26, 2025 16:21
Copy link
Collaborator

@jdetter jdetter left a comment

Choose a reason for hiding this comment

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

Seems fine, we ended up reverting 3704. I have not tested this myself but the change looks fine 👍

@gefjon
Copy link
Contributor Author

gefjon commented Nov 26, 2025

I have confirmed with @coolreader18 that we don't need any changes related to TypeScript modules; the ModuleDef validator is sufficient.

@gefjon gefjon enabled auto-merge November 26, 2025 17:41
@gefjon gefjon added this pull request to the merge queue Nov 26, 2025
Merged via the queue into master with commit ae9bd74 Nov 26, 2025
25 of 26 checks passed
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.

3 participants