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 301, Fri May 28 09:43:39 1999 UTC revision 309, Wed Jun 2 03:21:57 1999 UTC
# Line 1  Line 1 
1  (*  (*
2   * "General" parameters that may differ from invocation to invocation of   * "General" parameters that may differ from invocation to invocation of
3   * CM.  The "params" type bundles them up so they can be passed around   * CM.  The "info" type bundles them up so they can be passed around
4   * more conveniently.   * more conveniently.
5   *   *
6   * (C) 1999 Lucent Technologies, Bell Laboratories   * (C) 1999 Lucent Technologies, Bell Laboratories
# Line 15  Line 15 
15                     pervasive: GenericVC.Environment.environment,                     pervasive: GenericVC.Environment.environment,
16                     corenv: GenericVC.BareEnvironment.staticEnv }                     corenv: GenericVC.BareEnvironment.staticEnv }
17    
18      type info = { param: param, groupreg: GroupReg.groupreg }      type info = { param: param,
19                      groupreg: GroupReg.groupreg,
20                      errcons: PrettyPrint.ppconsumer }
21  end  end

Legend:
Removed from v.301  
changed lines
  Added in v.309

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