Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] View of /sml/branches/SMLNJ/src/compiler/TopLevel/batch/cmsa.sig
ViewVC logotype

View of /sml/branches/SMLNJ/src/compiler/TopLevel/batch/cmsa.sig

Parent Directory Parent Directory | Revision Log Revision Log


Revision 93 - (download) (as text) (annotate)
Tue May 12 21:56:22 1998 UTC (22 years, 4 months ago) by monnier
File size: 890 byte(s)
*** empty log message ***
(* COPYRIGHT (c) 1997 Bell Labs, Lucent Technologies *)
(* cmsa.sig *)

signature CMSA = sig

    type env				(* environments *)
    type sym				(* symbols *)

    (* build symbols from strings *)
    val STR: string -> sym		(* structure *)
    val SIG: string -> sym		(* signature *)
    val FCT: string -> sym		(* functor *)
    val FSIG: string -> sym		(* funsig *)

    val pervenv: unit -> env		(* fetch pervasive environment *)
    val register: env -> unit		(* register delta with toplevel env. *)

    (* layer environments, head of list goes on top *)
    val layer: env list -> env

    (* filter environment by list of symbols *)
    val filter: sym list -> env -> env

    (* load or compile (1st arg), then execute *)
    val run: string * env -> env

end (* signature CMSA *)


(*
 * $Log: cmsa.sig,v $
 * Revision 1.1.1.1  1998/04/08 18:39:15  george
 * Version 110.5
 *
 *)

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0