aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Eta-expand unapplied types that have type parametersMartin Odersky2016-07-1111-39/+58
* Avoid accidental creation of hk typesMartin Odersky2016-07-115-9/+15
* Fix typeParams for abstract types under completionMartin Odersky2016-07-111-10/+11
* Adapt widenForMatchSelector to new HK schemeMartin Odersky2016-07-111-3/+9
* Add a second betaReduceMartin Odersky2016-07-116-15/+50
* Normalize RecTypes on creation to avoid cycles.Martin Odersky2016-07-112-27/+50
* Fixes to BetaReduce and asMemberOf; add a second betaReduceMartin Odersky2016-07-115-67/+97
* Don't map info of SkolemTypes in type mapsMartin Odersky2016-07-111-6/+1
* Make etaExpandIfHk work for non-symbol type paramsMartin Odersky2016-07-112-4/+10
* Refinement of cycle avoidanceMartin Odersky2016-07-112-3/+27
* Beta-reduce when simplifyingMartin Odersky2016-07-111-1/+2
* Multiple fixesMartin Odersky2016-07-114-47/+109
* Turn on new hk schemeMartin Odersky2016-07-1115-169/+404
* Remove special case in parserMartin Odersky2016-07-111-10/+3
* Add printing of type lambda treesMartin Odersky2016-07-113-6/+14
* Disable checkInst in RecTypeMartin Odersky2016-07-111-9/+8
* Abstract type parameters out from type symbolsMartin Odersky2016-07-1110-43/+110
* Introduce recursive typesMartin Odersky2016-07-1118-39/+296
* New type lambda scheme for hk typesMartin Odersky2016-07-118-4/+86
* 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-112-4/+17
|\
| * Test for #1366Martin Odersky2016-07-081-0/+6
| * Fix: #1366, constant adaptationMartin Odersky2016-07-081-4/+11
* | Merge pull request #1358 from edmundnoble/print-1357odersky2016-07-081-1/+0
|\ \
| * | 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
| |/
* | Merge pull request #1362 from Blaisorblade/topic/2712-clarifyodersky2016-07-081-1/+1
|\ \ | |/ |/|
| * Update README after SI-2712 fix was mergedPaolo G. Giarrusso2016-07-051-1/+1
|/
* Merge pull request #1350 from dotty-jvican/issue-1308Dmitry Petrashko2016-07-011-1/+1
|\
| * Add straightforward fix to #1308jvican2016-07-011-1/+1
|/
* Merge pull request #1315 from nicolasstucki/optimize-try-casesDmitry Petrashko2016-06-306-75/+297
|\
| * Fix #856: Handle try/catch cases as catch cases if possible.Nicolas Stucki2016-06-286-75/+297
* | 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 #1344 from dotty-staging/fix/partest-line-numbersDmitry Petrashko2016-06-302-9/+5
|\ \ \
| * | | partest: correct line numbers in run stack tracesGuillaume Martres2016-06-302-9/+5
|/ / /
* | | Merge pull request #1332 from felixmulder/topic/snapshot-releasesFelix Mulder2016-06-251-4/+21
|\ \ \ | |_|/ |/| |
| * | Change versioning to SNAPSHOT and nightly releases for nowFelix Mulder2016-06-251-4/+21
|/ /
* | Merge pull request #1326 from felixmulder/topic/remove-scala-version-hardcodingDmitry Petrashko2016-06-232-28/+28
|\ \
| * | Fix #1328: move search of jar deps to after buildingFelix Mulder2016-06-221-21/+21
| * | Fix #1327: redirect stderr from find_jarFelix Mulder2016-06-221-1/+1
| * | Remove hardcoded scala versionFelix Mulder2016-06-222-6/+6
* | | Merge pull request #1226 from dotty-staging/static-fixesDmitry Petrashko2016-06-2217-34/+174
|\ \ \
| * | | 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-23 03:12:19 +0000