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

SCM Repository

[smlnj] Diff of /sml/trunk/src/compiler/TopLevel/environ/symenv.sig
ViewVC logotype

Diff of /sml/trunk/src/compiler/TopLevel/environ/symenv.sig

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 24, Thu Mar 12 00:49:58 1998 UTC revision 45, Sun Mar 22 20:11:09 1998 UTC
# Line 1  Line 1 
1  (* symenv.sig  (* COPYRIGHT (c) 1995 by Bell Laboratories *)
2   *  (* symenv.sig *)
  * COPYRIGHT (c) 1995 by AT&T Bell Laboratories  
  *)  
3    
4  signature SYMENV = sig  signature SYMENV = sig
5        type flint = CompBasic.flint
     type lambda = Lambda.lexp  
6      type symenv      type symenv
7      type pid = PersStamps.persstamp      type pid = PersStamps.persstamp
8    
9      val empty: symenv      val empty: symenv
10      val look: symenv -> pid -> lambda option      val look: symenv -> pid -> flint option
11      val bind: pid * lambda * symenv -> symenv      val bind: pid * flint * symenv -> symenv
12      val atop: symenv * symenv -> symenv      val atop: symenv * symenv -> symenv
13      val remove: pid list * symenv -> symenv      val remove: pid list * symenv -> symenv
14      val consolidate: symenv -> symenv      val consolidate: symenv -> symenv
15      val singleton: pid * lambda -> symenv      val singleton: pid * flint -> symenv
   
 end  
16    
17  (*  end (* signature SYMENV *)
  * $Log: symenv.sig,v $  
  * Revision 1.1.1.1  1997/01/14  01:38:37  george  
  *   Version 109.24  
  *  
  *)  

Legend:
Removed from v.24  
changed lines
  Added in v.45

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