Are the integers really signed or unsigned?
Nadie ha tomado este issue todavía.
Evaluación
- Dificultad
- 4/5
- Tiempo estimado
- 3-5 días
- Aptitud para principiantes
- 30/100
Línea de trabajo
Compara las definiciones de los parámetros en src/lib.rs línea 2 y Main.lean línea 2 y, a continuación, sigue cómo la frontera FFI de Rust representa y pasa los valores. Determina si la discrepancia de signo es intencionada o un error; se considera terminado cuando el problema tiene una resolución documentada y las definiciones son coherentes si se requiere un cambio.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
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 🤯
- Lenguaje dominante
- Lean
- Estrellas
- 17
- Forks
- 2
- Métricas de merge de PR
- Sin PR fusionados en 30 d
Guía de contribución
No hay ninguna guía de contribución indexada para este repositorio
Primeros pasos
- Lee el issue completo y luego la guía de contribución del proyecto.
- Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
- Haz un fork del repositorio y trabaja en una rama.
- Abre un pull request que haga referencia al número del issue.
Issues similares
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 75/100
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 75/100
JakeChampion/lang#10213 ·
-
bug language-server
Dificultad 2/5 1-3 horas Aptitud para principiantes 70/100
purefunctor/purescript-iris#552 ·
-
enhancement good first issue needs testing
Dificultad 2/5 1-3 horas Aptitud para principiantes 75/100
-
bug
Dificultad 2/5 1-3 horas Aptitud para principiantes 75/100
bradcypert/plum#58 ·