[hcoop/debian/mlton.git] / lib / cml / cml-lib / trace-cml.cm

(* trace-cml.cm
 *
 * COPYRIGHT (c) 1996 AT&T Research.
 *
 * The TraceCML library module needs access to CML internals, so we package
 * it up into a sub-group.
 *)
Group (cm-descr/trace-cml.cm)
  (* Notice that the "owner" specification above gets ignored by the old
   * CM.  Under the old CM clients use _this_ file to refer to the
   * trace library, under the new CM clients use the description file
   * in cm-descr/trace-cml.cm.
   * This is done to avoid a file-naming conflict for smlnj-lib.cm.
   * The conflict is caused by the old CM's path-search mechanism and
   * does not occur under the new CM. *)
  signature TRACE_CML
  structure TraceCML
is
#if defined (NEW_CM)
  $/smlnj-lib.cm
  $cml/basis.cm
  $cml/core-cml.cm
  $cml/cml.cm
#else
  smlnj-lib.cm
  ../src/basis.cm
  ../src/core-cml.cm
  ../src/cml.cm
#endif

  trace-cml-sig.sml
  trace-cml.sml
Commit	Line	Data
7f918cf1 CE	1	(* trace-cml.cm
	2	*
	3	* COPYRIGHT (c) 1996 AT&T Research.
	4	*
	5	* The TraceCML library module needs access to CML internals, so we package
	6	* it up into a sub-group.
	7	*)
	8	Group (cm-descr/trace-cml.cm)
	9	(* Notice that the "owner" specification above gets ignored by the old
	10	* CM. Under the old CM clients use _this_ file to refer to the
	11	* trace library, under the new CM clients use the description file
	12	* in cm-descr/trace-cml.cm.
	13	* This is done to avoid a file-naming conflict for smlnj-lib.cm.
	14	* The conflict is caused by the old CM's path-search mechanism and
	15	* does not occur under the new CM. *)
	16	signature TRACE_CML
	17	structure TraceCML
	18	is
	19	#if defined (NEW_CM)
	20	$/smlnj-lib.cm
	21	$cml/basis.cm
	22	$cml/core-cml.cm
	23	$cml/cml.cm
	24	#else
	25	smlnj-lib.cm
	26	../src/basis.cm
	27	../src/core-cml.cm
	28	../src/cml.cm
	29	#endif
	30
	31	trace-cml-sig.sml
	32	trace-cml.sml