-
Notifications
You must be signed in to change notification settings - Fork 805
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Generate signature files for resource files #15176
Conversation
Good idea @nojaf .
So the important metrics should be:
If using --times also to .csv, it can show the detailed times for each file being processed. |
Hi @T-Gro,
Not really, there is one larger file yes (
Yes, but once the fsi file is processed, all those 70 links are no longer waiting for
Yup! |
Oh and of course this is also useful when the |
@nojaf : This is great, I was especially after the difference between sig time (0.12s+0.15s) and impl file (0.18s+1.22s) - bigger than I expected given the simplicity of the generated file. Thanks for measuring this! |
As signature files can benefit the graph type-checking, I'd like to generate them as well for all
*.txt
files that are transformed toSR
code.There are around 70 links in the Compiler project that reference
FSComp.fsi
So this is a really good candidate to have a signature file.