Word64 does not roundtrip through a database correctly

Abierto
#1,552 2 comentarios 0 reacciones 0 asignados Ver en GitHub

Nadie ha tomado este issue todavía.

Evaluación

Dificultad
5/5
Tiempo estimado
Más de una semana
Aptitud para principiantes
25/100
Tipo de issue
Error
Claridad
Necesita aclaración
Estado de actividad
Estancado
Stack tecnológico
haskell
Área
databases

Línea de trabajo

Comienza localizando la instancia Haskell Word64 PersistField y el manejo de PersistValue utilizado por los backends de base de datos compatibles. Compara cómo almacena y ordena cada backend los valores más allá de Int64, tomando como referencia el comportamiento de SQLite descrito en el issue. La tarea estará terminada cuando los valores Word64 conserven sus valores correctos y su orden de clasificación en todas las bases de datos compatibles.

Escrito por el modelo de indexación a partir del texto del issue.

Descripción

Bug Reports

The Word64 instance for PersistField does not roundtrip through databases correctly.
It uses fromIntegral for converting between Word64 and Int64.

While this does technically roundtrip, the database values will be silently wrong because negative values will be saved instead of positive ones.

Example:

This does technically roundtrip:

ghci> import Data.Word
ghci> import Data.Int
ghci> 2^64
18446744073709551616
ghci> fromIntegral (18446744073709551615  :: Word64) :: Int64
-1
ghci> fromIntegral (-1 :: Int64) :: Word64
18446744073709551615

BUT the database will contain -1, which does not sort in the same way.

Solutions

You could have another PersistValue constructor for Word64, but I'm not sure if all the "supported" databases support such a type.
As far as I can tell, sqlite supports larger integers by storing them as reals but I don't know about other databases:

sqlite> create table t1 (i INTEGER);
sqlite> insert into t1 values(18446744073709551615);
sqlite> insert into t1 values(0);
sqlite> insert into t1 values(1);
sqlite> select * from t1 order by i;
0
1
1.84467440737096e+19
sqlite> select typeof(i) from t1;
real
integer
integer
Lenguaje dominante
Haskell
Estrellas
486
Forks
307
Métricas de merge de PR
Sin PR fusionados en 30 d

Preparar el entorno

Primeros pasos

  1. Lee el issue completo y luego la guía de contribución del proyecto.
  2. Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
  3. Haz un fork del repositorio y trabaja en una rama.
  4. Abre un pull request que haga referencia al número del issue.

Más de yesodweb/persistent

Todos los issues de yesodweb/persistent

Issues similares

Más issues de Haskell

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.