(*
 * pqueue_test.sml - test out the priority queue.
 *   Ronald Garcia
 *   $Id: pqueue_test.sml,v 1.2 2003/05/02 20:03:39 jewillco Exp $ 
 *)

(* Copyright 2003, Trustees of Indiana University
 * Please see the license in the file ../LICENSE
 *)

use "priority_queue.sml";

structure Cmp = 
struct
  type data_t = unit
  type arg_t = int * string
  fun create () = ()
  fun go () (a,ast) (b,bst) = a < b
end

structure PQ = MakePQ(Cmp)

val q = PQ.create(Cmp.create());

PQ.insert (5,"Hi") q;
PQ.insert (7,"Ron") q;
PQ.insert (3,"How") q;

PQ.remove q;
PQ.remove q;
PQ.remove q;
PQ.remove q;