Possibly wrong pattern for `union-type-case-data` in spec
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 2/5
- Tempo stimato
- 1-3 ore
- Idoneità per principianti
- 55/100
- Tipo di issue
- Documentazione
- Chiarezza
- Specificata chiaramente
- Stato di attività
- Ferma
- Stack tecnologico
- fsharp
- Ambito
- documentation
Direzione di ricerca
Inizia individuando la fonte per la pagina 139 della sezione sulla definizione dei tipi e confronta la grammatica documentata di union-type-case-data con gli esempi che vengono compilati e quelli che falliscono nell’issue. Aggiorna la grammatica in modo che il caso del tipo funzione corrisponda alla sintassi richiesta, quindi verifica che la specifica renderizzata rifletta la correzione.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
On a page 139 (8. Type definition) possible union cases listed as follow:
union-type-case-data :=
ident --null union case
ident of union-type-field * ... * union-type-field --n-ary union case
ident : uncurried-sig --n-ary union case
uncurried-sig :=
args-spec -> type
args-spec :=
arg-spec * ... * arg-spec
But this one doesn't compile:
type Test =
| A
| B of int*int
| C : int->int
with error:
Return types of union cases must be identical to the type being defined, up to abbreviations
This construct is deprecated: it is only for use in the F# library
But this one is correct:
type Test =
| A
| B of int*int
| C of (int->int) //parentheses are required
So probably union-type-case-data should look like:
union-type-case-data :=
ident --null union case
ident of union-type-field * ... * union-type-field --n-ary union case
ident of (uncurried-sig) --n-ary union case
- Lingua principale
- TeX
- Stelle
- 311
- Fork
- 292
- Metriche di merge delle PR
- Nessuna PR unita negli ultimi 30g
Preparare l'ambiente
Avvia il container di sviluppo del progetto nel browser, con il tuo account GitHub.
- Nessun Dockerfile né file Docker Compose
- Nessun modello di pull request
- Nessuna guida per i contributori
Come iniziare
- Leggi tutta la issue e poi la guida ai contributi del progetto.
- Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
- Fai un fork del repository e lavora su un branch.
- Apri una pull request che faccia riferimento al numero della issue.
Altre issue di fsharp/fsharp.org
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 88/100
fsharp/fsharp.org#1026 ·
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 72/100
fsharp/fsharp.org#1021 · 2 commenti · 1 reazione ·
-
!!! fabulous.dev -> https://fabulous-dev.github.io/Fabulous/Forse già presa Una pull request collegata a questa issue è aperta o già unita. Aperta
Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100
fsharp/fsharp.org#1024 ·
-
fabulous.dev now is scam websiteForse già presa Una pull request collegata a questa issue è aperta o già unita. Aperta
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 58/100
fsharp/fsharp.org#1023 · 2 commenti ·
-
N/AAperta
Difficoltà 5/5 Più di una settimana Idoneità per principianti 1/100
fsharp/fsharp.org#1019 ·
Tutte le issue di fsharp/fsharp.org
Issue simili
-
Clarify Javadoc for Logger methods taking Object... arguments with regards to Throwable detectionAperta
Difficoltà 2/5 1-3 ore Idoneità per principianti 68/100
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 68/100
521xueweihan/HelloGitHub#3855 ·
-
bug connectors operations
Difficoltà 2/5 1-3 ore Idoneità per principianti 72/100
pyinfra-dev/pyinfra#1989 ·
I maintainer di solito rispondono entro 3 giorni
-
skills.mdx: ReadResourceDirectoryRequest does not type-check against the 2026-07-28 base schemaAperta
Difficoltà 2/5 1-3 ore Idoneità per principianti 85/100
modelcontextprotocol/ext-skills#156 ·
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 72/100
neondatabase/website#6038 ·
I maintainer di solito rispondono entro 1 giorno