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 113 - (download) (as text) (annotate)
Fri Jun 5 19:41:21 1998 UTC (22 years, 3 months ago) by monnier
File size: 808 byte(s)
110.7
(* 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$
 *)

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