TheAngryByrd / TheAngryByrd/fsharp2

Implement the differential harness and generic F# conformance manifest

Open
#26 0 comments 0 reactions 1 assignee View on GitHub

@TheAngryByrd is already working on this.

Since Aug 6, 2026.

wayfinder:task
Dominant language
F#
Stars
0
Forks
0
PR merge metrics
No merged PRs in 30d

Description

Parent: #8
Blocked by: #25

Outcome

Implement the versioned differential harness described by #5 and a compiler-owned conformance manifest organized by F# language construct and observable compiler behavior.

Acceptance criteria

  • A manifest describes ordered sources, signatures, target references, normalized options, expected diagnostics, artifacts, runtime probes, and comparator classes.
  • Compatibility Oracle and FSharp2 lanes run in isolated roots and differ only in compiler selection.
  • Focused positive and negative programs cover each declared feature row across parsing, typing, lowering, emission, loading, and execution where applicable.
  • The manifest tracks language-version and option coverage and distinguishes unsupported, failed, passed, and infrastructure-error outcomes.
  • Evidence proves no production fallback and supports exact, normalized, canonical-semantic, and behavioral comparisons without requiring byte-identical outputs.
  • Third-party projects are integration corpora, not sources of production branches or primary feature names.
  • Governed scheduling and performance statistics remain owned by #24.

Decision inputs

Issues #2, #4, #5, #6, #16, #17, and #18; ADRs 0005, 0006, 0008, 0010, 0014, 0023, and 0027.

This issue inherits the corpus-neutral acceptance policy in #8.

Contributor guide

No contributing guide indexed for this repository

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.