Initial support for runtime function types and type checking

lib/runtime/dart/core.js

 var core;
 (function(exports) {
   'use strict';
   class Object {
     constructor() {
       let name = this.constructor.name;
       let init = this[name];
       let result = void 0;
       if (init)
         result = init.apply(this, arguments);
@@ skipping 61 matching lines @@
   }
   dart.defineNamedConstructor(bool, 'fromEnvironment');
   let _toMangledNames = dart.JsSymbol('_toMangledNames');
   class Function extends Object {
     static apply(f, positionalArguments, namedArguments) {
       if (namedArguments === void 0)
         namedArguments = null;
       return _js_helper.Primitives.applyFunction(f, positionalArguments, namedArguments == null ? null : Function[_toMangledNames](namedArguments));
     }
     static [_toMangledNames](namedArguments) {
-      let result = dart.as(dart.map(), Map$(String, dynamic));
+      let result = dart.as(dart.map(), Map$(String, dart.dynamic));
       namedArguments.forEach(dart.as((symbol, value) => {
         result.set(_symbolToString(dart.as(symbol, Symbol)), value);
-      }, dart.throw_("Unimplemented type (Symbol, dynamic) → void")));
+      }, dart.functionType(dart.void, [Symbol, dart.dynamic])));
       return result;
     }
   }
   let Comparator$ = dart.generic(function(T) {
-    class Comparator extends Function {}
+    let Comparator = dart.typedef('Comparator', () => dart.functionType(int, [T, T]));
     return Comparator;
   });
   let Comparator = Comparator$();
   let Comparable$ = dart.generic(function(T) {
     class Comparable extends Object {
       static compare(a, b) {
         return a.compareTo(b);
       }
     }
     return Comparable;
@@ skipping 1010 matching lines @@
             return {done: done, current: done ? void 0 : iterator.current};
           }
         };
       }
     }
     dart.defineNamedConstructor(Iterable, 'generate');
     return Iterable;
   });
   let Iterable = Iterable$();
   let _Generator$ = dart.generic(function(E) {
-    class _Generator extends Function {}
+    let _Generator = dart.typedef('_Generator', () => dart.functionType(E, [int]));
     return _Generator;
   });
   let _Generator = _Generator$();
   let _end = dart.JsSymbol('_end');
   let _start = dart.JsSymbol('_start');
   let _generator = dart.JsSymbol('_generator');
   let _id = dart.JsSymbol('_id');
   let $iterator = dart.JsSymbol('$iterator');
   let $length = dart.JsSymbol('$length');
   let $skip = dart.JsSymbol('$skip');
@@ skipping 925 matching lines @@
     }
     static [_checkNonWindowsPathReservedCharacters](segments, argumentError) {
       segments[exports.$forEach](dart.as((segment) => {
         if (dart.dinvoke(segment, 'contains', "/")) {
           if (argumentError) {
             throw new ArgumentError(`Illegal path character ${segment}`);
           } else {
             throw new UnsupportedError(`Illegal path character ${segment}`);
           }
         }
-      }, dart.throw_("Unimplemented type (String) → void")));
+      }, dart.functionType(dart.void, [String])));
     }
     static [_checkWindowsPathReservedCharacters](segments, argumentError, firstSegment) {
       if (firstSegment === void 0)
         firstSegment = 0;
       segments[exports.$skip](firstSegment)[exports.$forEach](dart.as((segment) => {
         if (dart.dinvoke(segment, 'contains', new RegExp('["*/:<>?\\\\|]'))) {
           if (argumentError) {
             throw new ArgumentError("Illegal character in path");
           } else {
             throw new UnsupportedError("Illegal character in path");
           }
         }
-      }, dart.throw_("Unimplemented type (String) → void")));
+      }, dart.functionType(dart.void, [String])));
     }
     static [_checkWindowsDriveLetter](charCode, argumentError) {
       if (dart.notNull(Uri[_UPPER_CASE_A]) <= dart.notNull(charCode) && dart.notNull(charCode) <= dart.notNull(Uri[_UPPER_CASE_Z]) || dart.notNull(Uri[_LOWER_CASE_A]) <= dart.notNull(charCode) && dart.notNull(charCode) <= dart.notNull(Uri[_LOWER_CASE_Z])) {
         return;
       }
       if (argumentError) {
         throw new ArgumentError(String['+']("Illegal drive letter ", new String.fromCharCode(charCode)));
       } else {
         throw new UnsupportedError(String['+']("Illegal drive letter ", new String.fromCharCode(charCode)));
       }
@@ skipping 253 matching lines @@
     static [_makePath](path, start, end, pathSegments, ensureLeadingSlash, isFile) {
       if (dart.notNull(path == null) && dart.notNull(pathSegments == null))
         return isFile ? "/" : "";
       if (dart.notNull(path != null) && dart.notNull(pathSegments != null)) {
         throw new ArgumentError('Both path and pathSegments specified');
       }
       let result = null;
       if (path != null) {
         result = Uri[_normalize](path, start, end, dart.as(Uri[_pathCharOrSlashTable], List$(int)));
       } else {
-        result = pathSegments[exports.$map](dart.as((s) => Uri[_uriEncode](dart.as(Uri[_pathCharTable], List$(int)), dart.as(s, String)), dart.throw_("Unimplemented type (String) → dynamic")))[exports.$join]("/");
+        result = pathSegments[exports.$map](dart.as((s) => Uri[_uriEncode](dart.as(Uri[_pathCharTable], List$(int)), dart.as(s, String)), dart.functionType(dart.dynamic, [String])))[exports.$join]("/");
       }
       if (dart.dload(result, 'isEmpty')) {
         if (isFile)
           return "/";
       } else if ((dart.notNull(isFile) || dart.notNull(ensureLeadingSlash)) && dart.notNull(!dart.equals(dart.dinvoke(result, 'codeUnitAt', 0), Uri[_SLASH]))) {
         return `/${result}`;
       }
       return dart.as(result, String);
     }
     static [_makeQuery](query, start, end, queryParameters) {
       if (dart.notNull(query == null) && dart.notNull(queryParameters == null))
         return null;
       if (dart.notNull(query != null) && dart.notNull(queryParameters != null)) {
         throw new ArgumentError('Both query and queryParameters specified');
       }
       if (query != null)
         return Uri[_normalize](query, start, end, dart.as(Uri[_queryCharTable], List$(int)));
       let result = new StringBuffer();
       let first = true;
       queryParameters.forEach(dart.as((key, value) => {
         if (!dart.notNull(first)) {
           result.write("&");
         }
         first = false;
         result.write(Uri.encodeQueryComponent(dart.as(key, String)));
         if (dart.notNull(value != null) && dart.notNull(dart.dunary('!', dart.dload(value, 'isEmpty')))) {
           result.write("=");
           result.write(Uri.encodeQueryComponent(dart.as(value, String)));
         }
-      }, dart.throw_("Unimplemented type (String, String) → void")));
+      }, dart.functionType(dart.void, [String, String])));
       return result.toString();
     }
     static [_makeFragment](fragment, start, end) {
       if (fragment == null)
         return null;
       return Uri[_normalize](fragment, start, end, dart.as(Uri[_queryCharTable], List$(int)));
     }
     static [_stringOrNullLength](s) {
       return s == null ? 0 : s.length;
     }
