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/ml-nlffigen/gen.sml
ViewVC logotype

Diff of /sml/trunk/src/ml-nlffigen/gen.sml

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

revision 1136, Tue Mar 12 19:44:02 2002 UTC revision 1137, Tue Mar 12 22:28:55 2002 UTC
# Line 26  Line 26 
26                  libraryhandle: string,                  libraryhandle: string,
27    
28                  allSU: bool,                  allSU: bool,
29                  lambdasplit: string option,                  smloptions: string list,
30                    noguid: bool,
31                  wid: int,                  wid: int,
32                  weightreq: bool option, (* true -> heavy, false -> light *)                  weightreq: bool option, (* true -> heavy, false -> light *)
33                  namedargs: bool,                  namedargs: bool,
# Line 115  Line 116 
116          val { cfiles, match, mkidlsource, gensym_stem,          val { cfiles, match, mkidlsource, gensym_stem,
117                dirname,                dirname,
118                cmfile, prefix, extramembers, libraryhandle,                cmfile, prefix, extramembers, libraryhandle,
119                allSU, lambdasplit,                allSU, smloptions, noguid,
120                wid,                wid,
121                weightreq,                weightreq,
122                namedargs = doargnames,                namedargs = doargnames,
# Line 203  Line 204 
204              val nqx = noquotes x              val nqx = noquotes x
205              val file = OS.Path.joinBaseExt { base = nqx, ext = SOME "sml" }              val file = OS.Path.joinBaseExt { base = nqx, ext = SOME "sml" }
206              val result = OS.Path.joinDirFile { dir = dirname, file = file }              val result = OS.Path.joinDirFile { dir = dirname, file = file }
207                val opts = if noguid then "noguid" :: smloptions else smloptions
208                val opt =
209                    case opts of
210                        [] => ""
211                      | h :: t => concat ("(" :: h :: foldr
212                                                       (fn (x, l) => " " :: x :: l)
213                                                       [")"] t)
214          in          in
215              files := file :: !files;              files := file ^ opt :: !files;
216              do_dir ();              do_dir ();
217              result              result
218          end          end

Legend:
Removed from v.1136  
changed lines
  Added in v.1137

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