search

dart-archive / dev_compiler

DEPRECATED - Moved to main SDK
https://github.com/dart-lang/sdk/tree/master/pkg/dev_compiler
Other
133 stars 27 forks source link

Document DDC type system #242

Open vsmenon opened 9 years ago

vsmenon commented 9 years ago

Formalize and document the DDC type system / subtyping rules.

leafpetersen commented 9 years ago

Fairly extensive initial draft here:

https://dart-lang.github.io/dev_compiler/strong-dart.pdf