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

SCM Repository

[smlnj] Annotation of /sml/trunk/src/compiler/Semant/basics/stamps.sig
ViewVC logotype

Annotation of /sml/trunk/src/compiler/Semant/basics/stamps.sig

Parent Directory Parent Directory | Revision Log Revision Log


Revision 249 - (view) (download) (as text)
Original Path: sml/branches/SMLNJ/src/compiler/Semant/basics/stamps.sig

1 : monnier 249 (* Copyright 1996 by AT&T Bell Laboratories *)
2 :     (* stamps.sig *)
3 :    
4 :     signature STAMPS =
5 :     sig
6 :    
7 :     datatype stamp_scope
8 :     = LOCAL
9 :     | GLOBAL of PersStamps.persstamp
10 :     | SPECIAL of string
11 :    
12 :     datatype stamp = STAMP of {scope : stamp_scope, count : int}
13 :    
14 :     val new : unit -> unit -> stamp (* a generator of the stamp-generator *)
15 :     val eq : stamp * stamp -> bool
16 :     val cmp : stamp * stamp -> order
17 :     val special : string -> stamp
18 :     val stampToString : stamp -> string
19 :     val stampToShortString : stamp -> string
20 :    
21 :     type 'a stampMap
22 :     val newMap : exn -> '1a stampMap
23 :    
24 :     (* updateMap - add mapping to a stampMap *)
25 :     val updateMap : 'a stampMap -> stamp * 'a -> unit
26 :    
27 :     (* applyMap - apply stampMap to a stamp *)
28 :     val applyMap : 'a stampMap * stamp -> 'a
29 :    
30 :     end (* signature STAMPS *)
31 :    
32 :     (*
33 :     * $Log$
34 :     *)

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