SQL types are wrong for shared primary keys

[parsonsmatt]

This module demonstrates the problem.

{-# LANGUAGE TypeApplications, DeriveGeneric #-}
{-# LANGUAGE ExistentialQuantification #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE QuasiQuotes #-}
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE UndecidableInstances #-}
{-# LANGUAGE DerivingStrategies #-}
{-# LANGUAGE StandaloneDeriving #-}

module SharedPrimaryKeyTest where

import TemplateTestImports

import Database.Persist
import Database.Persist.Sql
import Database.Persist.Sql.Util
import Database.Persist.TH

share [ mkPersist sqlSettings ] [persistLowerCase|

User
    name    String

Profile
    Id      UserId
    email   String

|]

specs :: Spec
specs = describe "Shared Primary Keys" $ do

As of now, this doesn't even compile.

/home/matt/Projects/persistent/persistent-template/test/SharedPrimaryKeyTest.hs:23:51: error:
    • Not in scope: type constructor or class ‘UserId’
    • In the quasi-quotation:
        [persistLowerCase|
            
User        
    name    String
            
Profile     
    Id      UserId
    email   String
            
|]          
   |        
23 | share [ mkPersist sqlSettings ] [persistLowerCase|
   |                                                   ^...
   

Switching Profile to using a userId UserId; Primary userId works. But that's pretty weird, I'd except UserId to have the same resolution with Id as it would for userId.

You can get Clever by doing a (Key User) instead. Then the PersistFieldSql is right, but the actual entityId on the field definition is wrong.