<html><head><meta http-equiv="Content-Type" content="text/html charset=windows-1252"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">Roelof,<div class=""><br class=""></div><div class="">You don’t need a variable if you don’t care about the return value of the function you are calling.</div><div class=""><br class=""></div><div class="">To be clear, your problem with the badmatch is due to Db2 already having a value assigned which is not equal to the atom ‘ok’.</div><div class=""><br class=""></div><div class="">Try this at the shell to see what that value is:</div><div class=""><br class=""></div><div class="">    Db2.    % don’t forget the period there</div><div class=""><br class=""></div><div class="">More than likely it is set to {ok}, which is what you previously had db:destroy/1 returning.</div><div class=""><br class=""></div><div class="">Since erlang is a single-assignment language, you cannot simply assign a different value to Db2 once it is bound.</div><div class=""><br class=""></div><div class="">You *can* use syntax that appears just like an assignment and have that work, provided the value returned from the function matches exactly the value currently bound to the variable on the left-hand side of the “=“.</div><div class=""><br class=""></div><div class="">For example:</div><div class=""><br class=""></div><div class=""><div style="margin: 0px; font-size: 11px; font-family: Menlo;" class=""><div style="margin: 0px;" class="">Erlang/OTP 17 [erts-6.2] [source] [64-bit] [smp:8:8] [async-threads:10] [hipe] [kernel-poll:false]</div><div style="margin: 0px; min-height: 13px;" class=""><br class=""></div><div style="margin: 0px;" class="">Eshell V6.2  (abort with ^G)</div><div style="margin: 0px;" class="">1> Db2 = {ok}.</div><div style="margin: 0px;" class="">{ok}</div><div style="margin: 0px;" class="">2> Db2.</div><div style="margin: 0px;" class="">{ok}</div><div style="margin: 0px;" class="">3> Db2 = {ok}.</div><div style="margin: 0px;" class="">{ok}</div><div style="margin: 0px;" class="">4> Db2 = ok.</div><div style="margin: 0px;" class="">** exception error: no match of right hand side value ok</div><div style="margin: 0px;" class="">5> Db2 = {ok}.</div><div style="margin: 0px;" class="">{ok}</div><div style="margin: 0px;" class="">6> f(Db2).</div><div style="margin: 0px;" class="">ok</div><div style="margin: 0px;" class="">7> Db2 = ok.</div><div style="margin: 0px;" class="">ok</div><div style="margin: 0px;" class="">8> Db2 = {ok}.</div><div style="margin: 0px;" class="">** exception error: no match of right hand side value {ok}</div><div style="margin: 0px;" class="">9> Db2 = ok.</div><div style="margin: 0px;" class="">ok</div><div class=""><br class=""></div></div></div><div class="">===</div><div class=""><br class=""></div><div class="">Here’s what’s going on there:</div><div class=""><br class=""></div><div class="">1. I bound the value {ok} to the variable Db2</div><div class=""><br class=""></div><div class="">2. I check the value of Db2</div><div class=""><br class=""></div><div class="">3. I “assign” Db2 the same value — this isn’t really an assignment now, it is a match, and in this case both the left-hand side and right-hand side have same value, so match succeeds</div><div class=""><br class=""></div><div class="">4. I attempt to assign Db2 a different value—since Db2 was bound to {ok} and the right-hand side now has ‘ok’, that match fails—thus the match error</div><div class=""><br class=""></div><div class="">5. I “assign” Db2 the original value — again, this isn’t really an assignment, it is a match, which again succeeds for same reason as (3) above</div><div class=""><br class=""></div><div class="">6. I use the f() function at the shell to “forget” about the value previously bound to Db2, effectively making Db2 unbound to any value (and as such it can now be assigned any value)</div><div class=""><br class=""></div><div class="">7. I assign a different value, this time ‘ok’, to Db2 — no errors that time, because it was an assignment, not a match</div><div class=""><br class=""></div><div class="">8. I attempt to match Db2 with the previous value—and there’s that match error again</div><div class=""><br class=""></div><div class="">9. I “assign” Db2 the new value again—now it is a match, and the match is good so no error</div><div class=""><br class=""></div><div class=""><br class=""></div><div class="">Does that make sense now?</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:53 PM, Roelof Wobben <<a href="mailto:r.wobben@home.nl" class="">r.wobben@home.nl</a>> wrote:</div><br class="Apple-interchange-newline"><div class="">
  
    <meta content="text/html; charset=windows-1252" http-equiv="Content-Type" class="">
  
  <div bgcolor="#FFFFFF" text="#000000" class="">
    <div class="moz-cite-prefix">I did some trail and error and saw this
      :<br class="">
      <br class="">
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 class="">
      <br class="">
      So it seems you do not have to use a variable when destroying. <br class="">
      <br class="">
      Roelof<br class="">
      <br class="">
      <br class="">
      <br class="">
      Rick Pettit schreef op 29-1-2015 om 20:40:<br class="">
    </div>
    <blockquote cite="mid:20C06585-CD06-4404-9EB3-D5D5529580BD@vailsys.com" type="cite" class="">
      <meta http-equiv="Content-Type" content="text/html;
        charset=windows-1252" class="">
      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 class="">
          <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 class="">
  </div>

_______________________________________________<br class="">erlang-questions mailing list<br class=""><a href="mailto:erlang-questions@erlang.org" class="">erlang-questions@erlang.org</a><br class="">http://erlang.org/mailman/listinfo/erlang-questions<br class=""></div></blockquote></div><br class=""></div></body></html>