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

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

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