Cultural Sublimation <cultural_sublimation(at)yahoo(dot)com> writes:
>> Interesting. What language are you using?
> OCaml. The type-safety comes from the PG'OCaml bindings, which basically
> check if the types in the database are consistent with the types in the
> program.
Unfortunately for you, they are not different types. If the OCaml
binding thinks they are, it's the binding's problem; especially since
the binding seems to be using a completely lame method of trying to tell
the difference.
regards, tom lane