Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Add drone integration | Felix Mulder | 2016-11-22 | 1 | -1/+0 |
| | |||||
* | Remove unused examples dir, duplicate contained in tests/pos | Felix Mulder | 2016-11-22 | 1 | -2/+2 |
| | |||||
* | Update documentation for new sbt commands | Felix Mulder | 2016-11-22 | 4 | -21/+63 |
| | |||||
* | Merge pull request #1634 from dotty-staging/change-tasty-pos-ctd | odersky | 2016-11-21 | 1 | -2/+2 |
|\ | | | | | Towards correct positions in TASTY types | ||||
| * | Pickle and unpickle type trees | Martin Odersky | 2016-11-16 | 1 | -2/+2 |
| | | | | | | | | | | | | | | Lots of other changes to make positions work out everywhere. One important change is that now trees can be shared, just as types can. This change improves memory requirements (a bit) and also makes positions in shared trees more robust. | ||||
* | | Merge pull request #1678 from Blaisorblade/sync-diagrams | Guillaume Martres | 2016-11-12 | 1 | -3/+8 |
|\ \ | |/ |/| | Resync copy of the type diagram in docs | ||||
| * | Resync copy of the type diagram in docs | Paolo G. Giarrusso | 2016-11-07 | 1 | -3/+8 |
| | | | | | | | | | | | | | | Also add a note that the two diagrams should be kept in sync, both ways, so there's a chance that the copies are kept in sync. Alternatively one could drop a copy. | ||||
* | | Update feature list on webpage | Felix Mulder | 2016-11-09 | 1 | -7/+2 |
|/ | |||||
* | Fix highlighting in search, add highlights in forwarding links | Felix Mulder | 2016-11-07 | 7 | -21/+78 |
| | |||||
* | Fix #1675: add `edit on github` button | Felix Mulder | 2016-11-07 | 3 | -0/+11 |
| | |||||
* | Fix #1674: add search to doc site | Felix Mulder | 2016-11-07 | 22 | -46/+179 |
| | |||||
* | Fix #1668 - add encoding for default docs layout | dos65 | 2016-11-06 | 1 | -0/+2 |
| | |||||
* | Remove broken link in docs index | Felix Mulder | 2016-10-31 | 1 | -1/+1 |
| | |||||
* | Change base-url, so dotty.epfl.ch can build master | Felix Mulder | 2016-10-31 | 1 | -1/+1 |
| | |||||
* | Change base url to match new CNAME from dotty.epfl.ch | Felix Mulder | 2016-10-31 | 1 | -1/+1 |
| | |||||
* | Create CNAME | Felix Mulder | 2016-10-31 | 1 | -0/+1 |
| | |||||
* | Use => instead of -> for PolyTypes | Martin Odersky | 2016-10-12 | 1 | -1/+1 |
| | | | | | | If PolyTypes are to become value types we want to keep `=>` as the arrow for consistency. `->` should be reserved for PolyTypes that do not have side effects on instantiation. | ||||
* | Merge pull request #1582 from cvogt/patch-2 | Felix Mulder | 2016-10-11 | 1 | -0/+1 |
|\ | | | | | linking cbt usage, merge after #1581 | ||||
| * | linking cbt usage, merge after #1581 | Jan Christopher Vogt | 2016-10-11 | 1 | -0/+1 |
| | | |||||
* | | cbt dotty usage | Jan Christopher Vogt | 2016-10-11 | 1 | -0/+19 |
|/ | |||||
* | Migrate dotty.epfl.ch to static site in repository | Felix Mulder | 2016-10-07 | 33 | -29/+4338 |
| | |||||
* | Fix gh pages config file | Felix Mulder | 2016-10-06 | 1 | -1/+1 |
| | |||||
* | Append baseurl to necessary links | Felix Mulder | 2016-10-06 | 2 | -19/+19 |
| | |||||
* | Remove relative links for markdown plugin | Felix Mulder | 2016-10-06 | 4 | -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 scheme | Felix Mulder | 2016-10-06 | 1 | -1/+5 |
| | |||||
* | Add Jekyll as static site generator | Felix Mulder | 2016-10-06 | 39 | -109/+768 |
| | |||||
* | Add posts from dotty-website | Felix Mulder | 2016-10-06 | 6 | -12/+471 |
| | |||||
* | Add index.md | Felix Mulder | 2016-10-06 | 2 | -0/+31 |
| | |||||
* | Move wiki into docs dir | Felix Mulder | 2016-10-06 | 21 | -643/+1493 |
| | |||||
* | Add inline for vals | Martin Odersky | 2016-10-02 | 1 | -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 docs | Martin Odersky | 2016-09-25 | 1 | -1/+1 |
| | |||||
* | Fix #1396: Modify parser to allow wildcard types everywhere | Clemens Winter | 2016-08-01 | 1 | -6/+6 |
| | |||||
* | Drop restriction to 2nd order hk types | Martin Odersky | 2016-07-12 | 1 | -2/+3 |
| | | | | Allow hk type parameters to be higher kinded themselves. | ||||
* | New type lambda scheme for hk types | Martin Odersky | 2016-07-11 | 1 | -1/+1 |
| | |||||
* | Polishing | Martin Odersky | 2016-04-01 | 1 | -10/+11 |
| | |||||
* | Add links | Martin Odersky | 2016-04-01 | 1 | -6/+14 |
| | |||||
* | New article: dotc's overall structure | Martin Odersky | 2016-04-01 | 1 | -0/+165 |
| | |||||
* | add syntax highlighting | Martin Odersky | 2016-04-01 | 1 | -0/+4 |
| | |||||
* | fix typo | Martin Odersky | 2016-04-01 | 1 | -1/+1 |
| | |||||
* | Fix typo | Martin Odersky | 2016-04-01 | 1 | -1/+1 |
| | |||||
* | Add more material to periods.md | Martin Odersky | 2016-04-01 | 1 | -1/+39 |
| | |||||
* | First of a series of compiler design documents | Martin Odersky | 2016-04-01 | 1 | -0/+52 |
| | |||||
* | Allow Named Arguments in TypeArgs | Martin Odersky | 2016-02-19 | 1 | -1/+1 |
| | | | | Lets one also pass named arguments to methods. | ||||
* | First version of named type arguments | Martin Odersky | 2016-02-19 | 1 | -1/+3 |
| | |||||
* | Fix parsing of blocks that end in an import | Martin Odersky | 2015-12-19 | 1 | -1/+1 |
| | |||||
* | fix typos | Martin Odersky | 2015-10-23 | 1 | -8/+8 |
| | |||||
* | fix typos | Martin Odersky | 2015-10-23 | 1 | -2/+4 |
| | |||||
* | fix typos | Martin Odersky | 2015-10-23 | 1 | -3/+3 |
| | |||||
* | fix typos | Martin Odersky | 2015-10-23 | 1 | -2/+2 |
| | |||||
* | Draft blog post | Martin Odersky | 2015-10-23 | 1 | -0/+61 |
| |