F# SqlProvider: System.Exception: Error: no puede actualizar una entidad que no tiene una clave principal. (usuarios.públicos)

Estoy usando el proyecto de proveedor de tipos SQLProvider: https://fsprojects.github.io/SQLProvider/

Como dice la documentación sobre el uso de CRUD, estoy tratando de actualizar una fila como esta:

 let UpdateGpsLocation(gpsLocationDetails: UpdateGpsLocation) =
 let ctx = SQL.GetDataContext()
 let maybeFoundUser =
 query {
 for user in ctx.Public.Users do
  where(user.UserId = gpsLocationDetails.UserId)
  select(Some user)
  exactlyOneOrDefault
 }
 match maybeFoundUser with
 | Some user ->
 user.GpsLatitude <- Some gpsLocationDetails.Latitude
 user.GpsLongitude <- Some gpsLocationDetails.Longitude
 ctx.SubmitUpdates()
 | None -> failwithf "User %i not found" gpsLocationDetails.UserId

Pero está fallando con esto:

 System.Exception: Error - you cannot update an entity that does not have a primary key. (public.users)
 at FSharp.Data.Sql.Providers.PostgresqlProvider.createUpdateCommand(IDbConnection con, StringBuilder sb, SqlEntity entity, FSharpList`1 changedColumns)
 at <StartupCode$FSharp-Data-SqlProvider>.$Providers.Postgresql.FSharp-Data-Sql-Common-ISqlProvider-ProcessUpdates@1205-8.Invoke(SqlEntity e)
 at Microsoft.FSharp.Collections.SeqModule.Iterate[T](FSharpFunc`2 action, IEnumerable`1 source) in D:\a\_work\1\s\src\fsharp\FSharp.Core\seq.fs:line 497
 at FSharp.Data.Sql.Providers.PostgresqlProvider.FSharp-Data-Sql-Common-ISqlProvider-ProcessUpdates(IDbConnection con, ConcurrentDictionary`2 entities, TransactionOptions transactionOptions, FSharpOption`1 timeout)
 at <StartupCode$FSharp-Data-SqlProvider>.$SqlRuntime.DataContext.FSharp-Data-Sql-Common-ISqlDataContext-SubmitPendingChanges@110.Invoke(Unit unitVar0)
 at FSharp.Data.Sql.Runtime.SqlDataContext.FSharp-Data-Sql-Common-ISqlDataContext-SubmitPendingChanges()
 at BackendDataLayer.Access.UpdateGpsLocation(UpdateGpsLocation gpsLocationDetails) in C:\Users\knocte\Documents\Code\RunIntoMeMASTER\src\BackendDataLayer\Access.fs:line 34

¡Pero la tabla tiene una clave principal! En particular, está usando la SERIALfunción de PostgreSQL, de esta manera:

CREATE TABLE users (
 user_id SERIAL PRIMARY KEY
, gps_latitude FLOAT8
, gps_longitude FLOAT8
);

¿Es esto un error en el proyecto SqlProvider? ¿O tal vez solo en su componente PostgreSQL?

Solución del problema

Pude reproducir este problema, parece haber un problema con user_idel uso como nombre de columna aquí.

Esto es solo una solución, pero cambiar el nombre de la columna a "UserId"(¡comillas dobles incluidas!) solucionó el problema para mí.

Ver el nuevo esquema:

CREATE TABLE "Users" (
 "UserId" SERIAL PRIMARY KEY
, "GpsLatitude" FLOAT8
, "GpsLongitude" FLOAT8
);

(Si no usa las comillas dobles, se convertirá UserIdy Useridsu código F# no se compilará).