Bob Nystrom c1da4705f5 Revise the generic methods doc. ...

- Clarify up front that "methods" also applies to functions.

- Note that it is an error to use a type parameter as a type literal.

R=leafp@google.com, skybrian@google.com

Review URL: https://codereview.chromium.org/2555803003 .

2016-12-06 13:42:46 -08:00

..

definition

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.

2015-07-28 15:29:14 -07:00

GENERIC_METHOD_COMMENTS.md

Update generic methods docs to use the new syntax.

2016-12-02 13:50:05 -08:00

GENERIC_METHODS.md

Revise the generic methods doc.

2016-12-06 13:42:46 -08:00

JS_CODEGEN.md

Refactored this and uploaded here:

2016-02-03 05:44:22 -08:00

PUBLISH.md

Update PUBLISH.md

2016-01-08 13:40:37 -08:00

RUNTIME_SAFETY.md

Refactored this and uploaded here:

2016-02-03 05:44:22 -08:00

STATIC_SAFETY.md

Remove the experimental tag from the flag header

2016-07-13 12:03:32 -07:00