(* Example use of Gdbm persistent hashtables.
   File mosml/src/dynlibs/mgdbm/example1.sml. *)

load "Gdbm";

open Gdbm;

(* Some example data: *)

val _ = print "\nCreating a new database in file \"monthnames\".\n";

local 
val monthnames = 
    [("January", "janvier"), ("february", "fevrier"), ("March", "mars"), 
     ("April", "avril"), ("May", "mai"), ("June", "juin"),
     ("July", "juillet"), ("August", "aout"), ("September", "septembre"),
     ("October", "octobre"), ("November", "novembre"), ("December", "decembre")
     ];
in 					     

    val _ = withtable ("monthnames", NEWDB) 
	              (fn db => List.app (add db) monthnames);
end

val _ = print "Dumping database:\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);