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/modules/entityenv.sig
ViewVC logotype

View of /sml/trunk/src/compiler/Semant/modules/entityenv.sig

Parent Directory Parent Directory | Revision Log Revision Log


Revision 16 - (download) (as text) (annotate)
Wed Mar 11 21:00:04 1998 UTC (22 years, 6 months ago) by monnier
File size: 1252 byte(s)
Initial revision
(* Copyright 1996 by AT&T Bell Laboratories *)
(* entityenv.sig *)

signature ENTITY_ENV =
sig

  type entVar = EntPath.entVar
  type entPath = EntPath.entPath
  type entityEnv = Modules.entityEnv

  exception Unbound

  val empty : entityEnv
  val mark : ((unit->Stamps.stamp) * entityEnv) -> entityEnv
  val bind : entVar * Modules.entity * entityEnv -> entityEnv
  val atop : entityEnv * entityEnv -> entityEnv
  val atopSp : entityEnv * entityEnv -> entityEnv

  val toList : entityEnv -> (entVar * Modules.entity) list

  val look : entityEnv * entVar -> Modules.entity
  val lookStrEnt : entityEnv * entVar -> Modules.strEntity
  val lookTycEnt : entityEnv * entVar -> Modules.tycEntity
  val lookFctEnt : entityEnv * entVar -> Modules.fctEntity

  val lookEP : entityEnv * entPath -> Modules.entity
  val lookTycEP : entityEnv * entPath -> Modules.tycEntity 
  val lookStrEP : entityEnv * entPath -> Modules.strEntity 
  val lookFctEP : entityEnv * entPath -> Modules.fctEntity 

  val debugging : bool ref

end (* signature ENTITY_ENV *)

(*
 * $Log: entityenv.sig,v $
 * Revision 1.2  1997/09/23  03:51:58  dbm
 *   Added function atopSp (EntityEnv.Unbound fix).
 *
 * Revision 1.1.1.1  1997/01/14  01:38:41  george
 *   Version 109.24
 *
 *)

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