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

Diff of /sml/trunk/src/cm/tools/main/private-tools.sml

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

revision 986, Wed Nov 21 21:03:17 2001 UTC revision 1126, Thu Mar 7 21:16:28 2002 UTC
# Line 278  Line 278 
278          loop (options, StringMap.empty, [])          loop (options, StringMap.empty, [])
279      end      end
280    
281      fun smlrule { spec, context, native2pathmaker, defaultClassOf, sysinfo } = let      fun smlrule { spec, context, native2pathmaker, defaultClassOf, sysinfo } =
282          val { name, mkpath, opts = oto, derived, ... } : spec = spec      let val { name, mkpath, opts = oto, derived, ... } : spec = spec
283          val tool = "sml"          val tool = "sml"
284          fun err s = raise ToolError { tool = tool, msg = s }          fun err s = raise ToolError { tool = tool, msg = s }
285          val kw_setup = "setup"          val kw_setup = "setup"

Legend:
Removed from v.986  
changed lines
  Added in v.1126

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