[Ur] need help with unification and field name disjointness proof failures

Fri Apr 7 10:26:49 EDT 2017

On Thu, 06 Apr 2017 16:53:50 -0400,
Benjamin Barenblat wrote:
>
> Er, excuse me. s/database/table/g. You can use `oneOrNoRows` to query
> multiple *tables* simultaneously.

Thanks a lot for the helpful explanation! Much appreciated.

Lesson learned: read the type signatures more thoroughly!

Marko
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 181 bytes
Desc: OpenPGP Digital Signature
URL: <http://www.impredicative.com/pipermail/ur/attachments/20170407/740a34f4/attachment-0001.sig>