<html>
  <head>
    <meta content="text/html; charset=windows-1252"
      http-equiv="Content-Type">
  </head>
  <body bgcolor="#FFFFFF" text="#000000">
    <div class="moz-cite-prefix">I did some trail and error and saw this
      :<br>
      <br>
c(db).                                                                                                                                                                             
      <div data-row="2" class="terminal-row">{ok,db}                                                                                                                                                                                </div>
      <div data-row="3" class="terminal-row">14> Db1 = db:new().                                                                                                                                                                    </div>
      <div data-row="4" class="terminal-row">[]                                                                                                                                                                                     </div>
      <div data-row="5" class="terminal-row">15> Db2 = db:destroy(Db1).                                                                                                                                                             </div>
      <div data-row="6" class="terminal-row">** exception error: no match of right hand side value ok                                                                                                                               </div>
      <div data-row="7" class="terminal-row">16> db:destroy(Db1).                                                                                                                                                                   </div>
      ok                  <br>
      <br>
      So it seems you do not have to use a variable when destroying. <br>
      <br>
      Roelof<br>
      <br>
      <br>
      <br>
      Rick Pettit schreef op 29-1-2015 om 20:40:<br>
    </div>
    <blockquote
      cite="mid:20C06585-CD06-4404-9EB3-D5D5529580BD@vailsys.com"
      type="cite">
      <meta http-equiv="Content-Type" content="text/html;
        charset=windows-1252">
      Oops, meant to add that as for the exception error no match of
      right hand side value ok, is it possible you previously bound the
      variable Db2 at the shell?
      <div class=""><br class="">
      </div>
      <div class="">If so, then though what you have appears to be an
        assignment, it is actually a match, and one which has failed
        because Db2 has been bound to a value other than ‘ok’.</div>
      <div class=""><br class="">
      </div>
      <div class="">You can do the following if you want the shell to
        “forget” about Db2’s previous value, effectively unbinding it
        and allowing for a subsequent assignment to a different value:</div>
      <div class=""><br class="">
      </div>
      <div class="">    f(Db2).</div>
      <div class=""><br class="">
      </div>
      <div class="">-Rick</div>
      <div class=""><br class="">
        <div>
          <blockquote type="cite" class="">
            <div class="">On Jan 29, 2015, at 1:38 PM, Rick Pettit <<a
                moz-do-not-send="true" href="mailto:rpettit@vailsys.com"
                class="">rpettit@vailsys.com</a>> wrote:</div>
            <br class="Apple-interchange-newline">
            <div class="">
              <meta http-equiv="Content-Type" content="text/html;
                charset=windows-1252" class="">
              <div style="word-wrap: break-word; -webkit-nbsp-mode:
                space; -webkit-line-break: after-white-space;" class="">Your
                db:destroy/1 function doesn’t use the parameter passed
                in—thus the error about ‘Db’ being unused.
                <div class=""><br class="">
                </div>
                <div class="">Since nothing is actually being
                  “destroyed” there, you have a couple options:</div>
                <div class=""><br class="">
                </div>
                <div class="">  (1) modify destroy so it takes no
                  arguments (kind of pointless—might as well do away
                  with the function altogether)</div>
                <div class=""><br class="">
                </div>
                <div class="">  (2) rewrite the function head like so to
                  inform the compiler you don’t care to use Db in the
                  function body:</div>
                <div class=""><br class="">
                </div>
                <div class="">destroy(_Db) -></div>
                <div class="">  ok.</div>
                <div class=""><br class="">
                </div>
                <div class=""><br class="">
                </div>
                <div class=""><br class="">
                </div>
                <div class="">-Rick</div>
                <div class=""><br class="">
                  <div class="">
                    <blockquote type="cite" class="">
                      <div class="">On Jan 29, 2015, at 1:25 PM, Roelof
                        Wobben <<a moz-do-not-send="true"
                          href="mailto:r.wobben@home.nl" class="">r.wobben@home.nl</a>>
                        wrote:</div>
                      <br class="Apple-interchange-newline">
                      <div class="">
                        <div class="moz-cite-prefix" style="font-family:
                          Helvetica; font-size: 12px; font-style:
                          normal; font-variant: normal; font-weight:
                          normal; letter-spacing: normal; line-height:
                          normal; orphans: auto; text-align: start;
                          text-indent: 0px; text-transform: none;
                          white-space: normal; widows: auto;
                          word-spacing: 0px; -webkit-text-stroke-width:
                          0px; background-color: rgb(255, 255, 255);">Rick
                          Pettit schreef op 29-1-2015 om 20:16:<br
                            class="">
                        </div>
                        <blockquote
                          cite="mid:55690AB8-242D-4061-BC51-97846B0E76DB@vailsys.com"
                          type="cite" style="font-family: Helvetica;
                          font-size: 12px; font-style: normal;
                          font-variant: normal; font-weight: normal;
                          letter-spacing: normal; line-height: normal;
                          orphans: auto; text-align: start; text-indent:
                          0px; text-transform: none; white-space:
                          normal; widows: auto; word-spacing: 0px;
                          -webkit-text-stroke-width: 0px;
                          background-color: rgb(255, 255, 255);"
                          class="">Comments inline below.
                          <div class=""><br class="">
                          </div>
                          <div class="">-Rick</div>
                          <div class=""><br class="">
                            <div class="">
                              <blockquote type="cite" class="">
                                <div class="">On Jan 29, 2015, at 1:14
                                  PM, Roelof Wobben <<a
                                    moz-do-not-send="true"
                                    href="mailto:r.wobben@home.nl"
                                    class="">r.wobben@home.nl</a>>
                                  wrote:</div>
                                <br class="Apple-interchange-newline">
                                <div class="">
                                  <div bgcolor="#FFFFFF" text="#000000"
                                    class="">
                                    <div class="moz-cite-prefix"><a
                                        moz-do-not-send="true"
                                        class="moz-txt-link-abbreviated"
                                        href="mailto:e@bestmx.net">e@bestmx.net</a><span
                                        class="Apple-converted-space"> </span>schreef
                                      op 29-1-2015 om 20:06:<br class="">
                                    </div>
                                    <blockquote
                                      cite="mid:54CA84BD.6090908@bestmx.net"
                                      type="cite" class="">
                                      <blockquote type="cite" class="">So
                                        i have to make a tuple of the
                                        data and add it in a list.<span
                                          class="Apple-converted-space"> </span><br
                                          class="">
                                        <br class="">
                                        I thought I could do something
                                        like this :<span
                                          class="Apple-converted-space"> </span><br
                                          class="">
                                        <br class="">
                                        write(Key, Data, Db) -><span
                                          class="Apple-converted-space"> </span><br
                                          class="">
                                          <span
                                          class="Apple-converted-space"> </span>[
                                        {key, data} | Db ]<span
                                          class="Apple-converted-space"> </span><br
                                          class="">
                                        <br class="">
                                        but then I see some error
                                        messages.<span
                                          class="Apple-converted-space"> </span><br
                                          class="">
                                      </blockquote>
                                      <br class="">
                                      what messages?<span
                                        class="Apple-converted-space"> </span><br
                                        class="">
                                      <br class="">
                                      as far as i can _theorize_<span
                                        class="Apple-converted-space"> </span><br
                                        class="">
                                      the most probably your Db is not a
                                      list, and it should be.<span
                                        class="Apple-converted-space"> </span><br
                                        class="">
