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/trunk/src/compiler/Semant/statenv/cmstatenv.sig
ViewVC logotype

View of /sml/trunk/src/compiler/Semant/statenv/cmstatenv.sig

Parent Directory Parent Directory | Revision Log Revision Log


Revision 168 - (download) (as text) (annotate)
Sat Nov 7 20:11:41 1998 UTC (21 years, 5 months ago) by monnier
File size: 962 byte(s)
This commit was generated by cvs2svn to compensate for changes in r167,
which included commits to RCS files with non-trunk default branches.
(* COPYRIGHT (c) 1996 Bell Laboratories *)
(* cmstatenv.sig *)

signature CMSTATICENV =
sig

  type staticEnv
  val empty : staticEnv

  val atop : staticEnv * staticEnv -> staticEnv
  val consolidate : staticEnv -> staticEnv
  val unCM : staticEnv -> StaticEnv.staticEnv
  val CM : StaticEnv.staticEnv -> staticEnv
  val adjCM : staticEnv list * StaticEnv.staticEnv -> staticEnv

  val lookSTR: staticEnv -> ModuleId.modId -> Modules.Structure option
  val lookSIG: staticEnv -> ModuleId.modId -> Modules.Signature option
  val lookFSIG: staticEnv -> ModuleId.modId -> Modules.fctSig option
  val lookFCT: staticEnv -> ModuleId.modId -> Modules.Functor option
  val lookTYC: staticEnv -> ModuleId.modId -> Types.tycon option
  val lookEENV: staticEnv -> ModuleId.modId -> Modules.entityEnv option

  val debugging : bool ref
end (* signature CMSTATICENV *)

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

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