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/README
ViewVC logotype

Diff of /sml/trunk/src/ml-nlffigen/README

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 182  Line 182 
182     -width <w>   sets output line width (just a guess) to <w>     -width <w>   sets output line width (just a guess) to <w>
183     -w <w>       default: 75     -w <w>       default: 75
184    
185     -lambdasplit <x>   instructs ml-nlffigen to generate "lambdasplit"     -smloption <x>   instructs ml-nlffigen to include <x> into the list
186                    of options to annotate .sml entries in the generated .cm
187                    file with.  By default, the list consists just of "noguid".
188       -guid        Removes the default "noguid" from the list of sml options.
189                    (This re-enables strict handling of type- and object-identity
190                    but can have negative impact on CM cutoff recompilation
191                    performance if the programmer routinely removes the entire
192                    tree of ml-nlffigen-generated files during development.)
193     -ls <x>      options for all ML files (see CM manual for what this means;     -ls <x>      options for all ML files (see CM manual for what this means;
194                  it does not currently work anyway because cross-module                  it does not currently work anyway because cross-module
195                  inlining is broken).                  inlining is broken).

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