Text is decomposed in parts, instead of treated as Konstant by deriveFamily

[arianvp]

             
/home/arian/Documents/UU/Thesis/generics/generics-mrsop-diff/src/Examples/Lua.hs:9:1: error:
    GHC.Prim.ByteArray# is not a declaration
  |          
9 | deriveFamily [t| Stat |]
  | ^^^^^^^^^^^^^^^^^^^^^^^^

This error was due to the fact that Text from the text package is an ADT defined in terms of ByteArray# . How can I convince the deriveFamily machinery to pick it as an atom instead?

[arianvp]

Perhaps we should be able to provide our own consTable ?
ala:

consTable =       $ [ ( ''Int     , "KInt")
        , ( ''Char    , "KChar")
        , ( ''Integer , "KInteger")
        , ( ''Float   , "KFloat")
        , ( ''Bool    , "KBool")
        , ( ''String  , "KString")
        , ( ''Double  , "KDouble")
        , (''Text, "KTexT")
        ]

deriveFamily  'Stat consTable

[VictorCMiraldo]

yes! we should be able to do that. I will try implementing that today!

[arianvp]

We should also derive TestEquality for any Singl that we generate, as we need that for stuff like generic equality, and diffs.