home *** CD-ROM | disk | FTP | other *** search
/ BURKS 2 / BURKS_AUG97.ISO / BURKS / LANGUAGE / ML / GIML / LIB-BSIG.SML < prev    next >
Text File  |  1996-12-09  |  875b  |  30 lines
  1. (* lib-base-sig.sml
  2.  *
  3.  * COPYRIGHT (c) 1993 by AT&T Bell Laboratories.  See COPYRIGHT file for details.
  4.  *)
  5.  
  6. signature LIB_BASE =
  7.   sig
  8.  
  9.     exception Unimplemented of string
  10.     (* raised to report unimplemented features *)
  11.     exception Impossible of string
  12.     (* raised to report internal errors *)
  13.     exception BadArg of string
  14.     (* raised to report semantically incorrect arguments.  For consistency,
  15.      * the string should include the library module and function names.
  16.      * The function badArg is provided for this purpose.
  17.      *)
  18.  
  19.     val badArg : {module : string, func : string, msg : string} -> 'a
  20.     (* raise the exception BadArg with a standard format message. *)
  21.  
  22.     datatype relation = Equal | Less | Greater
  23.     (* this is returned by collating functions *)
  24.  
  25.     val version : {major : int, minor : int, date : string}
  26.     val versionName : string
  27.  
  28.   end (* LIB_BASE *)
  29.  
  30.