Add verbose help message and incorporate suggestions from Lars.

dart/lib/compiler/implementation/dart2js.dart

 // Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 #library('dart2js');
 
 #import('dart:io');
 #import('dart:uri');
 #import('dart:utf');
 
@@ skipping 12 matching lines @@
   HandleOption handle;
 
   OptionHandler(this.pattern, this.handle);
 }
 
 String extractParameter(String argument) {
   return argument.substring(argument.indexOf('=') + 1);
 }
 
 void parseCommandLine(List<OptionHandler> handlers, List<String> argv) {
+  // TODO(ahe): Use ../../args/args.dart for parsing options instead.
   var patterns = <String>[];
   for (OptionHandler handler in handlers) {
     patterns.add(handler.pattern);
   }
   var pattern = new RegExp('^(${Strings.join(patterns, ")|(")})\$');
   OUTER: for (String argument in argv) {
     Match match = pattern.firstMatch(argument);
     assert(match.groupCount() == handlers.length);
     for (int i = 0; i < handlers.length; i++) {
       if (match[i + 1] !== null) {
         handlers[i].handle(argument);
         continue OUTER;
       }
     }
     throw 'Internal error: "$argument" did not match';
   }
 }
 
 void compile(List<String> argv) {
   Uri cwd = getCurrentDirectory();
   bool throwOnError = false;
   bool showWarnings = true;
   bool verbose = false;
   Uri libraryRoot = cwd;
   Uri out = cwd.resolve('out.js');
   List<String> options = new List<String>();
   bool explicitOut = false;
+  bool wantHelp = false;
 
   passThrough(String argument) => options.add(argument);
 
   List<String> arguments = <String>[];
   List<OptionHandler> handlers = <OptionHandler>[
     new OptionHandler('--throw-on-error', (_) => throwOnError = true),
     new OptionHandler('--suppress-warnings', (_) => showWarnings = false),
-    new OptionHandler('--verbose', (_) => verbose = true),
-    new OptionHandler('--library-root=.*', (String argument) {
+    new OptionHandler('--verbose|-v', (_) => verbose = true),
+    new OptionHandler('--library-root=.+', (String argument) {
       String path = nativeToUriPath(extractParameter(argument));
       if (!path.endsWith("/")) path = "$path/";
       libraryRoot = cwd.resolve(path);
     }),
-    new OptionHandler('--out=.*', (String argument) {
+    new OptionHandler('--out=.+|-o.+', (String argument) {
       explicitOut = true;
       out = cwd.resolve(nativeToUriPath(extractParameter(argument)));
     }),
     new OptionHandler('--allow-mock-compilation', passThrough),
     new OptionHandler('--no-colors', (_) => colors.enabled = false),
-    new OptionHandler('--enable-checked-mode|--checked|-c',
+    new OptionHandler('--enable[_-]checked[_-]mode|--checked|-c',
                       (_) => passThrough('--enable-checked-mode')),
-    new OptionHandler('--help', (_) => helpAndExit()),
+    new OptionHandler(@'--help|-h|/\?|/h', (_) => wantHelp = true),
     // The following two options must come last.
     new OptionHandler('-.*', (String argument) {
       helpAndFail('Error: Unknown option "$argument".');
     }),
     new OptionHandler('.*', (String argument) {
       arguments.add(nativeToUriPath(argument));
     })
   ];
 
   parseCommandLine(handlers, argv);
 
+  if (wantHelp) helpAndExit(verbose);
+
   if (arguments.isEmpty()) {
     helpAndFail('Error: No Dart file specified.');
   }
   if (arguments.length > 1) {
     var extra = arguments.getRange(1, arguments.length - 1);
     helpAndFail('Error: Extra arguments: ${Strings.join(extra, " ")}');
   }
 
   Map<String, SourceFile> sourceFiles = <SourceFile>{};
   int dartBytesRead = 0;
@@ skipping 84 matching lines @@
   List<String> argv = ['--library-root=${options.script}$root'];
   argv.addAll(options.arguments);
   compile(argv);
 }
 
 void help() {
   // This message should be no longer than 22 lines. The default
   // terminal size normally 80x24. Two lines are used for the prompts
   // before and after running the compiler.
   print('''
-Usage: dart2js [OPTIONS] DARTFILE
+Usage: dart2js [options] dartfile
 
 Compiles Dart to JavaScript.
 
 Common options:
-  --help      Display this message.
-  --out=FILE  Save the output to FILE (default: out.js).
-  --checked   Turn on checked mode in generated JavaScript code.''');
+  -o<file> Generate the output into <file>.
+  -c       Insert runtime type checks and enable assertions (checked mode).
+  -h       Display this message (add -v for information about all options).''');
 }
 
-void helpAndExit() {
-  help();
+void verboseHelp() {
+  print('''
+Usage: dart2js [options] dartfile
+
+Compiles Dart to JavaScript.
+
+Supported options:
+  -o<file>, --out=<file>
+    Generate the output into <file>.
+
+  -c, --enable-checked-mode, --checked
+    Insert runtime type checks and enable assertions (checked mode).
+
+  -h, /h, /?, --help
+    Display this message (add -v for information about all options).
+
+  -v, --verbose
+    Display verbose information.
+
+  --suppress-warnings
+    Do not display any warnings.
+
+  --no-colors
+    Do not add colors to diagnostic messages.
+
+The following options are only used for compiler development and may
+be removed in a future version:
+  --throw-on-error
+    Throw an exception if a compile-time error is detected.
+
+  --library-root=<directory>
+    Where to find the Dart platform libraries.
+
+  --allow-mock-compilation
+    Do not generate a call to main if either of the following
+    libraries are used: dart:dom, dart:html dart:io.''');
+}
+
+void helpAndExit(bool verbose) {
+  if (verbose) {
+    verboseHelp();
+  } else {
+    help();
+  }
   exit(0);
 }
 
 void helpAndFail(String message) {
   help();
   print('');
   fail(message);
 }
 
 void main() {
   try {
     compilerMain(new Options());
   } catch (var exception, var trace) {
     try {
       print('Internal error: $exception');
     } catch (var ignored) {
       print('Internal error: error while printing exception');
     }
     try {
       print(trace);
     } finally {
       exit(253); // 253 is recognized as a crash by our test scripts.
     }
   }
 }