_______________________________________________<span
                                        class="Apple-converted-space"> </span><br
                                        class="">
                                      erlang-questions mailing list<span
                                        class="Apple-converted-space"> </span><br
                                        class="">
                                      <a moz-do-not-send="true"
                                        class="moz-txt-link-abbreviated"
href="mailto:erlang-questions@erlang.org">erlang-questions@erlang.org</a><span
                                        class="Apple-converted-space"> </span><br
                                        class="">
                                      <a moz-do-not-send="true"
                                        class="moz-txt-link-freetext"
                                        href="http://erlang.org/mailman/listinfo/erlang-questions">http://erlang.org/mailman/listinfo/erlang-questions</a><span
                                        class="Apple-converted-space"> </span><br
                                        class="">
                                      <br class="">
                                    </blockquote>
                                    <br class="">
                                    Here is my code so far :<span
                                      class="Apple-converted-space"> </span><br
                                      class="">
                                    <br class="">
                                    -module(db).<br class="">
                                    <br class="">
                                    -export([new/0, destroy/1]).<br
                                      class="">
                                    <br class="">
                                    new() -><br class="">
                                     <span class="Apple-converted-space"> </span>[].<br
                                      class="">
                                    <br class="">
                                    destroy(Db) -><br class="">
                                     <span class="Apple-converted-space"> </span>{ok}.<br
                                      class="">
                                  </div>
                                </div>
                              </blockquote>
                              <div class=""><br class="">
                              </div>
                              <div class="">Why are you returning a
                                tuple here instead of simply ‘ok’ ?</div>
                              <br class="">
                            </div>
                          </div>
                        </blockquote>
                        <br style="font-family: Helvetica; font-size:
                          12px; font-style: normal; font-variant:
                          normal; font-weight: normal; letter-spacing:
                          normal; line-height: normal; orphans: auto;
                          text-align: start; text-indent: 0px;
                          text-transform: none; white-space: normal;
                          widows: auto; word-spacing: 0px;
                          -webkit-text-stroke-width: 0px;
                          background-color: rgb(255, 255, 255);"
                          class="">
                        <span style="font-family: Helvetica; font-size:
                          12px; font-style: normal; font-variant:
                          normal; font-weight: normal; letter-spacing:
                          normal; line-height: normal; orphans: auto;
                          text-align: start; text-indent: 0px;
                          text-transform: none; white-space: normal;
                          widows: auto; word-spacing: 0px;
                          -webkit-text-stroke-width: 0px;
                          background-color: rgb(255, 255, 255); float:
                          none; display: inline !important;" class="">Because
                          of this output :<span
                            class="Apple-converted-space"> </span></span><br
                          style="font-family: Helvetica; font-size:
                          12px; font-style: normal; font-variant:
                          normal; font-weight: normal; letter-spacing:
                          normal; line-height: normal; orphans: auto;
                          text-align: start; text-indent: 0px;
                          text-transform: none; white-space: normal;
                          widows: auto; word-spacing: 0px;
                          -webkit-text-stroke-width: 0px;
                          background-color: rgb(255, 255, 255);"
                          class="">
                        <br style="font-family: Helvetica; font-size:
                          12px; font-style: normal; font-variant:
                          normal; font-weight: normal; letter-spacing:
                          normal; line-height: normal; orphans: auto;
                          text-align: start; text-indent: 0px;
                          text-transform: none; white-space: normal;
                          widows: auto; word-spacing: 0px;
                          -webkit-text-stroke-width: 0px;
                          background-color: rgb(255, 255, 255);"
                          class="">
                        <div data-row="1" class="terminal-row"
                          style="font-family: Helvetica; font-size:
                          12px; font-style: normal; font-variant:
                          normal; font-weight: normal; letter-spacing:
                          normal; line-height: normal; orphans: auto;
                          text-align: start; text-indent: 0px;
                          text-transform: none; white-space: normal;
                          widows: auto; word-spacing: 0px;
                          -webkit-text-stroke-width: 0px;
                          background-color: rgb(255, 255, 255);">10> c(db).                                                                                                                                                                             </div>
                        <div data-row="2" class="terminal-row"
                          style="font-family: Helvetica; font-size:
                          12px; font-style: normal; font-variant:
                          normal; font-weight: normal; letter-spacing:
                          normal; line-height: normal; orphans: auto;
                          text-align: start; text-indent: 0px;
                          text-transform: none; white-space: normal;
                          widows: auto; word-spacing: 0px;
                          -webkit-text-stroke-width: 0px;
                          background-color: rgb(255, 255, 255);">db.erl:8: Warning: variable 'Db' is unused                                                                                                                                             </div>
                        <div data-row="3" class="terminal-row"
                          style="font-family: Helvetica; font-size:
                          12px; font-style: normal; font-variant:
                          normal; font-weight: normal; letter-spacing:
                          normal; line-height: normal; orphans: auto;
                          text-align: start; text-indent: 0px;
                          text-transform: none; white-space: normal;
                          widows: auto; word-spacing: 0px;
                          -webkit-text-stroke-width: 0px;
                          background-color: rgb(255, 255, 255);">{ok,db}                                                                                                                                                                                </div>
                        <div data-row="4" class="terminal-row"
                          style="font-family: Helvetica; font-size:
                          12px; font-style: normal; font-variant:
                          normal; font-weight: normal; letter-spacing:
                          normal; line-height: normal; orphans: auto;
                          text-align: start; text-indent: 0px;
                          text-transform: none; white-space: normal;
                          widows: auto; word-spacing: 0px;
                          -webkit-text-stroke-width: 0px;
                          background-color: rgb(255, 255, 255);">11> Db1 = db:new().                                                                                                                                                                    </div>
                        <div data-row="5" class="terminal-row"
                          style="font-family: Helvetica; font-size:
                          12px; font-style: normal; font-variant:
                          normal; font-weight: normal; letter-spacing:
                          normal; line-height: normal; orphans: auto;
                          text-align: start; text-indent: 0px;
                          text-transform: none; white-space: normal;
                          widows: auto; word-spacing: 0px;
                          -webkit-text-stroke-width: 0px;
                          background-color: rgb(255, 255, 255);">[]                                                                                                                                                                                     </div>
                        <div data-row="6" class="terminal-row"
                          style="font-family: Helvetica; font-size:
                          12px; font-style: normal; font-variant:
                          normal; font-weight: normal; letter-spacing:
                          normal; line-height: normal; orphans: auto;
                          text-align: start; text-indent: 0px;
                          text-transform: none; white-space: normal;
                          widows: auto; word-spacing: 0px;
                          -webkit-text-stroke-width: 0px;
                          background-color: rgb(255, 255, 255);">12> Db2 = db:destroy(Db1).                                                                                                                                                             </div>
                        <span style="font-family: Helvetica; font-size:
                          12px; font-style: normal; font-variant:
                          normal; font-weight: normal; letter-spacing:
                          normal; line-height: normal; orphans: auto;
                          text-align: start; text-indent: 0px;
                          text-transform: none; white-space: normal;
                          widows: auto; word-spacing: 0px;
                          -webkit-text-stroke-width: 0px;
                          background-color: rgb(255, 255, 255); float:
                          none; display: inline !important;" class="">** exception error: no match of right hand side value ok         <span
                            class="Apple-converted-space"> </span></span><br
                          style="font-family: Helvetica; font-size:
                          12px; font-style: normal; font-variant:
                          normal; font-weight: normal; letter-spacing:
                          normal; line-height: normal; orphans: auto;
                          text-align: start; text-indent: 0px;
                          text-transform: none; white-space: normal;
                          widows: auto; word-spacing: 0px;
                          -webkit-text-stroke-width: 0px;
                          background-color: rgb(255, 255, 255);"
                          class="">
                        <br style="font-family: Helvetica; font-size:
                          12px; font-style: normal; font-variant:
                          normal; font-weight: normal; letter-spacing:
                          normal; line-height: normal; orphans: auto;
                          text-align: start; text-indent: 0px;
                          text-transform: none; white-space: normal;
                          widows: auto; word-spacing: 0px;
                          -webkit-text-stroke-width: 0px;
                          background-color: rgb(255, 255, 255);"
                          class="">
                        <span style="font-family: Helvetica; font-size:
                          12px; font-style: normal; font-variant:
                          normal; font-weight: normal; letter-spacing:
                          normal; line-height: normal; orphans: auto;
                          text-align: start; text-indent: 0px;
                          text-transform: none; white-space: normal;
                          widows: auto; word-spacing: 0px;
                          -webkit-text-stroke-width: 0px;
                          background-color: rgb(255, 255, 255); float:
                          none; display: inline !important;" class="">When
                          I do this :<span class="Apple-converted-space"> </span></span><br
                          style="font-family: Helvetica; font-size:
                          12px; font-style: normal; font-variant:
                          normal; font-weight: normal; letter-spacing:
                          normal; line-height: normal; orphans: auto;
                          text-align: start; text-indent: 0px;
                          text-transform: none; white-space: normal;
                          widows: auto; word-spacing: 0px;
                          -webkit-text-stroke-width: 0px;
                          background-color: rgb(255, 255, 255);"
                          class="">
                        <br style="font-family: Helvetica; font-size:
                          12px; font-style: normal; font-variant:
                          normal; font-weight: normal; letter-spacing:
                          normal; line-height: normal; orphans: auto;
                          text-align: start; text-indent: 0px;
                          text-transform: none; white-space: normal;
                          widows: auto; word-spacing: 0px;
                          -webkit-text-stroke-width: 0px;
                          background-color: rgb(255, 255, 255);"
                          class="">
                        <span style="font-family: Helvetica; font-size:
                          12px; font-style: normal; font-variant:
                          normal; font-weight: normal; letter-spacing:
                          normal; line-height: normal; orphans: auto;
                          text-align: start; text-indent: 0px;
                          text-transform: none; white-space: normal;
                          widows: auto; word-spacing: 0px;
                          -webkit-text-stroke-width: 0px;
                          background-color: rgb(255, 255, 255); float:
                          none; display: inline !important;" class="">-module(db).</span><br
                          style="font-family: Helvetica; font-size:
                          12px; font-style: normal; font-variant:
                          normal; font-weight: normal; letter-spacing:
                          normal; line-height: normal; orphans: auto;
                          text-align: start; text-indent: 0px;
                          text-transform: none; white-space: normal;
                          widows: auto; word-spacing: 0px;
                          -webkit-text-stroke-width: 0px;
                          background-color: rgb(255, 255, 255);"
                          class="">
                        <br style="font-family: Helvetica; font-size:
                          12px; font-style: normal; font-variant:
                          normal; font-weight: normal; letter-spacing:
                          normal; line-height: normal; orphans: auto;
                          text-align: start; text-indent: 0px;
                          text-transform: none; white-space: normal;
                          widows: auto; word-spacing: 0px;
                          -webkit-text-stroke-width: 0px;
                          background-color: rgb(255, 255, 255);"
                          class="">
                        <span style="font-family: Helvetica; font-size:
                          12px; font-style: normal; font-variant:
                          normal; font-weight: normal; letter-spacing:
                          normal; line-height: normal; orphans: auto;
                          text-align: start; text-indent: 0px;
                          text-transform: none; white-space: normal;
                          widows: auto; word-spacing: 0px;
                          -webkit-text-stroke-width: 0px;
                          background-color: rgb(255, 255, 255); float:
                          none; display: inline !important;" class="">-export([new/0,
                          destroy/1, write/3]).</span><br
                          style="font-family: Helvetica; font-size:
                          12px; font-style: normal; font-variant:
                          normal; font-weight: normal; letter-spacing:
                          normal; line-height: normal; orphans: auto;
                          text-align: start; text-indent: 0px;
                          text-transform: none; white-space: normal;
                          widows: auto; word-spacing: 0px;
                          -webkit-text-stroke-width: 0px;
                          background-color: rgb(255, 255, 255);"
                          class="">
                        <br style="font-family: Helvetica; font-size:
                          12px; font-style: normal; font-variant:
                          normal; font-weight: normal; letter-spacing:
                          normal; line-height: normal; orphans: auto;
                          text-align: start; text-indent: 0px;
                          text-transform: none; white-space: normal;
                          widows: auto; word-spacing: 0px;
                          -webkit-text-stroke-width: 0px;
                          background-color: rgb(255, 255, 255);"
                          class="">
                        <span style="font-family: Helvetica; font-size:
                          12px; font-style: normal; font-variant:
                          normal; font-weight: normal; letter-spacing:
                          normal; line-height: normal; orphans: auto;
                          text-align: start; text-indent: 0px;
                          text-transform: none; white-space: normal;
                          widows: auto; word-spacing: 0px;
                          -webkit-text-stroke-width: 0px;
                          background-color: rgb(255, 255, 255); float:
                          none; display: inline !important;" class="">new()
                          -></span><br style="font-family: Helvetica;
                          font-size: 12px; font-style: normal;
                          font-variant: normal; font-weight: normal;
                          letter-spacing: normal; line-height: normal;
                          orphans: auto; text-align: start; text-indent:
                          0px; text-transform: none; white-space:
                          normal; widows: auto; word-spacing: 0px;
                          -webkit-text-stroke-width: 0px;
                          background-color: rgb(255, 255, 255);"
                          class="">
                        <span style="font-family: Helvetica; font-size:
                          12px; font-style: normal; font-variant:
                          normal; font-weight: normal; letter-spacing:
                          normal; line-height: normal; orphans: auto;
                          text-align: start; text-indent: 0px;
                          text-transform: none; white-space: normal;
                          widows: auto; word-spacing: 0px;
                          -webkit-text-stroke-width: 0px;
                          background-color: rgb(255, 255, 255); float:
                          none; display: inline !important;" class=""> 
                          [].</span><br style="font-family: Helvetica;
                          font-size: 12px; font-style: normal;
                          font-variant: normal; font-weight: normal;
                          letter-spacing: normal; line-height: normal;
                          orphans: auto; text-align: start; text-indent:
                          0px; text-transform: none; white-space:
                          normal; widows: auto; word-spacing: 0px;
                          -webkit-text-stroke-width: 0px;
                          background-color: rgb(255, 255, 255);"
                          class="">
                        <br style="font-family: Helvetica; font-size:
                          12px; font-style: normal; font-variant:
                          normal; font-weight: normal; letter-spacing:
                          normal; line-height: normal; orphans: auto;
                          text-align: start; text-indent: 0px;
                          text-transform: none; white-space: normal;
                          widows: auto; word-spacing: 0px;
                          -webkit-text-stroke-width: 0px;
                          background-color: rgb(255, 255, 255);"
                          class="">
                        <span style="font-family: Helvetica; font-size:
                          12px; font-style: normal; font-variant:
                          normal; font-weight: normal; letter-spacing:
                          normal; line-height: normal; orphans: auto;
                          text-align: start; text-indent: 0px;
                          text-transform: none; white-space: normal;
                          widows: auto; word-spacing: 0px;
                          -webkit-text-stroke-width: 0px;
                          background-color: rgb(255, 255, 255); float:
                          none; display: inline !important;" class="">destroy(Db)
                          -></span><br style="font-family: Helvetica;
                          font-size: 12px; font-style: normal;
                          font-variant: normal; font-weight: normal;
                          letter-spacing: normal; line-height: normal;
                          orphans: auto; text-align: start; text-indent:
                          0px; text-transform: none; white-space:
                          normal; widows: auto; word-spacing: 0px;
                          -webkit-text-stroke-width: 0px;
                          background-color: rgb(255, 255, 255);"
                          class="">
                        <span style="font-family: Helvetica; font-size:
                          12px; font-style: normal; font-variant:
                          normal; font-weight: normal; letter-spacing:
                          normal; line-height: normal; orphans: auto;
                          text-align: start; text-indent: 0px;
                          text-transform: none; white-space: normal;
                          widows: auto; word-spacing: 0px;
                          -webkit-text-stroke-width: 0px;
                          background-color: rgb(255, 255, 255); float:
                          none; display: inline !important;" class=""> 
                          ok.</span><br style="font-family: Helvetica;
                          font-size: 12px; font-style: normal;
                          font-variant: normal; font-weight: normal;
                          letter-spacing: normal; line-height: normal;
                          orphans: auto; text-align: start; text-indent:
                          0px; text-transform: none; white-space:
                          normal; widows: auto; word-spacing: 0px;
                          -webkit-text-stroke-width: 0px;
                          background-color: rgb(255, 255, 255);"
                          class="">
                        <br style="font-family: Helvetica; font-size:
                          12px; font-style: normal; font-variant:
                          normal; font-weight: normal; letter-spacing:
                          normal; line-height: normal; orphans: auto;
                          text-align: start; text-indent: 0px;
                          text-transform: none; white-space: normal;
                          widows: auto; word-spacing: 0px;
                          -webkit-text-stroke-width: 0px;
                          background-color: rgb(255, 255, 255);"
                          class="">
                        <span style="font-family: Helvetica; font-size:
                          12px; font-style: normal; font-variant:
                          normal; font-weight: normal; letter-spacing:
                          normal; line-height: normal; orphans: auto;
                          text-align: start; text-indent: 0px;
                          text-transform: none; white-space: normal;
                          widows: auto; word-spacing: 0px;
                          -webkit-text-stroke-width: 0px;
                          background-color: rgb(255, 255, 255); float:
                          none; display: inline !important;" class="">write(Key,
                          Element, Db) -></span><br
                          style="font-family: Helvetica; font-size:
                          12px; font-style: normal; font-variant:
                          normal; font-weight: normal; letter-spacing:
                          normal; line-height: normal; orphans: auto;
                          text-align: start; text-indent: 0px;
                          text-transform: none; white-space: normal;
                          widows: auto; word-spacing: 0px;
                          -webkit-text-stroke-width: 0px;
                          background-color: rgb(255, 255, 255);"
                          class="">
                        <span style="font-family: Helvetica; font-size:
                          12px; font-style: normal; font-variant:
                          normal; font-weight: normal; letter-spacing:
                          normal; line-height: normal; orphans: auto;
                          text-align: start; text-indent: 0px;
                          text-transform: none; white-space: normal;
                          widows: auto; word-spacing: 0px;
                          -webkit-text-stroke-width: 0px;
                          background-color: rgb(255, 255, 255); float:
                          none; display: inline !important;" class="">  
                          [ {Key, Element} | Db ].<span
                            class="Apple-converted-space"> </span></span><br
                          style="font-family: Helvetica; font-size:
                          12px; font-style: normal; font-variant:
                          normal; font-weight: normal; letter-spacing:
                          normal; line-height: normal; orphans: auto;
                          text-align: start; text-indent: 0px;
                          text-transform: none; white-space: normal;
                          widows: auto; word-spacing: 0px;
                          -webkit-text-stroke-width: 0px;
                          background-color: rgb(255, 255, 255);"
                          class="">
                        <br style="font-family: Helvetica; font-size:
                          12px; font-style: normal; font-variant:
                          normal; font-weight: normal; letter-spacing:
                          normal; line-height: normal; orphans: auto;
                          text-align: start; text-indent: 0px;
                          text-transform: none; white-space: normal;
                          widows: auto; word-spacing: 0px;
                          -webkit-text-stroke-width: 0px;
                          background-color: rgb(255, 255, 255);"
                          class="">
                        <span style="font-family: Helvetica; font-size:
                          12px; font-style: normal; font-variant:
                          normal; font-weight: normal; letter-spacing:
                          normal; line-height: normal; orphans: auto;
                          text-align: start; text-indent: 0px;
                          text-transform: none; white-space: normal;
                          widows: auto; word-spacing: 0px;
                          -webkit-text-stroke-width: 0px;
                          background-color: rgb(255, 255, 255); float:
                          none; display: inline !important;" class="">Roelof</span><br
                          style="font-family: Helvetica; font-size:
                          12px; font-style: normal; font-variant:
                          normal; font-weight: normal; letter-spacing:
                          normal; line-height: normal; orphans: auto;
                          text-align: start; text-indent: 0px;
                          text-transform: none; white-space: normal;
                          widows: auto; word-spacing: 0px;
                          -webkit-text-stroke-width: 0px;
                          background-color: rgb(255, 255, 255);"
                          class="">
                        <br style="font-family: Helvetica; font-size:
                          12px; font-style: normal; font-variant:
                          normal; font-weight: normal; letter-spacing:
                          normal; line-height: normal; orphans: auto;
                          text-align: start; text-indent: 0px;
                          text-transform: none; white-space: normal;
                          widows: auto; word-spacing: 0px;
                          -webkit-text-stroke-width: 0px;
                          background-color: rgb(255, 255, 255);"
                          class="">
                        <br style="font-family: Helvetica; font-size:
                          12px; font-style: normal; font-variant:
                          normal; font-weight: normal; letter-spacing:
                          normal; line-height: normal; orphans: auto;
                          text-align: start; text-indent: 0px;
                          text-transform: none; white-space: normal;
                          widows: auto; word-spacing: 0px;
                          -webkit-text-stroke-width: 0px;
                          background-color: rgb(255, 255, 255);"
                          class="">
                        <br style="font-family: Helvetica; font-size:
                          12px; font-style: normal; font-variant:
                          normal; font-weight: normal; letter-spacing:
                          normal; line-height: normal; orphans: auto;
                          text-align: start; text-indent: 0px;
                          text-transform: none; white-space: normal;
                          widows: auto; word-spacing: 0px;
                          -webkit-text-stroke-width: 0px;
                          background-color: rgb(255, 255, 255);"
                          class="">
                        <span style="font-family: Helvetica; font-size:
                          12px; font-style: normal; font-variant:
                          normal; font-weight: normal; letter-spacing:
                          normal; line-height: normal; orphans: auto;
                          text-align: start; text-indent: 0px;
                          text-transform: none; white-space: normal;
                          widows: auto; word-spacing: 0px;
                          -webkit-text-stroke-width: 0px;
                          background-color: rgb(255, 255, 255); float:
                          none; display: inline !important;" class="">_______________________________________________</span><br
                          style="font-family: Helvetica; font-size:
                          12px; font-style: normal; font-variant:
                          normal; font-weight: normal; letter-spacing:
                          normal; line-height: normal; orphans: auto;
                          text-align: start; text-indent: 0px;
                          text-transform: none; white-space: normal;
                          widows: auto; word-spacing: 0px;
                          -webkit-text-stroke-width: 0px;
                          background-color: rgb(255, 255, 255);"
                          class="">
                        <span style="font-family: Helvetica; font-size:
                          12px; font-style: normal; font-variant:
                          normal; font-weight: normal; letter-spacing:
                          normal; line-height: normal; orphans: auto;
                          text-align: start; text-indent: 0px;
                          text-transform: none; white-space: normal;
                          widows: auto; word-spacing: 0px;
                          -webkit-text-stroke-width: 0px;
                          background-color: rgb(255, 255, 255); float:
                          none; display: inline !important;" class="">erlang-questions
                          mailing list</span><br style="font-family:
                          Helvetica; font-size: 12px; font-style:
                          normal; font-variant: normal; font-weight:
                          normal; letter-spacing: normal; line-height:
                          normal; orphans: auto; text-align: start;
                          text-indent: 0px; text-transform: none;
                          white-space: normal; widows: auto;
                          word-spacing: 0px; -webkit-text-stroke-width:
                          0px; background-color: rgb(255, 255, 255);"
                          class="">
                        <a moz-do-not-send="true"
                          href="mailto:erlang-questions@erlang.org"
                          style="font-family: Helvetica; font-size:
                          12px; font-style: normal; font-variant:
                          normal; font-weight: normal; letter-spacing:
                          normal; line-height: normal; orphans: auto;
                          text-align: start; text-indent: 0px;
                          text-transform: none; white-space: normal;
                          widows: auto; word-spacing: 0px;
                          -webkit-text-stroke-width: 0px;
                          background-color: rgb(255, 255, 255);"
                          class="">erlang-questions@erlang.org</a><br
                          style="font-family: Helvetica; font-size:
                          12px; font-style: normal; font-variant:
                          normal; font-weight: normal; letter-spacing:
                          normal; line-height: normal; orphans: auto;
                          text-align: start; text-indent: 0px;
                          text-transform: none; white-space: normal;
                          widows: auto; word-spacing: 0px;
                          -webkit-text-stroke-width: 0px;
                          background-color: rgb(255, 255, 255);"
                          class="">
                        <a moz-do-not-send="true"
                          href="http://erlang.org/mailman/listinfo/erlang-questions"
                          style="font-family: Helvetica; font-size:
                          12px; font-style: normal; font-variant:
                          normal; font-weight: normal; letter-spacing:
                          normal; line-height: normal; orphans: auto;
                          text-align: start; text-indent: 0px;
                          text-transform: none; white-space: normal;
                          widows: auto; word-spacing: 0px;
                          -webkit-text-stroke-width: 0px;
                          background-color: rgb(255, 255, 255);"
                          class="">http://erlang.org/mailman/listinfo/erlang-questions</a><br
                          style="font-family: Helvetica; font-size:
                          12px; font-style: normal; font-variant:
                          normal; font-weight: normal; letter-spacing:
                          normal; line-height: normal; orphans: auto;
                          text-align: start; text-indent: 0px;
                          text-transform: none; white-space: normal;
                          widows: auto; word-spacing: 0px;
                          -webkit-text-stroke-width: 0px;
                          background-color: rgb(255, 255, 255);"
                          class="">
                      </div>
                    </blockquote>
                  </div>
                  <br class="">
                </div>
              </div>
            </div>
          </blockquote>
        </div>
        <br class="">
      </div>
    </blockquote>
    <br>
  </body>
</html>