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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 250 - (download) (as text) (annotate)
Sat Apr 17 18:57:03 1999 UTC (21 years, 6 months ago) by monnier
File size: 795 byte(s)
This commit was generated by cvs2svn to compensate for changes in r249,
which included commits to RCS files with non-trunk default branches.
(* Copyright 1996 by AT&T Bell Laboratories *)
(* stamps.sig *)

signature STAMPS =
sig

  datatype stamp_scope
    = LOCAL
    | GLOBAL of PersStamps.persstamp
    | SPECIAL of string

  datatype stamp = STAMP of {scope : stamp_scope, count : int}

  val new : unit -> unit -> stamp  (* a generator of the stamp-generator *)
  val eq : stamp * stamp -> bool
  val cmp : stamp * stamp -> order
  val special : string -> stamp
  val stampToString : stamp -> string
  val stampToShortString : stamp -> string

  type 'a stampMap
  val newMap : exn -> '1a stampMap

  (* updateMap - add mapping to a stampMap *)
  val updateMap : 'a stampMap -> stamp * 'a -> unit

  (* applyMap - apply stampMap to a stamp *)
  val applyMap : 'a stampMap * stamp -> 'a

end (* signature STAMPS *)

(*
 * $Log$
 *)

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