(* Example use of Gdbm persistent hashtables, part 2. The data base must exist. File mosml/src/dynlibs/mgdbm/example2.sml. *)load "Gdbm";open Gdbm;val _ = print "Dumping the data base \"monthnames\" created by example 1:\n";val _ = withtable ("monthnames", READER) (app (fn (k, v) => (print k; print "/"; print v; print "\n")));val _ = print "\nNow try e.g. lookup \"July\";\n\n";fun lookup mn = withtable ("monthnames", READER) (fn db => peek db mn);
(* Example use of Gdbm persistent hashtables, part 2.
The data base must exist.
File mosml/src/dynlibs/mgdbm/example2.sml. *)
load "Gdbm";
open Gdbm;
val _ = print "Dumping the data base \"monthnames\" created by example 1:\n";
val _ = withtable ("monthnames", READER)
(app (fn (k, v) => (print k; print "/"; print v; print "\n")));
val _ = print "\nNow try e.g. lookup \"July\";\n\n";
fun lookup mn =
withtable ("monthnames", READER) (fn db => peek db mn);