@@ skipping 390 matching lines @@
         if (index == -1) {
           if (!dart.equals(element, "")) {
             dart.dsetindex(map, Uri.decodeQueryComponent(dart.as(element, String), {encoding: encoding}), "");
           }
         } else if (index != 0) {
           let key = dart.dinvoke(element, 'substring', 0, index);
           let value = dart.dinvoke(element, 'substring', dart.notNull(index) + 1);
           dart.dsetindex(map, Uri.decodeQueryComponent(dart.as(key, String), {encoding: encoding}), Uri.decodeQueryComponent(dart.as(value, String), {encoding: encoding}));
         }
         return map;
-      }, dart.throw_("Unimplemented type (dynamic, String) → dynamic"))), Map$(String, String));
+      }, dart.functionType(dart.dynamic, [dart.dynamic, String]))), Map$(String, String));
     }
     static parseIPv4Address(host) {
       // Function error: (String) → void
       function error(msg) {
         throw new FormatException(`Illegal IPv4 address, ${msg}`);
       }
       let bytes = host.split('.');
       if (bytes[exports.$length] != 4) {
         error('IPv4 address should contain exactly 4 parts');
       }
       return dart.as(bytes[exports.$map](dart.as((byteString) => {
         let byte = int.parse(dart.as(byteString, String));
         if (dart.notNull(byte) < 0 || dart.notNull(byte) > 255) {
           error('each part must be in the range of `0..255`');
         }
         return byte;
-      }, dart.throw_("Unimplemented type (String) → dynamic")))[exports.$toList](), List$(int));
+      }, dart.functionType(dart.dynamic, [String])))[exports.$toList](), List$(int));
     }
     static parseIPv6Address(host, start, end) {
       if (start === void 0)
         start = 0;
       if (end === void 0)
         end = null;
       if (end == null)
         end = host.length;
       // Function error: (String, [dynamic]) → void
       function error(msg, position) {
@@ skipping 209 matching lines @@
   Uri._pathCharOrSlashTable = /* Unimplemented const */new List.from([0, 0, 65490, 12287, 65535, 34815, 65534, 18431]);
   Uri._queryCharTable = /* Unimplemented const */new List.from([0, 0, 65490, 45055, 65535, 34815, 65534, 18431]);
   // Function _symbolToString: (Symbol) → String
   function _symbolToString(symbol) {
     return _internal.Symbol.getName(dart.as(symbol, _internal.Symbol));
   }
   // Function _symbolMapToStringMap: (Map<Symbol, dynamic>) → dynamic
   function _symbolMapToStringMap(map) {
     if (map == null)
       return null;
-    let result = new (Map$(String, dynamic))();
+    let result = new (Map$(String, dart.dynamic))();
     map.forEach((key, value) => {
       result.set(_symbolToString(key), value);
     });
     return result;
   }
   class _ListConstructorSentinel extends Object {
     _ListConstructorSentinel() {
     }
   }
   // Exports:
@@ skipping 69 matching lines @@
   exports.Stopwatch = Stopwatch;
   exports.String = String;
   exports.$last = $last;
   exports.RuneIterator = RuneIterator;
   exports.StringBuffer = StringBuffer;
   exports.StringSink = StringSink;
   exports.Symbol = Symbol;
   exports.Type = Type;
   exports.Uri = Uri;
 })(core || (core = {}));