| Commit message (Collapse) | Author | Age |
|---|
| |
|
|
|
| |
The new error reporting system has a simpler interface, isn't tied to the
resolver, and contains error source information.
|
| | |
|
| | |
|
| |
|
|
|
| |
There now is one main entry point for reporting errors, warnings, or
information. Next step is to make the VS extension use that.
|
| | |
|
| |
|
|
|
|
| |
are written as numeric strings). The
underscores have no semantic meaning, but can help a human parse the numbers.
|
| |
|
|
| |
Disallow backslash from being part of identifier names.
|
| |
|
|
|
|
| |
Added string literals with various escapes--a subset of those supported in C# and similar languages, including the C# verbatim strings.
Previously, the "print" statement and custom attributes could support expression-or-string arguments; there is no longer a need to special-case these, so these arguments are now just expressions.
Fixed lack of operator resolution in custom attributes.
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
* The reads clause now needs to be self framing.
* The requires clause now needs to be framed by the reads clause.
* There are one-shot lambdas, with a single arrow, but they will probably be
removed.
* There is a {:heapQuantifier} attribute to quantifiers, but they will
probably be removed.
* Add smart handling of type variables
* Add < and > for datatype & type parameter
|
| | |
|
| |
|
Clément Pit--Claudel
Bryan Parno
leino
Dan Rosén
Rustan Leino