Commit Graph

4 Commits

Author SHA1 Message Date
Dmitry Stefantsov 2ed7b63abd [cfe] Describe subtype relation in "Nullability in CFE"
Change-Id: Ia9426a92f0a6f374bf540f982d1429ff693dad80
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/121703
Reviewed-by: Aske Simon Christensen <askesc@google.com>
2019-10-16 08:56:41 +00:00
Dmitry Stefantsov dbf63583ff [cfe] Add .withNullability to the "Nullability in CFE" doc
Change-Id: Ic920d5451a541972f5184e84012b69cd21d70d55
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/121701
Reviewed-by: Aske Simon Christensen <askesc@google.com>
2019-10-16 08:50:51 +00:00
Dmitry Stefantsov a81ea1e0d2 [cfe] Upload the first draft of Nullability in CFE doc
Change-Id: I48cd08ed885a022e45bc6eae0fae3384728bbf06
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/118988
Reviewed-by: Aske Simon Christensen <askesc@google.com>
Reviewed-by: Johnni Winther <johnniwinther@google.com>
2019-10-04 11:04:02 +00:00
Dmitry Stefantsov 49996eeb88 [kernel-f11n] Add the opertional semantics spec for Kernel
Change-Id: Ic5780eaf5743e525b8ae646867bc0a60f5bfbbbb
Reviewed-on: https://dart-review.googlesource.com/9260
Reviewed-by: Kevin Millikin <kmillikin@google.com>
2017-09-28 12:04:25 +00:00