John Messerly
|
71503774d5
|
Remove the experimental tag from the flag header
If it becomes non-experimental it would break the http link. Experimental note still exists in prose.
|
2016-07-13 12:03:32 -07:00 |
|
John Messerly
|
0d7101d28d
|
Update STATIC_SAFETY.md
improve optional flags documentation
|
2016-07-13 12:01:00 -07:00 |
|
John Messerly
|
a210c63c28
|
add a note about experiments and a feedback link
|
2016-07-13 11:22:26 -07:00 |
|
John Messerly
|
8e971115cd
|
Docs for no-implicit-casts and no-implicit-dynamic
As part of fixing https://github.com/dart-lang/sdk/issues/26782, I wanted to be able to link to some documentation for the Analyzer flags.
|
2016-07-13 11:13:51 -07:00 |
|
vsmenon
|
4a108cc638
|
Update GENERIC_METHODS.md
|
2016-03-04 05:51:45 -08:00 |
|
Bob Nystrom
|
472687101a
|
Update docs to suggest replacing dynamic with a type parameter.
R=vsm@google.com
Review URL: https://codereview.chromium.org/1716593002 .
|
2016-02-18 16:14:54 -08:00 |
|
vsmenon
|
4f37e97956
|
Update STATIC_SAFETY.md
|
2016-02-18 15:43:19 -08:00 |
|
vsmenon
|
c2d42b14f8
|
Update STATIC_SAFETY.md
|
2016-02-17 11:19:08 -08:00 |
|
vsmenon
|
76326585b7
|
Update GENERIC_METHODS.md
|
2016-02-03 10:45:54 -08:00 |
|
Vijay Menon
|
a763c43486
|
Refactored this and uploaded here:
https://github.com/dart-lang/dev_compiler/blob/strong/STRONG_MODE.md
PTAL
R=jmesserly@google.com, rnystrom@google.com
Review URL: https://codereview.chromium.org/1541833002 .
|
2016-02-03 05:44:22 -08:00 |
|
vsmenon
|
f4224e3708
|
Update PUBLISH.md
|
2016-01-08 13:40:37 -08:00 |
|
vsmenon
|
40925a3609
|
Update PUBLISH.md
|
2016-01-08 10:38:39 -08:00 |
|
vsmenon
|
23bc615478
|
Create PUBLISH.md
|
2016-01-08 10:37:20 -08:00 |
|
Leaf Petersen
|
c27685968a
|
Static semantics v0.1. This now contains a fairly complete version of the static semantics for a core language, along with a translation into the same core language extended with a few small primitives. The insertion of covariance type checks is handled. Per Siggi's suggestion, I've moved the extended core language primitives into the elaboration section. The main changes from the last checkin are the treatment of classes, class hierarchies, override checking, etc. I've added some text to explain the general idea of what's going on.
I've gone ahead an uploaded a pdf version to the site.dev_compiler repository that matches the version in this CL.
BUG=
R=vsm@google.com
Review URL: https://codereview.chromium.org/1253143002.
|
2015-07-28 15:29:14 -07:00 |
|
Leaf Petersen
|
b561f0c284
|
Core static semantics checkpoint. First take on a core static semantics. Class typing is not done, but all of the core language is pretty well fleshed out. Fuzzy arrow types are handled, downwards inference on function types is modeled, and local variable type inference is modeled. Field lookup has not been specified yet.
I've split out the elaboration of the input syntax into the final program with runtime checks and suppressed that from the output for now.
BUG=
R=vsm@google.com
Review URL: https://codereview.chromium.org/1236443002.
|
2015-07-15 15:52:39 -07:00 |
|
Leaf Petersen
|
53345a6d6d
|
Syntax and subtyping for strong dart. Initial pass on a core calculus for exploring and defining the key ideas underlying the strong dart type system. This CL contains the initial latex setup, a proposed base syntax to start from, and the definition of subtyping.
BUG=
R=jmesserly@google.com, vsm@google.com
Review URL: https://codereview.chromium.org/1205173003
|
2015-06-25 13:17:01 -07:00 |
|