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/members.sml
ViewVC logotype

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

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

revision 275, Sat May 15 09:54:52 1999 UTC revision 276, Mon May 17 06:01:28 1999 UTC
# Line 80  Line 80 
80                               localdefs = SymbolMap.empty }                               localdefs = SymbolMap.empty }
81                | exp2coll (PrivateTools.SMLSOURCE src) = let                | exp2coll (PrivateTools.SMLSOURCE src) = let
82                      val { sourcepath = p, history = h, share = s } = src                      val { sourcepath = p, history = h, share = s } = src
83                      val i =  SmlInfo.new                      val i =  SmlInfo.info
84                          Policy.default                          Policy.default
85                          { sourcepath = p, group = group,                          { sourcepath = p, group = group,
86                            error = error, history = h,                            error = error, history = h,

Legend:
Removed from v.275  
changed lines
  Added in v.276

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