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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 651 - (download) (as text) (annotate)
Thu Jun 1 18:34:03 2000 UTC (19 years, 3 months ago) by monnier
File size: 1326 byte(s)
bring revisions from the vendor branch to the trunk
(* COPYRIGHT 1996 Bell Laboratories *)
(* lookup.sig *)

signature LOOKUP =
sig
  val lookFix : StaticEnv.staticEnv * Symbol.symbol -> Fixity.fixity

  val lookSig : StaticEnv.staticEnv * Symbol.symbol * ErrorMsg.complainer
                -> Modules.Signature

  val lookFsig : StaticEnv.staticEnv * Symbol.symbol * ErrorMsg.complainer 
		 -> Modules.fctSig

  val lookStr : StaticEnv.staticEnv * SymPath.path * ErrorMsg.complainer
                -> Modules.Structure

  val lookStrDef : StaticEnv.staticEnv * SymPath.path * ErrorMsg.complainer
                   -> Modules.strDef

  val lookFct : StaticEnv.staticEnv * SymPath.path * ErrorMsg.complainer
                -> Modules.Functor

  val lookTyc : StaticEnv.staticEnv * SymPath.path * ErrorMsg.complainer
                -> Types.tycon

  val lookArTyc : StaticEnv.staticEnv * SymPath.path * int 
                    * ErrorMsg.complainer -> Types.tycon

  (* lookValSym and lookSym return value or constructor bindings *)
  val lookValSym : StaticEnv.staticEnv * Symbol.symbol * ErrorMsg.complainer
		   -> VarCon.value

  val lookVal : StaticEnv.staticEnv * SymPath.path * ErrorMsg.complainer
                -> VarCon.value

  val lookExn : StaticEnv.staticEnv * SymPath.path * ErrorMsg.complainer
                -> VarCon.datacon

end (* signature LOOKUP *)


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