Add option --compile-sdk to fasta compile and run.

pkg/front_end/lib/src/fasta/translate_uri.dart

Index: pkg/front_end/lib/src/fasta/translate_uri.dart
diff --git a/pkg/front_end/lib/src/fasta/translate_uri.dart b/pkg/front_end/lib/src/fasta/translate_uri.dart
index 5ca6eae58450ea46300c73d4e1d9d699742463c4..c766ffa4bf5cc94c67698d03d528742478a88617 100644
--- a/pkg/front_end/lib/src/fasta/translate_uri.dart
+++ b/pkg/front_end/lib/src/fasta/translate_uri.dart
@@ -15,8 +15,9 @@ import 'package:package_config/packages_file.dart' as packages_file show
 
 class TranslateUri {
   final Map<String, Uri> packages;
+  final Map<String, Uri> dartLibraries;
 
-  TranslateUri(this.packages);
+  TranslateUri(this.packages, this.dartLibraries);
 
   Uri translate(Uri uri) {
     if (uri.scheme == "dart") return translateDartUri(uri);
@@ -24,9 +25,7 @@ class TranslateUri {
     return null;
   }
 
-  // TODO(ahe): Implement loading platform file on demand. This method must
-  // become async for that to happen.
-  Uri translateDartUri(Uri uri) => null;
+  Uri translateDartUri(Uri uri) => dartLibraries[uri.path];
 
   Uri translatePackageUri(Uri uri) {
     int index = uri.path.indexOf("/");
@@ -38,11 +37,41 @@ class TranslateUri {
     return root.resolve(path);
   }
 
-  static Future<TranslateUri> parse([Uri uri]) async {
+  static Future<TranslateUri> parse(Uri sdk, [Uri uri]) async {
+    // This list is generated with [bin/generate_dart_libraries.dart] below.

[Siggi Cherem (dart-lang), 2017/02/03 18:16:58]

I think we need to do a few changes regarding how we generate this. I'm OK
landing the changes you have here and making this later, but I don't want to
delay on this too long.

In particular, at some point Sigurd changed dart2js to no longer use the
libraries in sdk_library_metadata and consume the dart_*.platform files. I
recall his change was motivated by dartino. As a result currently no one reads
in the library medatadata from the sdk_library_metadata package anymore.

I honestly like the change Sigurd started: I like using a data text file and not
using .dart for this. I personally don't mind the the .ini style format. I
recall you had concerns about it. In case it's relevant here is the code that
parses it, the code is pretty small
https://github.com/dart-lang/sdk/blob/master/pkg/compiler/lib/src/platform_co....

If we were to change the format, I prefer something that has comment syntax on
it. Plain json is not my favorite, we could do json + comments (preprocess a
json text to strip the comments out) or yaml.

[ahe, 2017/02/03 19:34:14]

I started using the .platform files Sigurd started. However, I couldn't find any
for the VM, only dart2js.

I also recalled discussing this with someone recently (most likely you), and I
thought the conclusion was that nobody is actually using the .platform files
right now.

It's getting late here, so I'd appreciate if you could look into which file to
actually use here. I'll change bin/generate_dart_libraries.dart accordingly. I
don't mind using platfom_configuration.dart, that's the entire point of
generating this list instead of reading it at start up.
I agree. I think YAML is our best bet. JSON + comments is horrible for reporing
errors (even if JSON.decode provided offsets, we'd then have to do some kind of
source mapping). I think we can more easily add source offset for error
reporting to package:yaml (if it isn't there already).

+    //
+    // TODO(ahe): This is only used with the option --compile-sdk, and
+    // currently doesn't work outside the SDK source tree.
+    Map<String, Uri> dartLibraries = {

[Siggi Cherem (dart-lang), 2017/02/03 18:16:58]

You probably need to add a couple VM libraries here that are not declared in
either the *.platform files nor the sdk_library_metadata code.  Note that two of
these have their code in runtime/bin (these are not patch files, but the actual
library definition):


'dart:_builtin'     -> 'runtime/bin/builtin.dart'
'dart:vmservice_io' -> 'runtime/bin/vmservice/vmservice_io.dart'
'dart:_vmservice'   -> 'sdk/lib/vmservice/vmservice.dart'
'dart:profiler'     -> 'sdk/lib/profiler/profiler.dart'


dart:profiler is deprecated and empty, but I still see logic to keep imports to
it working in random places.

We need to address the location of these libraries under 'runtime/...' (and of
the vm patches too), since we need to be able to ship them in the future. Kevin
has more context, so ask him about it too. My initial inclination was to move
them to the sdk/lib/ folder, but Kevin pointed out that flutter also has more
`dart:*` libraries which wont ship in the sdk folder either. I believe he is
suggesting that we have another location that is configurable so we can easily
apply one kind of patches or another.

[ahe, 2017/02/03 19:34:14]

I agree.

All this will be easier to clean up once package:front_end is always in charge
of reading sources, and that's when I'd prefer to clean it up. This way we don't
need to worry about changing the corresponding C++ code.

One caveat, though: I'm not even sure this option should be supported in a
shipped SDK. In that situation, I imagine that will have platform.dill built
into the executable as a binary resource file that fasta can read using some TBD
API.

+      "async": sdk.resolve("lib/async/async.dart"),
+      "_blink": sdk.resolve("lib/_blink/dartium/_blink_dartium.dart"),
+      "_chrome": sdk.resolve("lib/_chrome/dart2js/chrome_dart2js.dart"),
+      "collection": sdk.resolve("lib/collection/collection.dart"),
+      "convert": sdk.resolve("lib/convert/convert.dart"),
+      "core": sdk.resolve("lib/core/core.dart"),
+      "developer": sdk.resolve("lib/developer/developer.dart"),
+      "html": sdk.resolve("lib/html/dartium/html_dartium.dart"),
+      "html_common": sdk.resolve("lib/html/html_common/html_common.dart"),
+      "indexed_db":
+          sdk.resolve("lib/indexed_db/dartium/indexed_db_dartium.dart"),
+      "io": sdk.resolve("lib/io/io.dart"),
+      "isolate": sdk.resolve("lib/isolate/isolate.dart"),
+      "js": sdk.resolve("lib/js/dartium/js_dartium.dart"),
+      "js_util": sdk.resolve("lib/js_util/dartium/js_util_dartium.dart"),
+      "math": sdk.resolve("lib/math/math.dart"),
+      "mirrors": sdk.resolve("lib/mirrors/mirrors.dart"),
+      "nativewrappers": sdk.resolve("lib/html/dartium/nativewrappers.dart"),
+      "typed_data": sdk.resolve("lib/typed_data/typed_data.dart"),
+      "svg": sdk.resolve("lib/svg/dartium/svg_dartium.dart"),
+      "web_audio": sdk.resolve("lib/web_audio/dartium/web_audio_dartium.dart"),
+      "web_gl": sdk.resolve("lib/web_gl/dartium/web_gl_dartium.dart"),
+      "web_sql": sdk.resolve("lib/web_sql/dartium/web_sql_dartium.dart"),
+      "_internal": sdk.resolve("lib/internal/internal.dart"),
+    };
     uri ??= Uri.base.resolve(".packages");
     File file = new File.fromUri(uri);
     List<int> bytes = await file.readAsBytes();
     Map<String, Uri> packages = packages_file.parse(bytes, uri);
-    return new TranslateUri(packages);
+    return new TranslateUri(packages, dartLibraries);
   }
 }