aboutsummaryrefslogtreecommitdiff
path: root/docs
Commit message (Collapse)AuthorAgeFilesLines
* Migrate dotty.epfl.ch to static site in repositoryFelix Mulder2016-10-0733-29/+4338
|
* Fix gh pages config fileFelix Mulder2016-10-061-1/+1
|
* Append baseurl to necessary linksFelix Mulder2016-10-062-19/+19
|
* Remove relative links for markdown pluginFelix Mulder2016-10-064-270/+9
| | | | | This plugin caused the Github site builder to kill the build (github has a limited number of trusted plugins - this wasn't one of them).
* Warn users about outdated HK schemeFelix Mulder2016-10-061-1/+5
|
* Add Jekyll as static site generatorFelix Mulder2016-10-0639-109/+768
|
* Add posts from dotty-websiteFelix Mulder2016-10-066-12/+471
|
* Add index.mdFelix Mulder2016-10-062-0/+31
|
* Move wiki into docs dirFelix Mulder2016-10-0621-643/+1493
|
* Add inline for valsMartin Odersky2016-10-021-2/+3
| | | | | | | | | | - allow inline as an alternative to final for vals (final is retained for backwards compatibility for now) - allow inline for parameters - check that rhs of inline value has a constant type - check that arguments to inline value parameters have constant type - check that inline members are not deferred - make inline members effectively final
* Eliminate SelectFromTypeTree from docsMartin Odersky2016-09-251-1/+1
|
* Fix #1396: Modify parser to allow wildcard types everywhereClemens Winter2016-08-011-6/+6
|
* Drop restriction to 2nd order hk typesMartin Odersky2016-07-121-2/+3
| | | | Allow hk type parameters to be higher kinded themselves.
* New type lambda scheme for hk typesMartin Odersky2016-07-111-1/+1
|
* PolishingMartin Odersky2016-04-011-10/+11
|
* Add linksMartin Odersky2016-04-011-6/+14
|
* New article: dotc's overall structureMartin Odersky2016-04-011-0/+165
|
* add syntax highlightingMartin Odersky2016-04-011-0/+4
|
* fix typoMartin Odersky2016-04-011-1/+1
|
* Fix typoMartin Odersky2016-04-011-1/+1
|
* Add more material to periods.mdMartin Odersky2016-04-011-1/+39
|
* First of a series of compiler design documentsMartin Odersky2016-04-011-0/+52
|
* Allow Named Arguments in TypeArgsMartin Odersky2016-02-191-1/+1
| | | | Lets one also pass named arguments to methods.
* First version of named type argumentsMartin Odersky2016-02-191-1/+3
|
* Fix parsing of blocks that end in an importMartin Odersky2015-12-191-1/+1
|
* fix typosMartin Odersky2015-10-231-8/+8
|
* fix typosMartin Odersky2015-10-231-2/+4
|
* fix typosMartin Odersky2015-10-231-3/+3
|
* fix typosMartin Odersky2015-10-231-2/+2
|
* Draft blog postMartin Odersky2015-10-231-0/+61
|
* Make it a syntactic criterion whether a literal is a legal typeMartin Odersky2015-08-241-2/+3
| | | | | Introduce a new non-terminal "SimpleLiteral". Only SimpleLiterals can be types.
* Update SyntaxSummary to take into account SIP 23.Martin Odersky2015-08-231-0/+1
|
* Typo fixsenia-psm2015-08-141-1/+1
|
* Typo fix in trait Lambda$II definitionsenia-psm2015-08-141-1/+1
|
* Disallow {...} arguments for annotationsMartin Odersky2015-05-211-1/+1
| | | | | This mimics scalac's behavior (but not the official syntax; in fact the official syntax seems to be ambiguous.
* Allow AnnotatedType in operands of `with`.Martin Odersky2015-05-211-6/+7
| | | | Brings in line with Scala 2 spec.
* Allow byname repated parametersMartin Odersky2015-04-241-2/+2
| | | | Implements #499
* Merge pull request #146 from dotty-staging/docs/hk-typo-fixDmitry Petrashko2014-07-191-1/+1
|\ | | | | Fixed typo
| * Fixed typoMartin Odersky2014-07-191-1/+1
| |
* | delete unmatched )Nada Amin2014-07-191-1/+1
| |
* | minor typoNada Amin2014-07-191-1/+1
|/
* Sync with implementationMartin Odersky2014-07-141-51/+100
| | | | Adapted docs so that they reflect what has been implemented.
* fixed typosMartin Odersky2014-05-301-5/+5
|
* Fixed typosMartin Odersky2014-05-301-7/+7
|
* Version 2, picking up on an idea of Adriaan.Martin Odersky2014-05-301-0/+326
|
* Fixed two problems with annotated types in patternsMartin Odersky2014-03-141-3/+3
| | | | | | | | | | Problem 1: The parser did not accept them. It has to accept a "RefinedType" as an ascription, not a "WithType" (as it did before), or even a "SimpleType" (as speced in the SyntaxSummary). Problem 2: Annotations are always typed as expressions. The annotations in question were typed as patterns before. Tests in Patterns.scala and in the Dotty compiler itself.
* New version of syntax-summary, with addition of string interpolators for ↵Martin Odersky2013-05-151-4/+8
| | | | quasi-quotes.
* Lots of fixes to parserMartin Odersky2013-05-121-7/+9
| | | | … and some to grammar.
* Some parser revisionsMartin Odersky2013-05-091-9/+10
| | | | | | (1) Added markup parsers (2) Syntax change relating to modifiers and annotations of primary constructor (3) Review of parsing with bug fixes and simplifications.
* Added a parser.Martin Odersky2013-05-071-70/+90
| | | | | | | | Synced parser and SyntaxSymmary. Parser now produces untyped trees that need to be desugared further. Also some tweaks to position to make it work well. This is a first version.
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-11 10:25:27 +0000