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
*
Fix of #329.
Martin Odersky
2015-02-07
1
-1
/
+1
*
Fixes handling of op-assignments for polymorphic apply/update.
Martin Odersky
2015-02-07
3
-6
/
+20
*
Merge pull request #346 from dotty-staging/local-lazy-vals
odersky
2015-02-07
5
-53
/
+82
|
\
|
*
Fix problems with lazy vals and separate compilation
Dmitry Petrashko
2015-02-03
1
-1
/
+2
|
*
Getters shouldn't handle LazyVals.
Dmitry Petrashko
2015-02-03
1
-1
/
+1
|
*
Dotty deviation in shadowing rules for names.
Dmitry Petrashko
2015-02-03
1
-8
/
+8
|
*
Bring back lazyVals. Changed encoding of local lazy vals.
Dmitry Petrashko
2015-02-03
4
-44
/
+72
*
|
Fix implicitScope for the case when implicit scopes cannot be cached
Ondrej Lhotak
2015-02-05
1
-16
/
+20
*
|
Addressing review comments of #336
Dmitry Petrashko
2015-02-03
1
-1
/
+3
*
|
Even more careful handling of tailcalls.
Dmitry Petrashko
2015-02-03
1
-19
/
+23
*
|
Fix i321, tail call needs to be careful with abstracting over class type argu...
Dmitry Petrashko
2015-02-03
1
-6
/
+10
*
|
Allow FullParametrization to not parametrize over class targs.
Dmitry Petrashko
2015-02-03
1
-9
/
+11
|
/
*
correct spelling mistakes in comments
Ondrej Lhotak
2015-01-31
2
-10
/
+10
*
Merge pull request #343 from dotty-staging/workaround-324
odersky
2015-01-31
1
-0
/
+3
|
\
|
*
workaround #342
Dmitry Petrashko
2015-01-30
1
-0
/
+3
*
|
Merge pull request #338 from dotty-staging/fix/t3152-findMember
odersky
2015-01-31
3
-19
/
+41
|
\
\
|
*
|
Take constrained parameter bounds into account for findMember
Martin Odersky
2015-01-27
1
-0
/
+12
|
*
|
Handle Apply projections also in lower compared type.
Martin Odersky
2015-01-27
1
-18
/
+28
|
*
|
Use normnalized type to report type errors.
Martin Odersky
2015-01-27
1
-1
/
+1
*
|
|
Merge pull request #331 from dotty-staging/fix/refined-subtyping
odersky
2015-01-31
29
-1148
/
+2071
|
\
\
\
|
|
_
|
/
|
/
|
|
|
*
|
Fixed problem with ensureSingleton
Martin Odersky
2015-01-28
2
-4
/
+4
|
*
|
Cleanups prompted by reviews.
Martin Odersky
2015-01-28
6
-45
/
+39
|
*
|
Refinement of dependent parameter handling in OrderingConstraint
Martin Odersky
2015-01-28
1
-8
/
+59
|
*
|
Fixups taking into account reviewer's comments.
Martin Odersky
2015-01-27
7
-22
/
+27
|
|
/
|
*
Added explanation to comment.
Martin Odersky
2015-01-24
1
-1
/
+2
|
*
Replace only substitutes top-level types.
Martin Odersky
2015-01-24
2
-33
/
+55
|
*
Some small polishings in TypeComparer
Martin Odersky
2015-01-24
2
-4
/
+7
|
*
Fixes suggested by reviews from @smarter.
Martin Odersky
2015-01-24
3
-3
/
+5
|
*
Some finetunigs in TypeComparer.
Martin Odersky
2015-01-24
1
-5
/
+8
|
*
New constraint implementation: OrderingConstraint
Martin Odersky
2015-01-24
5
-64
/
+546
|
*
New constraint method: narrowBound
Martin Odersky
2015-01-23
3
-36
/
+48
|
*
Plugging a possible hole in unify
Martin Odersky
2015-01-23
1
-1
/
+1
|
*
Small polishings for isSubType
Martin Odersky
2015-01-19
1
-94
/
+93
|
*
Streamline TypeComparer/ConstraintHandling interface.
Martin Odersky
2015-01-19
2
-21
/
+13
|
*
Make checkPropagated configurable
Martin Odersky
2015-01-19
2
-2
/
+8
|
*
Move PolyParam test later in isSubType and simplify addConstraint
Martin Odersky
2015-01-19
2
-40
/
+24
|
*
Refactorings in TypeComparer fourthTry
Martin Odersky
2015-01-19
1
-23
/
+20
|
*
Refactor handling of NamedTypes in isSubType
Martin Odersky
2015-01-19
1
-62
/
+56
|
*
Compare ThisType refactoring
Martin Odersky
2015-01-19
1
-10
/
+12
|
*
Fixed soundness hole in TypeComparer
Martin Odersky
2015-01-19
3
-4
/
+12
|
*
Removed checkBound tests
Martin Odersky
2015-01-18
1
-26
/
+5
|
*
Dropped non-sensical transform in unify
Martin Odersky
2015-01-18
1
-3
/
+1
|
*
Avoid adding constraint under typeVarsMissContext is true
Martin Odersky
2015-01-18
2
-14
/
+19
|
*
Removed check from addConstraint
Martin Odersky
2015-01-18
1
-13
/
+1
|
*
New constraint handling
Martin Odersky
2015-01-18
13
-825
/
+382
|
*
Fix skolemization logic.
Martin Odersky
2015-01-14
1
-4
/
+1
|
*
Allow to merge TypeBounds and ClassInfos in |, &
Martin Odersky
2015-01-14
3
-8
/
+12
|
*
Fixed bug/typo in comparing prefixes of ClassInfo types.
Martin Odersky
2015-01-14
1
-1
/
+1
|
*
Removed redundant test in isSubType.
Martin Odersky
2015-01-14
1
-2
/
+1
|
*
Rename isConstrained -> canConstrain for clarity
Martin Odersky
2015-01-14
2
-5
/
+13
[next]