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/cm/semant/iinfo.sml
ViewVC logotype

Diff of /sml/trunk/src/cm/semant/iinfo.sml

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

revision 879, Thu Jul 19 18:59:38 2001 UTC revision 905, Thu Aug 23 21:53:02 2001 UTC
# Line 8  Line 8 
8   * Author: Matthias Blume (blume@kurims.kyoto-u.ac.jp)   * Author: Matthias Blume (blume@kurims.kyoto-u.ac.jp)
9   *)   *)
10  structure IInfo = struct  structure IInfo = struct
11      type info = { statenv: unit -> Environment.staticEnv,      type info = { statenv: unit -> StaticEnv.staticEnv,
12                    symenv: unit -> Environment.symenv,                    symenv: unit -> SymbolicEnv.env,
13                    statpid: PersStamps.persstamp,                    statpid: PersStamps.persstamp,
14                    sympid: PersStamps.persstamp }                    sympid: PersStamps.persstamp }
15  end  end

Legend:
Removed from v.879  
changed lines
  Added in v.905

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