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

Diff of /sml/trunk/src/cm/tools/tools.sml

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

revision 633, Sun Apr 30 16:44:09 2000 UTC revision 634, Mon May 1 10:03:50 2000 UTC
# Line 31  Line 31 
31    
32      (* case-by-case parameters that can be passed to tools... *)      (* case-by-case parameters that can be passed to tools... *)
33      datatype toolopt =      datatype toolopt =
34          STRING of { name: string, mkpath: string -> srcpath }          STRING of { name: string, mkpath: pathmaker }
35        | SUBOPTS of { name: string, opts: toolopts }        | SUBOPTS of { name: string, opts: toolopts }
36      withtype toolopts = toolopt list      withtype toolopts = toolopt list
37    
# Line 155  Line 155 
155      type pathmaker = string -> srcpath      type pathmaker = string -> srcpath
156    
157      datatype toolopt =      datatype toolopt =
158          STRING of { name: string, mkpath: string -> srcpath }          STRING of { name: string, mkpath: pathmaker }
159        | SUBOPTS of { name: string, opts: toolopts }        | SUBOPTS of { name: string, opts: toolopts }
160      withtype toolopts = toolopt list      withtype toolopts = toolopt list
161    

Legend:
Removed from v.633  
changed lines
  Added in v.634

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