Skip to content

[Draft PR] Integrating Doctest#544

Open
datvo06 wants to merge 3 commits intomasterfrom
doctest
Open

[Draft PR] Integrating Doctest#544
datvo06 wants to merge 3 commits intomasterfrom
doctest

Conversation

@datvo06
Copy link
Contributor

@datvo06 datvo06 commented Feb 6, 2026

Attempting to close #433 . Current implementation captures the template docstring at __apply__ time and add it to the synthesized function's docstring and run it.

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.

Support and exploit doctests in higher-order Template specifications

1 participant