Fix TypeInfo for the _record type

This issue was exposed in #153.

I don't like the fact that this change means the information in the
static table doesn't entirely agree with what would otherwise be fetched
dynamically by the Database.PostgreSQL.Simple.TypeInfo module, but
this does appear to be a special case,  and handling it here does seem
to be less worse then handling it there.

Plus,  now GenTypeInfo should be able to deal with array types,  so
we probably should strongly consider moving at least some of them into
the static table.

Author: lpsmith

src/Database/PostgreSQL/Simple/TypeInfo/Static.hs

@@ -63,6 +63,7 @@ module Database.PostgreSQL.Simple.TypeInfo.Static
      , refcursor
      , record
      , void
+     , array_record
      , uuid
      , json
      , jsonb
@@ -118,6 +119,7 @@ staticTypeInfo (Oid x) = case x of
     1790 -> Just refcursor
     2249 -> Just record
     2278 -> Just void
+    2287 -> Just array_record
     2950 -> Just uuid
     114  -> Just json
     3802 -> Just jsonb
@@ -483,6 +485,15 @@ void =  Basic {
     typname     = "void"
   }
 
+array_record :: TypeInfo
+array_record =  Array {
+    typoid      = Oid 2287,
+    typcategory = 'P',
+    typdelim    = ',',
+    typname     = "_record",
+    typelem     = record
+  }
+
 uuid :: TypeInfo
 uuid =  Basic {
     typoid      = Oid 2950,

tools/GenTypeInfo.hs

@@ -125,6 +125,7 @@ numeric
 refcursor
 record
 void
+_record array_record
 uuid
 json
 jsonb
@@ -187,6 +188,35 @@ renderElem byOid elemOid
                   Nothing -> error ("oid not found: " ++ show elemOid)
                   Just x  -> "Just " ++ bs (typname x)
 
+renderTypeInfo :: OidMap -> TypeInfo -> TypeName -> Blaze.Builder
+renderTypeInfo byOid info name
+  | typcategory info == 'A' || typname info == "_record" =
+     let (Just typelem_info)    = Map.lookup (typelem info) byOid
+         (Just typelem_hs_name) = lookup (typname typelem_info) typeNames
+      in concat
+           [ "\n"
+           , bs (hs name), " :: TypeInfo\n"
+           , bs (hs name), " =  Array {\n"
+           , "    typoid      = ", fromString (show (typoid info)), ",\n"
+           , "    typcategory = '", Blaze.fromChar (typcategory info), "',\n"
+           , "    typdelim    = '", Blaze.fromChar (typdelim info), "',\n"
+           , "    typname     = \"", bs (typname info), "\",\n"
+           , "    typelem     = ", bs typelem_hs_name, "\n"
+           , "  }\n"
+           ]
+  | typcategory info == 'R' = undefined
+  | otherwise =
+         concat
+           [ "\n"
+           , bs (hs name), " :: TypeInfo\n"
+           , bs (hs name), " =  Basic {\n"
+           , "    typoid      = ", fromString (show (typoid info)), ",\n"
+           , "    typcategory = '", Blaze.fromChar (typcategory info), "',\n"
+           , "    typdelim    = '", Blaze.fromChar (typdelim info), "',\n"
+           , "    typname     = \"", bs (typname info), "\"\n"
+           , "  }\n"
+           ]
+
 -- FIXME:  add in any names that we need that we didn't specify, (i.e.
 --         the "unknowns" in getTypeInfos
 --         and munge them into a valid haskell identifier if needed.
@@ -237,15 +267,6 @@ staticTypeInfo (Oid x) = case x of
    ++ [longstring|
     _ -> Nothing
 |]
-   ++ concat [concat
-              [ "\n"
-              , bs (hs name), " :: TypeInfo\n"
-              , bs (hs name), " =  Basic {\n"
-              , "    typoid      = ", fromString (show typoid), ",\n"
-              , "    typcategory = '", Blaze.fromChar typcategory, "',\n"
-              , "    typdelim    = '", Blaze.fromChar typdelim, "',\n"
-              , "    typname     = \"", bs typname, "\"\n"
-              , "  }\n"
-              ]
+   ++ concat [ renderTypeInfo byOid typeInfo name
              | name <- getNames byName names
-             ,  let (Just (TypeInfo{..})) = Map.lookup (pg name) byName])
+             ,  let (Just typeInfo) = Map.lookup (pg name) byName])