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
Commit message (
Expand
)
Author
Age
Files
Lines
...
*
Better handling of assignment.
Martin Odersky
2014-01-13
1
-4
/
+4
*
Fix to typedFunction
Martin Odersky
2014-01-13
1
-2
/
+2
*
Survive searching viers oper exprTypes
Martin Odersky
2014-01-13
1
-1
/
+1
*
Improved avoidance of local symbols
Martin Odersky
2014-01-13
1
-2
/
+9
*
Make sure constructors have at least one non-empty parameter lists
Martin Odersky
2014-01-13
1
-1
/
+5
*
Making some traces conditional on printers being enabled.
Martin Odersky
2014-01-13
4
-9
/
+17
*
Follow through multople layers of instantiation when printing a typevar
Martin Odersky
2014-01-13
1
-1
/
+1
*
When typing a function value (xs) => T with a function type as exp[ected type,
Martin Odersky
2014-01-13
1
-0
/
+3
*
When instantiating a type var, need to map back from polyparams to typevars.
Martin Odersky
2014-01-13
2
-2
/
+14
*
Extend type maps and type accumulators to prototypes
Martin Odersky
2014-01-13
2
-0
/
+39
*
Redo isFullyDefinedAccumulator
Martin Odersky
2014-01-13
1
-22
/
+43
*
fix for comparing or-types.
Martin Odersky
2014-01-11
1
-1
/
+1
*
Avoid cyclic references using imports.
Martin Odersky
2014-01-11
1
-1
/
+1
*
Handling refined types.
Martin Odersky
2014-01-11
2
-15
/
+23
*
Handles setters where the getter takes implicit or other parameters.
Martin Odersky
2014-01-11
1
-16
/
+20
*
Better reporting of cyclic references involving imports.
Martin Odersky
2014-01-11
3
-1
/
+16
*
Strip implicit parameters when deciding specifity of methods.
Martin Odersky
2014-01-11
2
-10
/
+16
*
Type comparison tweak.
Martin Odersky
2014-01-10
2
-0
/
+2
*
Removing conforms from StdNames because it shadows Predef.conforms, which is ...
Martin Odersky
2014-01-10
2
-5
/
+5
*
Mover termRef/typeRef and friends up to Denotation.
Martin Odersky
2014-01-10
3
-21
/
+35
*
Ensure completion before computing non-private members.
Martin Odersky
2014-01-10
1
-0
/
+1
*
Add type parameters to synthetic constructors.
Martin Odersky
2014-01-10
2
-2
/
+6
*
Add a constructor to class Any, so that it can be inherited.
Martin Odersky
2014-01-10
2
-3
/
+8
*
Ensure progress in checkAccessible
Martin Odersky
2014-01-09
1
-1
/
+1
*
Refine eligibility
Martin Odersky
2014-01-09
3
-3
/
+8
*
Avoid dropping errors in typedApply
Martin Odersky
2014-01-09
1
-8
/
+6
*
Special case Unit for result type conformance check.
Martin Odersky
2014-01-09
1
-1
/
+1
*
Don't do an implicit conversion to Any, AnyRef, or Unit.
Martin Odersky
2014-01-09
1
-1
/
+4
*
Better error message for failed overloading resolution.
Martin Odersky
2014-01-09
1
-2
/
+3
*
Augment namedParts to follow through on some proxy types.
Martin Odersky
2014-01-09
2
-5
/
+9
*
Avoid dropping errors in typedApply
Martin Odersky
2014-01-09
1
-1
/
+5
*
Refactoring Reporter.isSlent -> errorCount, wasSilent
Martin Odersky
2014-01-09
2
-6
/
+8
*
Change namedParts to also include the underlying types of TermRefs.
Martin Odersky
2014-01-08
2
-3
/
+6
*
Mapping over a SelectionProto should give a SelectionProto, not a RefinedType.
Martin Odersky
2014-01-08
2
-1
/
+9
*
Fixing illegal code that should have been flagged by scalac.
Martin Odersky
2014-01-07
1
-3
/
+5
*
New subtype constraint maintenance algorithm.
Martin Odersky
2014-01-07
8
-55
/
+101
*
Remove debug output
Martin Odersky
2014-01-06
1
-14
/
+3
*
Fix computation of inherited result types.
Martin Odersky
2014-01-06
1
-9
/
+16
*
Fix divergence test for implicits
Martin Odersky
2014-01-06
1
-1
/
+3
*
Change to overloading behavior
Martin Odersky
2014-01-06
5
-24
/
+33
*
Relax isFullyDefined test
Martin Odersky
2014-01-06
2
-3
/
+8
*
Fix to overloading resolution: prioritize non-methods over methods.
Martin Odersky
2014-01-06
1
-3
/
+8
*
Change to computing of unapply patterns.
Martin Odersky
2014-01-06
2
-4
/
+5
*
Exclude inaccessible definitions from contextual implicit search.
Martin Odersky
2014-01-06
1
-2
/
+4
*
Make implicit scope work in the presence to TypeVars
Martin Odersky
2014-01-06
2
-55
/
+74
*
Make Settings.scala dotty conformant
Martin Odersky
2014-01-06
2
-3
/
+6
*
Propagate constraints on result type eagerly into implicit search.
Martin Odersky
2014-01-04
4
-24
/
+24
*
Changes to propagation of wildcardtypes
Martin Odersky
2014-01-04
2
-5
/
+7
*
Output cleanups
Martin Odersky
2014-01-04
7
-9
/
+15
*
Fix prinitng of pattern guards in trees
Martin Odersky
2014-01-04
1
-1
/
+1
[prev]
[next]