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/main/general-params.sml
ViewVC logotype

Diff of /sml/trunk/src/cm/main/general-params.sml

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

revision 691, Tue Jul 25 07:20:24 2000 UTC revision 692, Thu Jul 27 08:34:53 2000 UTC
# Line 17  Line 17 
17    
18      type info = { param: param,      type info = { param: param,
19                    groupreg: GroupReg.groupreg,                    groupreg: GroupReg.groupreg,
20                    errcons: PrettyPrint.ppconsumer }                    errcons: PrettyPrint.ppconsumer,
21                      youngest: TStamp.t ref }
22    
23      fun bind { param = { penv, fnpolicy, symval, keep_going },      fun bind { param = { penv, fnpolicy, symval, keep_going },
24                  groupreg, errcons } rb =                  groupreg, errcons, youngest } rb =
25          { param = { penv = SrcPath.bind penv rb,          { param = { penv = SrcPath.bind penv rb,
26                      fnpolicy = fnpolicy,                      fnpolicy = fnpolicy,
27                      symval = symval,                      symval = symval,
28                      keep_going = keep_going },                      keep_going = keep_going },
29            groupreg = groupreg, errcons = errcons }            groupreg = groupreg, errcons = errcons, youngest = youngest }
30  end  end

Legend:
Removed from v.691  
changed lines
  Added in v.692

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