Untagged variant accepts @as number literals that are the same JavaScript number
Maintainer antworten meist innerhalb von 1 Tag
Ein zugehöriger Pull Request wurde bereits gemerged.
- #8965 von @cknitt — gemerged
Bewertung
- Schwierigkeit
- 2/5
- Geschätzter Aufwand
- 1-3 Stunden
- Anfängerfreundlichkeit
- 77/100
- Issue-Typ
- Bug
- Klarheit
- Klar beschrieben
- Aktivitätsstatus
- Aktiv
- Tech-Stack
- javascript
- Bereich
- compilers
Rechercherichtung
Lies Regel 6 und die zugehörigen Tests in compiler/ml/UntaggedVariants.md und verfolge dann die Prüfung auf doppelte Literale, die Literale anhand ihrer Schreibweise vergleicht. Prüfe Fälle wie 1 und 1.0 sowie 1 und 4294967297 anhand ihrer JavaScript-Laufzeitwerte. Das Ziel ist erreicht, wenn gleichwertige JavaScript-Werte als doppelte @as-Fälle abgewiesen werden und Tests diese Beispiele abdecken.
Vom Indexierungsmodell aus dem Issue-Text verfasst.
Beschreibung
An untagged variant accepts two @as number literals that are the same JavaScript number, when they are spelled differently.
@unboxed type t = | @as(1) A | @as(1.0) B
let name = v => switch v { | A => "A" | B => "B" }
@inline(never) let id = x => x
Console.log2(name(B), name(id(B)))
Output: B A. B is the number 1 at run time, so a dispatched B matches A, while the folded name(B) returns "B".
The same holds for @as(1) A | @as(4294967297) B, because int literals are emitted as 32-bit: name(id(B)) returns "A".
Expected: the declaration is rejected, as for two @as(1) cases, because the literals are equal as JavaScript values.
The duplicate-literal check compares literals by spelling. The rule and its tests are in compiler/ml/UntaggedVariants.md (rule 6), in #8952.
- Vorherrschende Sprache
- OCaml
- Sterne
- 7.5k
- Forks
- 483
- Ø Merge
- 21 Std. 8 Min.
- Gemergte PRs (30 T.)
- 183
Entwicklungsumgebung
Startet den Dev-Container des Projekts im Browser, mit Ihrem eigenen GitHub-Konto.
- Kein Dockerfile und keine Docker-Compose-Datei
- Hat eine Pull-Request-Vorlage
- Beitragsleitfaden lesen
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
-
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 72/100
rescript-lang/rescript#8996 ·
Maintainer antworten meist innerhalb von 1 Tag
-
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 70/100
rescript-lang/rescript#8997 ·
Maintainer antworten meist innerhalb von 1 Tag
-
Schwierigkeit 4/5 1-2 Tage Anfängerfreundlichkeit 55/100
rescript-lang/rescript#8995 ·
Maintainer antworten meist innerhalb von 1 Tag
-
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 68/100
rescript-lang/rescript#8994 ·
Maintainer antworten meist innerhalb von 1 Tag
-
Issues from differential semantic drift analysis (a7721303 to b123b7c3)Evtl. vergeben @cknitt hat das heute übernommen. Offen
rescript-lang/rescript#8980 · 1 zugewiesene Person ·
Maintainer antworten meist innerhalb von 1 Tag
Alle Issues in rescript-lang/rescript
Ähnliche Issues
-
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 83/100
Maintainer antworten meist innerhalb von 1 Tag
-
bug P2
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 74/100
Maintainer antworten meist innerhalb von 1 Tag
-
duplicate
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 72/100
numba/numba#10939 · 1 Kommentar ·
Maintainer antworten meist innerhalb von 1 Tag
-
REPL and --show-tokens abort with "Token conversion not implemented yet" on .xor., byte and in outOffenbug low priority tokenizer
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 78/100
Maintainer antworten meist innerhalb von 1 Tag
-
Schwierigkeit 1/5 Unter einer Stunde Anfängerfreundlichkeit 76/100
WebAssembly/spec#2300 ·
Maintainer antworten meist innerhalb von 1 Tag