Skip to content

Parallel type-checking in compilation (behind a feature flag) #14494

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.

Sign up for GitHub

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

Merged
T-Gro merged 88 commits into from
Feb 10, 2023
Merged

Parallel type-checking in compilation (behind a feature flag) #14494

Changes from 1 commit
Commits
Show all changes
88 commits
Select commit Hold shift + click to select a range
0c5c1ff
Squashed commit of the following:
safesparrow Dec 19, 2022
7f69062
Code clean up after initial draft PR.
nojaf Dec 20, 2022
30a0081
Revert fscmain.fs
nojaf Dec 20, 2022
95d8024
Revert more unwanted changes.
nojaf Dec 20, 2022
c496359
Surface area for now.
nojaf Dec 20, 2022
c57acf2
Mark GraphChecking as internal.
nojaf Jan 3, 2023
9c6b5f1
Mark helper functions in unit tests as private.
nojaf Jan 3, 2023
5666202
Mark Scenarios as internal.
nojaf Jan 3, 2023
a4dfa8f
Make Scenario public and use TestFileWithAST.
nojaf Jan 3, 2023
16e5614
Use Graph when FSHARP_EXPERIMENTAL_FEATURES is set.
nojaf Jan 3, 2023
f223333
Merge branch 'main' into graph-tc-new
vzarytovskii Jan 3, 2023
244bbaa
Always depend on prim-types-prelude.fsi for F# Core.
nojaf Jan 3, 2023
81fb7d1
Add CI leg for GraphBasedCheckingOn.
nojaf Jan 3, 2023
cb1a22f
Merge branch 'graph-tc-new' of https://github.com/safesparrow/fsharp …
nojaf Jan 3, 2023
cc0aaba
Remove unused members of TcState.
nojaf Jan 4, 2023
0fabdd3
Trigger CI
nojaf Jan 4, 2023
992b9c0
Scope additional links in F# core to files between prim-types-prelude…
nojaf Jan 5, 2023
8bd8cd4
Merge branch 'main' into graph-tc-new
nojaf Jan 12, 2023
08e5e7e
Workaround for Set.empty.
nojaf Jan 12, 2023
af21780
Merge branch 'main' into graph-tc-new
nojaf Jan 12, 2023
2378cf9
Remove --test:ParallelCheckingWithSignatureFilesOn
nojaf Jan 12, 2023
5510383
Wrap lambda's in types.
nojaf Jan 12, 2023
60fe3d1
Update type name and add some more comments.
nojaf Jan 12, 2023
79f487c
Move comment to type definition.
nojaf Jan 12, 2023
649727b
Always depend on prim-types-prelude.fsi in FSharp.Core.
nojaf Jan 12, 2023
53265d0
Remove ParaChecking
nojaf Jan 12, 2023
c065a12
Merge branch 'main' into graph-tc-new
nojaf Jan 13, 2023
c09a49b
Update surface area
nojaf Jan 13, 2023
a74651f
Removed unused setting in VS
nojaf Jan 13, 2023
c39c5ac
Merge branch 'main' into graph-tc-new
nojaf Jan 16, 2023
b708e4e
Exclude graph mode for interactive compilation.
nojaf Jan 16, 2023
fcf8c70
Pipe collections into module functions.
nojaf Jan 16, 2023
fd46607
Update SurfaceArea in Release mode 🙃
nojaf Jan 16, 2023
72cdcfd
Add signature files for GraphChecking modules.
nojaf Jan 16, 2023
01a7887
Add warning when AutoOpenAttribute is being aliased.
nojaf Jan 16, 2023
8ad542a
Initial comparison benchmark.
nojaf Jan 17, 2023
d23922c
Check if CompiledRepresentation is Named.
nojaf Jan 18, 2023
3efaf23
Remove trailing space.
nojaf Jan 18, 2023
1a78368
Excluded erased types.
nojaf Jan 18, 2023
6900373
Dump graph as mermaid diagram.
nojaf Jan 18, 2023
95a0e9b
Missing files.
nojaf Jan 18, 2023
0692914
Make alias types internal.
nojaf Jan 18, 2023
3cf87c8
SurfaceArea!
nojaf Jan 18, 2023
a942941
Merge branch 'main' into graph-tc-new
nojaf Jan 19, 2023
1ddcbc1
Merge branch 'main' into graph-tc-new
vzarytovskii Jan 19, 2023
9f5195b
Merge upstream/main
safesparrow Jan 20, 2023
b960811
Fix build - remove unused symbols.
safesparrow Jan 20, 2023
b80df24
Auto-disable graph mode in deterministic build
safesparrow Jan 20, 2023
aa56edc
Merge branch 'main' into graph-tc-new
nojaf Jan 24, 2023
d6ded54
Merge branch 'main' into graph-tc-new
nojaf Jan 24, 2023
6f0aa50
Merge branch 'main' into graph-tc-new
nojaf Jan 24, 2023
479b66a
A few local refactorings + update comments
safesparrow Jan 25, 2023
ea16fd7
Use TcGlobals for AutoOpenAttribute reference. Assert exitCode of 0 i…
safesparrow Jan 25, 2023
362b25c
Merge branch 'graph-tc-new' of https://github.com/safesparrow/fsharp …
safesparrow Jan 25, 2023
9b0ed15
Do not match on `TType` directly
safesparrow Jan 26, 2023
72279dd
Merge branch 'main' into graph-tc-new
nojaf Jan 31, 2023
e520e2e
Add comment on why we warn when user aliases the AutoOpenAttribute.
nojaf Jan 31, 2023
88e5ee6
Capitalize type parameter names.
nojaf Jan 31, 2023
9abdd77
Prefer array comprehension expression.
nojaf Feb 1, 2023
d2e4354
Refactor cryptic abbreviations.
nojaf Feb 1, 2023
b103d2b
Refactor List.collect id to List.concat.
nojaf Feb 1, 2023
d8c0ee9
Show scrape.fsx in IDE.
nojaf Feb 1, 2023
8a6bb9f
Prefer array comprehension expression.
nojaf Feb 1, 2023
29ae5f2
Prefer list comprehension expression.
nojaf Feb 1, 2023
e94d0d0
Refactor cryptic function into a helper module.
nojaf Feb 1, 2023
52eee66
Refactor List.collect with lambda to list comprehension expression.
nojaf Feb 1, 2023
e4d69eb
Refactor List.collect id to List.concat.
nojaf Feb 1, 2023
8545b92
Remove with in type.
nojaf Feb 1, 2023
c66ea08
Remove unnecessary open.
nojaf Feb 1, 2023
aa8adc7
Use `||>`
nojaf Feb 1, 2023
a23588f
Don't use pipe-to-fun.
nojaf Feb 1, 2023
be2bc12
Remove unused CheckArgs.
nojaf Feb 1, 2023
006f562
Merge branch 'main' into graph-tc-new
nojaf Feb 2, 2023
154614c
Merge branch 'main' into graph-tc-new
nojaf Feb 2, 2023
a1a8eb1
Add some basic regression tests for the Graph module.
nojaf Feb 2, 2023
3c9fa6b
Use FileSystemUtils helper instead of direct Path.GetFileName access.
nojaf Feb 2, 2023
6272b5f
Merge branch 'main' into graph-tc-new
nojaf Feb 4, 2023
be5a612
Merge branch 'main' into graph-tc-new
nojaf Feb 6, 2023
742c7b0
Merge branch 'main' into graph-tc-new
nojaf Feb 6, 2023
6221c2a
Merge branch 'main' into graph-tc-new
nojaf Feb 6, 2023
20a4f9d
Merge branch 'main' into graph-tc-new
nojaf Feb 7, 2023
1e070b6
Merge branch 'main' into graph-tc-new
nojaf Feb 8, 2023
07c8cb6
Clean up after code review.
nojaf Feb 8, 2023
586b01a
Update algorithm info in Docs.md
nojaf Feb 8, 2023
5256c78
Update Docs.md
safesparrow Feb 8, 2023
e69f85b
Add concatenate to Continuation module.
nojaf Feb 9, 2023
27e6916
Use F# set instead of HashSet.
nojaf Feb 9, 2023
a03a66a
Merge branch 'graph-tc-new' of https://github.com/safesparrow/fsharp …
nojaf Feb 9, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Merge branch 'main' into graph-tc-new
  • Loading branch information
@nojaf
nojaf authored Feb 6, 2023
commit 6221c2a14535f4e87fc804e4e493b68bd9ab2ced

This merge commit was added into this branch cleanly.

There are no new changes to show, but you can still view the diff.