[hcoop/zz_old/domtool.git] / src / smlnj-lib / lib-base-sig.sml

(* lib-base-sig.sml
 *
 * COPYRIGHT (c) 1993 by AT&T Bell Laboratories.  See COPYRIGHT file for details.
 *)

signature LIB_BASE =
  sig

    exception Unimplemented of string
	(* raised to report unimplemented features *)
    exception Impossible of string
	(* raised to report internal errors *)

    exception NotFound
	(* raised by searching operations *)

    val failure : {module : string, func : string, msg : string} -> 'a
	(* raise the exception Fail with a standard format message. *)

    val version : {date : string, system : string, version_id : int list}
    val banner : string

  end (* LIB_BASE *)
Commit	Line	Data
182a2654 AC	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
	14	exception NotFound
	15	(* raised by searching operations *)
	16
	17	val failure : {module : string, func : string, msg : string} -> 'a
	18	(* raise the exception Fail with a standard format message. *)
	19
	20	val version : {date : string, system : string, version_id : int list}
	21	val banner : string
	22
	23	end (* LIB_BASE *)
	24