aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Expand)AuthorAgeFilesLines
* Introduce recursive typesMartin Odersky2016-07-1116-37/+292
* New type lambda scheme for hk typesMartin Odersky2016-07-117-3/+85
* Better printing of skolemsMartin Odersky2016-07-112-2/+8
* Allow general recursion in refined types.Martin Odersky2016-07-1113-41/+59
* Allow refinements of new typesMartin Odersky2016-07-115-18/+50
* Merge pull request #1371 from dotty-staging/fix-#1366Nicolas Stucki2016-07-111-4/+11
|\
| * Fix: #1366, constant adaptationMartin Odersky2016-07-081-4/+11
* | Remove print option from ScalaSettingsEdmund Noble2016-07-061-1/+0
* | Revert "Implement -print as -Xprint:(last phase)"Edmund Noble2016-07-061-2/+1
* | Implement -print as -Xprint:(last phase)Edmund Noble2016-07-021-1/+2
|/
* Add straightforward fix to #1308jvican2016-07-011-1/+1
* Merge pull request #1315 from nicolasstucki/optimize-try-casesDmitry Petrashko2016-06-303-75/+103
|\
| * Fix #856: Handle try/catch cases as catch cases if possible.Nicolas Stucki2016-06-283-75/+103
* | Merge pull request #1338 from dotty-jvican/non-deferred-ycheckDmitry Petrashko2016-06-301-0/+21
|\ \ | |/ |/|
| * Add postcondition check that ensures #971jvican2016-06-291-0/+21
* | Merge pull request #1226 from dotty-staging/static-fixesDmitry Petrashko2016-06-2213-34/+145
|\ \
| * | Make class initialisers private. Otherwise they break GenBCode.Dmitry Petrashko2016-06-071-1/+1
| * | MoveStatics: Fix classes without companion not getting static <clinit>Dmitry Petrashko2016-06-071-19/+20
| * | LazyVals: do even more verbose debugging.Dmitry Petrashko2016-06-071-1/+5
| * | LazyVals: fix leftover moduleClass usage.Dmitry Petrashko2016-06-071-1/+1
| * | CheckStatic: report error position in case of disallowed overrideDmitry Petrashko2016-06-071-1/+1
| * | MoveStatics: fix a bug.Dmitry Petrashko2016-06-071-1/+2
| * | DottyBackendInterface: fix a bug in methodSymbols.Dmitry Petrashko2016-06-071-1/+1
| * | MoveStatics: survive absence of companions.Dmitry Petrashko2016-06-071-14/+24
| * | SymDenotations: fix comment.Dmitry Petrashko2016-06-071-1/+1
| * | LazyVals: support debug mode.Dmitry Petrashko2016-06-071-2/+19
| * | Fix Ycheck: allow assigning fields in static constructors.Dmitry Petrashko2016-06-073-1/+6
| * | MoveStatics: fix two bugs.Dmitry Petrashko2016-06-071-1/+2
| * | LazyVals: do not share offsets between companions.Dmitry Petrashko2016-06-071-12/+9
| * | Fix #1224: static members do not override\implement parent symbols.Dmitry Petrashko2016-06-071-3/+5
| * | Fix type in SymDenotations.Dmitry Petrashko2016-06-071-1/+1
| * | Drop support for @static lazy vals.Dmitry Petrashko2016-06-071-0/+3
| * | MoveStatic: Move static methods & fields into companion classDmitry Petrashko2016-06-073-3/+71
| * | Allow creating static initialisers.Dmitry Petrashko2016-06-072-1/+5
| * | Getters: do not generate getters for static valsDmitry Petrashko2016-06-071-0/+1
| * | Constructors: do not lift static val initialisation into constructors.Dmitry Petrashko2016-06-071-2/+2
| * | SymDenotations: Allow entering Static symbols.Dmitry Petrashko2016-06-071-1/+1
| * | Fix #1220. Dont die when having incorect static methodsDmitry Petrashko2016-06-071-7/+4
* | | Merge pull request #1309 from felixmulder/topic/fix#1307Dmitry Petrashko2016-06-221-0/+4
|\ \ \
| * | | Move GADT check to `typeTyped`Felix Mulder2016-06-071-4/+5
| * | | Fix issue with GADT not typechecking without bind in matchFelix Mulder2016-06-061-1/+4
* | | | better handling of overloaded extractorsliu fengyun2016-06-201-2/+2
| |_|/ |/| |
* | | Add loader support for dotty bridgeFelix Mulder2016-06-092-7/+17
| |/ |/|
* | Merge pull request #1302 from dotty-staging/fix/partest-cli-errorDmitry Petrashko2016-06-071-1/+1
|\ \ | |/ |/|
| * Properly report errors when cli flags are malformedGuillaume Martres2016-06-021-1/+1
* | Merge pull request #1288 from dotty-staging/fix/implicit-caching-2Guillaume Martres2016-06-033-15/+41
|\ \
| * | Overloading resolution: prefer directly applicable methodsGuillaume Martres2016-06-031-4/+10
| * | Don't compute implicit scopes for synthetic Lambda traitsGuillaume Martres2016-05-311-1/+4
| * | Avoid creating AndTypes with AnyGuillaume Martres2016-05-312-2/+7
| * | OfTypeImplicits: compute refs lazilyGuillaume Martres2016-05-311-1/+1
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-23 07:40:07 +0000