Mailing list for all users of the OCaml language and system.
 help / color / mirror / Atom feed
From: Jonathan T Bryant <jtbryant@valdosta.edu>
To: caml-list@yquem.inria.fr
Subject: Oops...
Date: Fri, 02 Dec 2005 00:45:46 -0500 (EST)	[thread overview]
Message-ID: <7077838.1133502346469.JavaMail.jtbryant@valdosta.edu> (raw)

Forgot to save before sending that.  This copy keeps a free list for 
indicies in the dataset so that values don't accidentally get 
overwritten.  It does still have a bug in the destroy function, though 
(I forgot you can't compare functional values).  Conveniently, this 
could be fixed by recursively using the Dataset module to store the 
observer functions and returning a number when one is registered and 
using a number to unregister them.  Also, point of interest, the 
Dataset module could be functorized so that different implementations 
could be used (i.e., persistent using hand rolled code or bindings to 
DBD or a SQL database, or a Red Black Tree/an Array instead of a 
Hashtable).

--Jonathan

-----------------------
--Jonathan Bryant
  jtbryant@valdosta.edu
  AIM: JonBoy3182

  OAS AAS LLS
  ZG214


                 reply	other threads:[~2005-12-02 14:58 UTC|newest]

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=7077838.1133502346469.JavaMail.jtbryant@valdosta.edu \
    --to=jtbryant@valdosta.edu \
    --cc=caml-list@yquem.inria.fr \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox