index
:
dotty
DarkDimius-patch-1
gh-pages
master
Research platform for new language concepts and compiler technologies for Scala.
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
dotty
/
tools
/
dotc
/
typer
/
Inferencing.scala
Commit message (
Expand
)
Author
Age
Files
Lines
*
Remove fixpoint computation of interpolateUndetVars
Guillaume Martres
2016-10-25
1
-10
/
+5
*
Fix-#1500 Include constraining type variables when interpolating
Martin Odersky
2016-10-15
1
-5
/
+39
*
Clean up config.Printers imports
Olivier Blanvillain
2016-09-23
1
-1
/
+1
*
Handle complex context merging cases
Martin Odersky
2016-08-26
1
-1
/
+2
*
Suspend interpolating typevars when there are unreported errors.
Martin Odersky
2016-08-16
1
-6
/
+32
*
Drop Config.checkKinds
Martin Odersky
2016-07-11
1
-1
/
+1
*
Refactorings of GenericTypes and underlying/upperbound
Martin Odersky
2016-07-11
1
-1
/
+1
*
Get rid of BindingKind
Martin Odersky
2016-07-11
1
-4
/
+0
*
Allow for HK types in widenForMatchSelector
Martin Odersky
2016-07-11
1
-2
/
+4
*
Various tweaks
Martin Odersky
2016-07-11
1
-1
/
+1
*
Adapt widenForMatchSelector to new HK scheme
Martin Odersky
2016-07-11
1
-3
/
+9
*
Comment out debug println
Martin Odersky
2016-04-22
1
-1
/
+1
*
Always minimize type variables when interpolating an expected type of an impl...
Martin Odersky
2016-04-21
1
-6
/
+7
*
Refactor Diagnostic
Martin Odersky
2016-02-23
1
-1
/
+0
*
Add isBottomType/Class tests to Definitions
Martin Odersky
2015-12-11
1
-4
/
+1
*
Swap order of arguments in annotations
Martin Odersky
2015-11-22
1
-1
/
+1
*
Fix issue that prevented instantiating some tvars before implicit search
Guillaume Martres
2015-10-25
1
-1
/
+1
*
Remove disgnostic println
Martin Odersky
2015-10-21
1
-1
/
+1
*
Move Inferencing out of the Typer cake
Guillaume Martres
2015-10-09
1
-42
/
+1
*
Generalize set of typevars instantiated before implicit search
Martin Odersky
2015-09-18
1
-22
/
+35
*
Fixes #739
Martin Odersky
2015-09-18
1
-6
/
+38
*
Change algorithm that computes instantiation direction
Martin Odersky
2015-09-18
1
-8
/
+44
*
Add @sharable annotation
Martin Odersky
2015-07-06
1
-1
/
+1
*
Correct a large number of typos.
Jason Zaugg
2015-05-14
1
-3
/
+3
*
Remove trailing spaces in Dotty source.
Dmitry Petrashko
2015-04-09
1
-2
/
+2
*
Fix variance of type prefixes in TypeMap and TypeAccumulator
Martin Odersky
2015-03-18
1
-2
/
+37
*
Stop type inference from creating oprphans.
Martin Odersky
2015-03-18
1
-3
/
+11
*
Merge pull request #331 from dotty-staging/fix/refined-subtyping
odersky
2015-01-31
1
-1
/
+1
|
\
|
*
New constraint handling
Martin Odersky
2015-01-18
1
-1
/
+1
*
|
fix widenForMatchSelector to transparently handle annotated types
Ondrej Lhotak
2015-01-21
1
-0
/
+1
|
/
*
Fix #248: Class cannot inherit from refinement types
Martin Odersky
2014-12-13
1
-8
/
+9
*
Avoid hoisting of local classes out of method bodies.
Martin Odersky
2014-05-20
1
-1
/
+1
*
replace i"..." by d"..." if string might go into a
Samuel Gruetter
2014-04-02
1
-2
/
+2
*
move InfoString from ErrorReporting to Decorators and
Samuel Gruetter
2014-04-02
1
-1
/
+1
*
Renaming clear->setNew
Martin Odersky
2014-03-31
1
-1
/
+1
*
Rename methods on FreshContext to make mutation obvious
Dmitry Petrashko
2014-03-27
1
-1
/
+1
*
First step towards Typer Reorganization.
Martin Odersky
2014-03-07
1
-483
/
+8
*
Check that inferred parent classes are feasible.
Martin Odersky
2014-03-01
1
-3
/
+17
*
Reorganization of template parents.
Martin Odersky
2014-03-01
1
-38
/
+40
*
Performance improvement: Avoid most operations in interpolateUndetVars
Martin Odersky
2014-02-25
1
-22
/
+24
*
Performance improvements: Changes to TypeAccumulators and variances.
Martin Odersky
2014-02-24
1
-3
/
+2
*
Performance improvement: Specialize folds in accumulators.
Martin Odersky
2014-02-24
1
-1
/
+2
*
Performance improvement: Cache uninstatiated typevars in constraints
Martin Odersky
2014-02-21
1
-5
/
+2
*
Performance tuning: Inline TypeAlias case for hot maps.
Martin Odersky
2014-02-21
1
-2
/
+4
*
Reverted: Avoid using TypeBounds in alias refinements.
Martin Odersky
2014-02-21
1
-1
/
+1
*
Performance improvement: inline hasAltWith
Martin Odersky
2014-02-21
1
-1
/
+5
*
Avoid using TypeBounds in alias refinements.
Martin Odersky
2014-02-21
1
-1
/
+1
*
Disentangling SelectionProto and RefinedType
Martin Odersky
2014-02-21
1
-28
/
+21
*
Two performance optimizations
Martin Odersky
2014-02-13
1
-36
/
+44
*
Catch stale references
Martin Odersky
2014-02-06
1
-4
/
+0
[next]