Samir Jindel 474c075794 [kernel] Simplified Coq AST and first draft of it's type system. ...

Details to come in discussions.

Bug:
Change-Id: Ia50d85dd27cde83e25086f64dc6746cc52036128
Reviewed-on: https://dart-review.googlesource.com/4941
Reviewed-by: Dmitry Stefantsov <dmitryas@google.com>

2017-09-12 16:23:16 +00:00

..

analyzer

Start unraveling circularities between analyzer and front_end/kernel.

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

binary

Fix for reading VariableDeclaration flags.

2017-09-08 17:45:37 +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

Revert "Fix forEachOverridePair in the case where the class in question is abstract."

2017-08-29 14:46:15 -07:00

target

[kernel] Add VM precompiler target and devirtualization optimization

2017-09-07 16:54:33 +00:00

testing

Handle FutureOr type when inferring async closures.

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

text

Fix fuzzy arrow warnings in kernel.

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

transformations

[kernel] Simplified Coq AST and first draft of it's type system.

2017-09-12 16:23:16 +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] Simplified Coq AST and first draft of it's type system.

2017-09-12 16:23:16 +00:00

canonical_name.dart

[kernel] Simplified Coq AST and first draft of it's type system.

2017-09-12 16:23:16 +00:00

class_hierarchy.dart

[kernel] Add VM precompiler target and devirtualization optimization

2017-09-07 16:54:33 +00:00

clone.dart

Store the covariant keyword flag for parameters and fields into Kernel and resynthesize in analyzer.

2017-08-24 07:17:36 -07:00

coq_annot.dart

[kernel] Simplified Coq AST and first draft of it's type system.

2017-09-12 16:23:16 +00:00

core_types.dart

Reapply 0489249d29 with a fix for front_end tests.

2017-07-17 20:56:28 +02:00

import_table.dart

Store actual Reference(s) for additional exports.

2017-09-01 16:30:43 +02: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

type_algebra.dart

Add typedef AST node boilerplate.

2017-04-28 13:26:47 +02:00

type_checker.dart

Change MethodInvocation.interfaceTarget from a Procedure to a Member.

2017-06-07 09:20:53 -07:00

type_environment.dart

Implement subtyping rules for FutureOr in kernel.

2017-05-24 06:14:22 -07:00

verifier.dart

Mark top-level error field as static.

2017-08-29 12:39:00 +02:00

visitor.dart

Store parts in Kernel Library, resynthesize parts in Analyzer.

2017-08-03 10:36:29 -07:00