
This directory contains an example O'Caml program that calls 
Galax: 

  ml-example.ml   : O'Caml code
  xq-example.xq   : XQuery code
  xml-example.xml : An example XML document

O'Caml interfaces to Galax:

  $(GALAXHOME)/lib/galapi.mli : Galax API
  $(GALAXHOME)/lib/error.mli  : Exceptions raised by Galax

The sample code is self-explanatory.  A few caveats:

  * Currently, the API interface to Galax only implements dynamic (not
    static) type checking.   We are working on a more complete API
    that would support various conformance levels and options for
    typing. 

  * Galax can give unforgiving error messages.  Entirely useless error
    messages are usually due to an installation problem.  Don't
    struggle with useless error messages -- send mail to
    galax@lists.bell-labs.com and we'll try to help.

