JSX preserve mode generates invalid JSX for external component bindings

Offen

#8,047 erstellt am 01.12.2025 1 Kommentar 0 Reaktionen 0 zugewiesene Personen Auf GitHub ansehen

Dieses Issue hat noch niemand übernommen.

Bewertung

Schwierigkeit: 4/5
Geschätzter Aufwand: 3-5 Tage
Anfängerfreundlichkeit: 35/100

Issue-Typ: Bug
Klarheit: Größtenteils klar
Aktivitätsstatus: Veraltet
Tech-Stack: javascript, ocaml
Bereich: compilers, web-dev

Rechercherichtung

Beginne mit der verknüpften minimalen Reproduktion unter Verwendung von rescript.json, Preact.res und Test.res, und führe anschließend npx rescript build aus, um das generierte Test.jsx zu beobachten. Verfolge die generische JSX-preserve-Verarbeitung des Compilers für externe Komponentenbindungen und füge einen Regressionstest hinzu, der die ungültige Ausgabe der Pfeilfunktion abdeckt; fertig ist die Änderung, wenn gültiges JSX erzeugt wird, das der erwarteten Form SomeLib.Head entspricht.

Vom Indexierungsmodell aus dem Issue-Text verfasst.

Beschreibung

Thank you for filing! Check list:

Is it a bug? Usage questions should often be asked in the forum instead.
Concise, focused, friendly issue title & description.
A minimal, reproducible example.
OS and browser versions, if relevant.
Is it already fixed in master? Instructions

Summary

When using the generic JSX transform with "preserve": true, external component bindings generate invalid JSX syntax like <prim => Module.Component(prim)> instead of valid JSX.

ReScript Version

12.0.0

Minimal Reproduction

https://github.com/han-tyumi/rescript-jsx-preserve-bug

git clone https://github.com/han-tyumi/rescript-jsx-preserve-bug.git
cd rescript-jsx-preserve-bug
npm install
npx rescript build
cat Test.jsx

Files

rescript.json:

{
  "name": "preserve-bug",
  "sources": ["."],
  "package-specs": {
    "module": "esmodule",
    "in-source": true
  },
  "suffix": ".jsx",
  "jsx": {
    "module": "Preact",
    "preserve": true
  }
}

Preact.res (minimal bindings):

type element
type component<'props> = 'props => element

@module("preact/jsx-runtime")
external jsx: (component<'props>, 'props) => element = "jsx"

@module("preact/jsx-runtime")
external jsxs: (component<'props>, 'props) => element = "jsxs"

type fragmentProps = {children?: element}

@module("preact/jsx-runtime")
external jsxFragment: component<fragmentProps> = "Fragment"

type domProps = {children?: element}

module Elements = {
  external someElement: element => option<element> = "%identity"

  @module("preact/jsx-runtime")
  external jsx: (string, domProps) => element = "jsx"

  @module("preact/jsx-runtime")
  external jsxs: (string, domProps) => element = "jsxs"
}

Test.res:

// Component module pattern with external make
module Head = {
  type props = {children?: Preact.element}
  @module("some-lib")
  external make: props => Preact.element = "Head"
}

// Using the component
let test = <Head> <div /> </Head>

Expected Output

Valid JSX that can be processed by standard JSX transformers:

let test = <SomeLib.Head>
  <div />
</SomeLib.Head>;

Actual Output

Invalid JSX with arrow function syntax:

let test = <prim => SomeLib.Head(prim)>
  {Primitive_option.some(<div />)}
</prim => SomeLib.Head(prim)>;

Notes

Lowercase DOM elements work correctly in preserve mode (e.g., <div> stays as <div>)
Internal component modules (with ReScript-defined make functions) work correctly (e.g., <MyComponent.make>)
External component bindings produce the invalid arrow function syntax shown above

This prevents using preserve mode with frameworks like Preact/Fresh where you need to bind to external components.

Vorherrschende Sprache: OCaml
Sterne: 7.5k
Forks: 485
Ø Merge: 1 T. 2 Std.
Gemergte PRs (30 T.): 55

Beitragsleitfaden

Beitragsleitfaden öffnen

Erste Schritte

Lesen Sie das ganze Issue und danach den Beitragsleitfaden des Projekts.
Schreiben Sie ins Issue, dass Sie es übernehmen — das erspart doppelte Arbeit.
Forken Sie das Repository und arbeiten Sie in einem Branch.
Öffnen Sie einen Pull Request, der die Issue-Nummer nennt.

Mehr aus rescript-lang/rescript

Rewatch: in-process bsc prototype Offen

Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 35/100

rescript-lang/rescript#8659 · 2 Kommentare · 2 Reaktionen · Erstellt am 15.9.2026
reanalyze: duplicated batch/reactive pipelines have silently drifted; the editor runs the untested one Offen

Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 35/100

rescript-lang/rescript#8647 · Erstellt am 10.9.2026
Untagged variants: boolean literal/payload overlap is rejected while string, int, float and bigint overlap is allowed Offen

rescript-lang/rescript#8632 · 1 zugewiesene Person · Erstellt am 06.9.2026
Stamp parsetree v1: what remains before the AST can be frozen for PPXs Offen

Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 28/100

rescript-lang/rescript#8624 · Erstellt am 04.9.2026
RFC: Unified Xote-based playground Offen

Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 30/100

rescript-lang/rescript#8596 · 2 Kommentare · Erstellt am 29.8.2026

Alle Issues in rescript-lang/rescript