[Ur] More questions

[Marc Weber]

1)
  Is using mapM the best choice?
  Haskell has sequence or sequence_
  Anyway: No inserts take place. What am I doing wrong?

    fun speed_test_insert () =
      let
        val numbers = Enum.to 1 10
      in
        dml (DELETE FROM st WHERE 1 = 1);
        list <- (List.mapM (fn i => dml (INSERT INTO st (Id, A, B, C) VALUES ({[i]}, {["TEXT A"]}, {["TEXT B"]}, {["TEXT C"]}) ) ) numbers);
        return (page "refreshed" <xml>{[show numbers]}</xml>)
      end


2)
  Tree demo:
      A witness that key belongs to the type class sql_injectable_prim,
      which indicates that both key and option key are fair game to use with SQL

  What does this exactly mean?
  Anyway: What about documenting that in basis.urs?

Marc Weber