dart-archive / kernel

Dart IR (Intermediate Representation) -- moved to dart-lang/sdk
BSD 3-Clause "New" or "Revised" License
20 stars 3 forks source link

Strong mode support #5

Open asgerf opened 8 years ago

asgerf commented 8 years ago

When compiled for strong mode:

The current analyzer-based frontend inserts inferred types, but not the necessary checks.