Are the integers really signed or unsigned?
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 4/5
- Tempo stimato
- 3-5 giorni
- Idoneità per principianti
- 30/100
Direzione di ricerca
Confronta le definizioni dei parametri alla riga 2 di src/lib.rs e alla riga 2 di Main.lean, quindi traccia il modo in cui il confine FFI di Rust rappresenta e passa i valori. Determina se la discordanza del segno è intenzionale o se si tratta di un bug; il lavoro è completato quando il problema ha una risoluzione documentata e le definizioni sono coerenti se è necessaria una modifica.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
Rust code defines the parameters to be signed i32:
https://github.com/lurk-lab/RustFFI.lean/blob/af3a8f68d1657d4db9cac43e9bbba0bec1aaf1ad/src/lib.rs#L2
But Lean defines them to be unsigned UInt32:
https://github.com/lurk-lab/RustFFI.lean/blob/af3a8f68d1657d4db9cac43e9bbba0bec1aaf1ad/Main.lean#L2
How does that even work 🤯
- Lingua principale
- Lean
- Stelle
- 17
- Fork
- 2
- Metriche di merge delle PR
- Nessuna PR unita negli ultimi 30g
Guida per i contributori
Nessuna guida per i contributori indicizzata per questo repository
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.
Issue simili
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 75/100
-
internal.h中，漏掉了1个定义。 Aperta
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 95/100
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 88/100
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 88/100
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 88/100
oxc-project/oxc#26944 ·