<html>
  <head>
    <meta content="text/html; charset=windows-1252"
      http-equiv="Content-Type">
  </head>
  <body bgcolor="#FFFFFF" text="#000000">
    <div class="moz-cite-prefix">Rick Pettit schreef op 29-1-2015 om
      22:49:<br>
    </div>
    <blockquote
      cite="mid:8EBFB5ED-2253-413B-B1BB-B13F020D2376@vailsys.com"
      type="cite">
      <meta http-equiv="Content-Type" content="text/html;
        charset=windows-1252">
      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 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="">
              <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 moz-do-not-send="true"
                href="mailto:erlang-questions@erlang.org" class="">erlang-questions@erlang.org</a><br
                class="">
              <a class="moz-txt-link-freetext" href="http://erlang.org/mailman/listinfo/erlang-questions">http://erlang.org/mailman/listinfo/erlang-questions</a><br
                class="">
            </div>
          </blockquote>
        </div>
        <br class="">
      </div>
    </blockquote>
    <br>
    Thanks all, this problem is also solved.<br>
    <br>
    Roelof<br>
    <br>
  </body>
</html>