Skip to content

Compile the signature file fslex generates for lex.fsl - #3449

Merged
nojaf merged 2 commits into
fsprojects:mainfrom
nojaf:yacc-signature-file
Aug 28, 2026
Merged

Compile the signature file fslex generates for lex.fsl#3449
nojaf merged 2 commits into
fsprojects:mainfrom
nojaf:yacc-signature-file

Conversation

@nojaf

@nojaf nojaf commented Aug 28, 2026

Copy link
Copy Markdown
Contributor

lex.fsi was the one generated signature left out of the build. lex.fsl's header defines a nested module, and fslex copied that module declaration into the signature while dropping its body, producing a file that would not compile. FsLexYacc 11.4.1 fixes that (fsprojects/FsLexYacc#240), so bump the pin and take the Compile item out of comments.

Compiling it exposes the missing .fsi in the package's CallFsLex Outputs, the fslex side of the bug CallFsYacc is already overridden for. Every generated .fsi is a Compile item, so deleting one on its own left the build asking for a source file that no rebuild would put back. Override CallFsLex the same way.

The CallFsYacc override stays: 11.4.1 ships none of the fixes it carries.

nojaf added 2 commits August 28, 2026 18:38
lex.fsi was the one generated signature left out of the build. lex.fsl's
header defines a nested module, and fslex copied that module declaration
into the signature while dropping its body, producing a file that would
not compile. FsLexYacc 11.4.1 fixes that (fsprojects/FsLexYacc#240), so
bump the pin and take the Compile item out of comments.

Compiling it exposes the missing .fsi in the package's CallFsLex Outputs,
the fslex side of the bug CallFsYacc is already overridden for. Every
generated .fsi is a Compile item, so deleting one on its own left the
build asking for a source file that no rebuild would put back. Override
CallFsLex the same way.

The CallFsYacc override stays: 11.4.1 ships none of the fixes it carries.
@nojaf
nojaf merged commit 3a5bfe1 into fsprojects:main Aug 28, 2026
6 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.

1 participant