Improve error message when adding type to generic application

Offen

#7,969 erstellt am 17.10.2025 2 Kommentare 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: ocaml
Bereich: compilers

Rechercherichtung

Beginne mit dem ReScript Try-Reproducer im Issue und verfolge die Type-Error-Berichterstattung des Compilers für die generische Anwendung von React.useRef. Die Arbeit ist abgeschlossen, wenn diese ungültige Syntax eine Diagnose erzeugt, die das Syntaxproblem erklärt, statt fälschlicherweise zu sagen, dass WebAPI.DOMAPI.element nicht gefunden werden kann.

Vom Indexierungsmodell aus dem Issue-Text verfasst.

Beschreibung

Consider

https://rescript-lang.org/try?version=v12.0.0-beta.13&module=esmodule&code=LYewJgrgNgpgBAdRgIwIIAUCScC8cDeAUHAJCiSxwAiA8gLIbZ5EkkAuAngA7wyzAwAdm2JwAvnEJjChWGzh8YA4QCUYAMwDCIAE46YAY3kAuOGoCGRgHT71AHgBy0KOeSwrbO0jRYrtBr6KymwAfCG4ZjCWbFYQAM4wauoAFE5QLm4wVoLOAJSyMPJBQmxJERbW8YkaXiiMfvT1xcIhqc6u7jnp+UA

module WebAPI = {
 	module DOMAPI = {
		type element
  } 
}

let elementRefCorrect : React.ref<Nullable.t<WebAPI.DOMAPI.element>> = React.useRef(Nullable.null)
let elementRef = React.useRef<WebAPI.DOMAPI.element>(Nullable.null)

In F#, you can specify the React.useRef<WebAPI.DOMAPI.element> syntax.
I can live with the fact that ReScript doesn't have the same syntax as F#.
But the error message is very confusing:

Type Errors
[E] Line 8, column 30:
The value element can't be found in WebAPI.DOMAPI

The type does exists, whatever I'm going for syntax-wise is the issue here.
Could we improve this?
Thoughts @zth?

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