
<html>

  <head>

    <meta content="text/html; charset=windows-1252"

      http-equiv="Content-Type">

  </head>

  <body bgcolor="#FFFFFF" text="#000000">

    <div class="moz-cite-prefix">On 07/18/2015 03:44 PM, Stefan Scott

      Alexander wrote:<br>

    </div>

    <blockquote

cite="mid:CAFwK6au76=oQ7otcYFjEiO-gwjjSZ_zPxrwyYaZ6P1y4itrPBQ@mail.gmail.com"

      type="cite">

      <div dir="ltr">Apparently these compile errors are happening

        because:

        <div><br>

        </div>

        <div>- My code instantiates functions Show, Widget,

          WidgetPopulated and Parse, which are defined in crud.urs /

          crud.ur (in the Crud2 demo) and which are expected to return

          values of type xbody, xml, and db;</div>

        <div><br>

        </div>

        <div>- Meanwhile, my code uses Top.queryX1 and Top.oneRowE1

          which return values of "transactional" types - instead of the

          desired types xbody, xml and db.</div>

      </div>

    </blockquote>

    <br>

    I haven't read all the details of your issue report, but I think

    you're running into one of the standard "newbie" problems with

    monadic IO, in common with Haskell.  It is <i>intended</i> that the

    code you're writing can never be accepted in the fields where you're

    trying to put it.  Some fields are explicitly <i>not</i> given

    [transaction] types because they are not supposed to be able to

    cause side effects.  Allowing them to cause side effects would

    require changes to their types.<br>

  </body>

</html>