Split TypedTreeOps.fs (12,569 lines) into 7 focused files#19521

Merged

abonie merged 33 commits intomainfrom

refactoring/typedtreeops

Apr 13, 2026

Commits on Apr 10, 2026

Create TypedTreeOps.Remap.fs and .fsi (Sprint 1 of 7)

T-Gro
and
Copilot
committed
Extract TypedTreeOps.ExprConstruction.fs/.fsi (File 2 of 7)

T-Gro
and
Copilot
committed
Extract TypedTreeOps.FreeVars.fs/.fsi (File 3 of 7)

T-Gro
and
Copilot
committed
Extract TypedTreeOps.Attributes.fs/.fsi (File 4 of 7)

T-Gro
and
Copilot
committed
Fix TypedTreeOps.Attributes.fsi: remove misplaced declarations

T-Gro
and
Copilot
committed
Extract TypedTreeOps.Remapping.fs/.fsi (File 5 of 7)

T-Gro
and
Copilot
committed
Extract TypedTreeOps.ExprOps.fs/.fsi (File 6 of 7)

T-Gro
and
Copilot
committed
Extract TypedTreeOps.Transforms.fs/.fsi (File 7 of 7)

T-Gro
and
Copilot
committed
Fix TypedTreeOps.Transforms.fsi: remove duplicates, misplaced declarations, fix module placement

T-Gro
and
Copilot
committed
Split TypedTreeOps into 7 files: wire up project, delete originals, fix cross-file deps

T-Gro
and
Copilot
committed
Create CommonContainers module in file 2, move container type helpers from file 4

T-Gro
and
Copilot
committed
Rename modules for coherence, move type constructors and encoding helpers

T-Gro
and
Copilot
committed
Round 2: Move misplaced functions to correct modules

T-Gro
and
Copilot
committed
Round 3: Move quotation type helpers to TypeConstruction

T-Gro
and
Copilot
committed
Round 4: Move type queries to TypeTesters, member helpers to Display

T-Gro
and
Copilot
committed
Round 5: Move CombineCcuContentFragments to SignatureOps

T-Gro
and
Copilot
committed
Rename TupleCompilation → LoopAndConstantOptimization

T-Gro
and
Copilot
committed
Move unblocked functions to correct modules

T-Gro
and
Copilot
committed
Move mkLabelled from AttribChecking to Makers

T-Gro
and
Copilot
committed
Break rec chain assumptions: move standalone functions to correct modules

T-Gro
and
Copilot
committed
Final placement fixes: isResumableCodeTy, mkArray, isSealedTy, export remapping

T-Gro
and
Copilot
committed
Move updateSeqTypeIsPrefix→SignatureOps, isTyparOrderMismatch→Display

T-Gro
and
Copilot
committed
Incorporate reviewer findings: move attribute/expr helpers to correct modules

T-Gro
and
Copilot
committed
Split TypeEncoding into XmlDocSignatures, NullnessAnalysis, TypeTestsAndPatterns

T-Gro
and
Copilot
committed
Split AttribChecking into ResumableCodePatterns, SeqExprPatterns, ExtensionAndMiscHelpers

T-Gro
and
Copilot
committed
Split TypeConstruction into MeasureOps, TypeBuilders, TypeAbbreviations, TypeDecomposition

T-Gro
and
Copilot
committed
Rename Display→MemberRepresentation, dissolve ExtensionAndMiscHelpers, split LoopAndConstantOptimization

T-Gro
and
Copilot
committed
Rename TypeTesters→TypeQueries, ExprHelpers→ExprTransforms, tighten ExprShapeQueries→ExprAnalysis

T-Gro
and
Copilot
committed
Fix B-grade outliers: rename CollectionTypes, move dest/is from Makers, move patterns from TupleCompilation

T-Gro
and
Copilot
committed
Rename TypeQueries back to TypeTesters

T-Gro
and
Copilot
committed
Remove accidentally committed scratch files

T-Gro
and
Copilot
committed
Fix FS0667: disambiguate cenv record update in IlxGen.fs

T-Gro
and
Copilot
committed
Apply fantomas formatting to all TypedTreeOps files

T-Gro
and
Copilot
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Split TypedTreeOps.fs (12,569 lines) into 7 focused files#19521

Split TypedTreeOps.fs (12,569 lines) into 7 focused files#19521
abonie merged 33 commits intomainfrom
refactoring/typedtreeops

Commits on Apr 10, 2026

Create TypedTreeOps.Remap.fs and .fsi (Sprint 1 of 7)

Extract TypedTreeOps.ExprConstruction.fs/.fsi (File 2 of 7)

Extract TypedTreeOps.FreeVars.fs/.fsi (File 3 of 7)

Extract TypedTreeOps.Attributes.fs/.fsi (File 4 of 7)

Fix TypedTreeOps.Attributes.fsi: remove misplaced declarations

Extract TypedTreeOps.Remapping.fs/.fsi (File 5 of 7)

Extract TypedTreeOps.ExprOps.fs/.fsi (File 6 of 7)

Extract TypedTreeOps.Transforms.fs/.fsi (File 7 of 7)

Fix TypedTreeOps.Transforms.fsi: remove duplicates, misplaced declarations, fix module placement

Split TypedTreeOps into 7 files: wire up project, delete originals, fix cross-file deps

Create CommonContainers module in file 2, move container type helpers from file 4

Rename modules for coherence, move type constructors and encoding helpers

Round 2: Move misplaced functions to correct modules

Round 3: Move quotation type helpers to TypeConstruction

Round 4: Move type queries to TypeTesters, member helpers to Display

Round 5: Move CombineCcuContentFragments to SignatureOps

Rename TupleCompilation → LoopAndConstantOptimization

Move unblocked functions to correct modules

Move mkLabelled from AttribChecking to Makers

Break rec chain assumptions: move standalone functions to correct modules

Final placement fixes: isResumableCodeTy, mkArray, isSealedTy, export remapping

Move updateSeqTypeIsPrefix→SignatureOps, isTyparOrderMismatch→Display

Incorporate reviewer findings: move attribute/expr helpers to correct modules

Split TypeEncoding into XmlDocSignatures, NullnessAnalysis, TypeTestsAndPatterns

Split AttribChecking into ResumableCodePatterns, SeqExprPatterns, ExtensionAndMiscHelpers

Split TypeConstruction into MeasureOps, TypeBuilders, TypeAbbreviations, TypeDecomposition

Rename Display→MemberRepresentation, dissolve ExtensionAndMiscHelpers, split LoopAndConstantOptimization

Rename TypeTesters→TypeQueries, ExprHelpers→ExprTransforms, tighten ExprShapeQueries→ExprAnalysis

Fix B-grade outliers: rename CollectionTypes, move dest/is from Makers, move patterns from TupleCompilation

Rename TypeQueries back to TypeTesters

Remove accidentally committed scratch files

Fix FS0667: disambiguate cenv record update in IlxGen.fs

Apply fantomas formatting to all TypedTreeOps files