view demo/sql.ur @ 1909:659d1f4e95bf

make dist: Use fewer wildcards The remaining ones only work by accident: http://www.gnu.org/software/automake/manual/html_node/Wildcards.html and they have some practical problems too (we don?t really want to distribute include/urweb/config.h or src/config.sml), but this is enough for now to pass ?make distcheck? as long as we don?t run it from a separate build directory. Signed-off-by: Anders Kaseorg <andersk@mit.edu> --- Makefile.am | 6 +++--- src/c/Makefile.am | 2 +- 2 files changed, 4 insertions(+), 4 deletions(-)
author Anders Kaseorg <andersk@mit.edu>
date Fri, 22 Nov 2013 09:36:14 -0500
parents 5819fb63c93a
children
line wrap: on
line source
table t : { A : int, B : float, C : string, D : bool }
  PRIMARY KEY A

fun list () =
    rows <- queryX (SELECT * FROM t)
            (fn row => <xml><tr>
              <td>{[row.T.A]}</td> <td>{[row.T.B]}</td> <td>{[row.T.C]}</td> <td>{[row.T.D]}</td>
              <td><form><submit action={delete row.T.A} value="Delete"/></form></td>
            </tr></xml>);
    return <xml>
      <table border=1>
        <tr> <th>A</th> <th>B</th> <th>C</th> <th>D</th> </tr>
        {rows}
      </table>

      <br/><hr/><br/>

      <form>
        <table>
          <tr> <th>A:</th> <td><textbox{#A}/></td> </tr>
          <tr> <th>B:</th> <td><textbox{#B}/></td> </tr>
          <tr> <th>C:</th> <td><textbox{#C}/></td> </tr>
          <tr> <th>D:</th> <td><checkbox{#D}/></td> </tr>
          <tr> <th/> <td><submit action={add} value="Add Row"/></td> </tr>
        </table>
      </form>
    </xml>

and add r =
    dml (INSERT INTO t (A, B, C, D)
         VALUES ({[readError r.A]}, {[readError r.B]}, {[r.C]}, {[r.D]}));
    xml <- list ();
    return <xml><body>
      <p>Row added.</p>

      {xml}
    </body></xml>

and delete a () =
    dml (DELETE FROM t
         WHERE t.A = {[a]});
    xml <- list ();
    return <xml><body>
      <p>Row deleted.</p>

      {xml}
    </body></xml>

fun main () =
    xml <- list ();
    return <xml><body>
      {xml}
    </body></xml>