Skip to content

chore: remove unused fsharp parser#560

Merged
yosefAlsuhaibani merged 1 commit intomainfrom
yosef/rm-fsharp
Feb 11, 2026
Merged

chore: remove unused fsharp parser#560
yosefAlsuhaibani merged 1 commit intomainfrom
yosef/rm-fsharp

Conversation

@yosefAlsuhaibani
Copy link
Contributor

@yosefAlsuhaibani yosefAlsuhaibani commented Feb 6, 2026

Part of a stack of PRs that aims to migrate our parsers from 0.20.6 to 0.22.6. It seems like the Semgrep fsharp parser was never integrated to semgrep/semgrep and is a user of 0.20.6; instead of preforming the migration, we'll just remove the parser.

Checklist

  • Any new parsing code was already published, integrated, and merged into Semgrep. DO NOT MERGE THIS PR BEFORE THE SEMGREP INTEGRATION WORK WAS COMPLETED.
  • Change has no security implications (otherwise, ping the security team)

Copy link
Contributor Author

yosefAlsuhaibani commented Feb 6, 2026

@yosefAlsuhaibani yosefAlsuhaibani marked this pull request as ready for review February 6, 2026 18:45
@yosefAlsuhaibani yosefAlsuhaibani requested a review from a team as a code owner February 6, 2026 18:45
@yosefAlsuhaibani yosefAlsuhaibani requested review from ajbt200128 and removed request for a team February 6, 2026 18:45
@yosefAlsuhaibani yosefAlsuhaibani marked this pull request as draft February 6, 2026 18:45
@yosefAlsuhaibani yosefAlsuhaibani changed the title chore: remove fsharp chore: remove unused fsharp parser Feb 6, 2026
@yosefAlsuhaibani yosefAlsuhaibani force-pushed the yosef/rm-vue branch 2 times, most recently from 0d3ffb5 to aaad9b3 Compare February 6, 2026 18:52
@yosefAlsuhaibani yosefAlsuhaibani marked this pull request as ready for review February 10, 2026 18:31
Copy link
Contributor Author

yosefAlsuhaibani commented Feb 11, 2026

Merge activity

  • Feb 11, 7:20 PM UTC: A user started a stack merge that includes this pull request via Graphite.
  • Feb 11, 7:24 PM UTC: Graphite rebased this pull request as part of a merge.
  • Feb 11, 7:24 PM UTC: @yosefAlsuhaibani merged this pull request with Graphite.

@yosefAlsuhaibani yosefAlsuhaibani changed the base branch from yosef/rm-vue to graphite-base/560 February 11, 2026 19:20
@yosefAlsuhaibani yosefAlsuhaibani changed the base branch from graphite-base/560 to main February 11, 2026 19:22
@yosefAlsuhaibani yosefAlsuhaibani merged commit 653e2f5 into main Feb 11, 2026
4 checks passed
@yosefAlsuhaibani yosefAlsuhaibani deleted the yosef/rm-fsharp branch February 11, 2026 19:24
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.

2 participants