[Ur] Now using queryL1 instead of queryX1 - No longer getting monadic IO "unification failure" errors, now just getting mismatched tag errors

[Adam Chlipala]

I haven't read the bulk of your messages in this thread, but I notice a 
clear syntax error below:

On 07/19/2015 03:28 AM, Stefan Scott Alexander wrote:
>   statusOptions <-
>     queryX1 (SELECT Id, Nam FROM status ORDER BY Nam)
>     (fn r => <xml><coption value={r.Id}>{r.Nam}</coption></xml>);
>     return;
>     <xml>
>       <select{nm}>
>         {statusOptions}
>       </select>
>     </xml>)
>

It's never correct to have [return;] alone on a line by itself.  
[return] is a function that takes an argument.  Probably you can just 
remove that line.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20150719/a9eea037/attachment.html>