* Fetch array element at pointer, converted correctly to a Datum * * Caller must have handled case of NULL element */
| 4703 | * Caller must have handled case of NULL element |
| 4704 | */ |
| 4705 | static Datum |
| 4706 | ArrayCast(char *value, bool byval, int len) |
| 4707 | { |
| 4708 | return fetch_att(value, byval, len); |
| 4709 | } |
| 4710 | |
| 4711 | /* |
| 4712 | * Copy datum to *dest and return total space used (including align padding) |