Samir Jindel f13f772bb2 [kernel] Implementation of fine-grained strong mode argument type-checks, phase 2 ...

This revision continues the implementation of:
https://docs.google.com/document/d/1KK8b6kzr0pQev5YNftSZhN3M6I8HcvOJwJ6U-cW4nfw/edit?ts=5a05b3e9#heading=h.7j21arix8p2

* Add argument checking bits for named arguments in the arguments descriptor.
* Add argument checking bits for type arguments.
* Calculate argument checking bits for setters.
* Add dispatch category to PropertySet and DirectPropertySet.

Bug:
Change-Id: Ieb0a4a99c401f53a72de473fda7bab61581f9996
Reviewed-on: https://dart-review.googlesource.com/22700
Commit-Queue: Samir Jindel <sjindel@google.com>
Reviewed-by: Vyacheslav Egorov <vegorov@google.com>
Reviewed-by: Régis Crelier <regis@google.com>

2017-11-24 18:23:57 +00:00

..

analyzer

Start unraveling circularities between analyzer and front_end/kernel.

2017-03-17 05:56:06 -07:00

binary

[kernel] Implementation of fine-grained strong mode argument type-checks, phase 2

2017-11-24 18:23:57 +00:00

frontend

Dart SDK Spelling b, c, and d.

2017-05-01 08:28:10 +02:00

interpreter

Fix fuzzy arrow warnings in kernel.

2017-09-05 17:07:46 +00:00

src

Remove ClassHierarchy.forEachCrossOverridePair.

2017-10-13 20:28:55 +00:00

target

Fix missed vmservice_sky -> vmservice_io rename

2017-11-14 22:13:06 +00:00

testing

Handle FutureOr type when inferring async closures.

2017-05-20 20:16:59 -07:00

text

[kernel] Allow ast_to_text to print 'partial' dills

2017-11-17 11:02:33 +00:00

transformations

[Kernel] Add treeshaker support for constants

2017-11-20 14:33:47 +00:00

vm

[kernel] Add kernel2kernel constant evaluation, binary format as well as vm support

2017-11-16 11:08:02 +00:00

application_root.dart

Store library paths relative to a given application root folder.

2016-11-30 10:39:48 +01:00

ast.dart

[kernel] Implementation of fine-grained strong mode argument type-checks, phase 2

2017-11-24 18:23:57 +00:00

canonical_name.dart

Implement combining outlines for top-level declarations.

2017-10-13 20:32:24 +00:00

class_hierarchy.dart

Remove ClassHierarchy.forEachCrossOverridePair.

2017-10-13 20:28:55 +00:00

clone.dart

[kernel] Implementation of fine-grained strong mode argument type-checks, phase 2

2017-11-24 18:23:57 +00:00

coq_annot.dart

[kernel] Cleanup of object model and coq.dart.

2017-09-13 11:43:30 +00:00

core_types.dart

Update mock SDK and shaker to include required declarations.

2017-11-08 01:19:50 +00:00

error_formatter.dart

Move ErrorFormatter and HighlightingPrinter into pkg/kernel/lib.

2017-10-30 11:12:52 +00:00

import_table.dart

Use custom URIs on most of front_end unit tests

2017-10-21 00:26:58 +00:00

kernel.dart

Rework DillLoader to allow adding multiple dills.

2017-05-11 08:56:36 -07:00

library_index.dart

Make LibraryIndex lazy.

2017-05-23 14:28:19 -07:00

log.dart

[kernel] Initial implementation of Dart Kernel.

2016-04-26 10:39:15 +02:00

naive_type_checker.dart

Move error formatting out of the type checker

2017-10-26 07:38:40 +00:00

type_algebra.dart

Put no bound on substituted type when substitution has no bound.

2017-11-10 13:15:08 +00:00

type_checker.dart

[kernel] Add kernel2kernel constant evaluation, binary format as well as vm support

2017-11-16 11:08:02 +00:00

type_environment.dart

[kernel] Make TypeEnvironment.strongMode into a field instead of getter.

2017-10-06 15:14:36 +00:00

verifier.dart

[kernel] Add kernel2kernel constant evaluation, binary format as well as vm support

2017-11-16 11:08:02 +00:00

visitor.dart

[kernel] Add kernel2kernel constant evaluation, binary format as well as vm support

2017-11-16 11:08:02 +00:00