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
...
*
More posishings of SymDenots/Denotations.
Martin Odersky
2013-11-26
5
-49
/
+47
*
Dropping the Expanded when computing type parameter variances.
Martin Odersky
2013-11-25
4
-22
/
+11
*
Tweaks to SymDenotations
Martin Odersky
2013-11-25
1
-37
/
+48
*
Final set of Types tweaks
Martin Odersky
2013-11-25
3
-17
/
+14
*
More Types polishings
Martin Odersky
2013-11-25
2
-121
/
+137
*
Cleanup of TermRef.withSym and TypeRef.withSym
Martin Odersky
2013-11-25
11
-31
/
+27
*
Getting rid of UnknownSignature
Martin Odersky
2013-11-25
2
-29
/
+21
*
More Types polishing
Martin Odersky
2013-11-25
2
-58
/
+31
*
Types refactorings
Martin Odersky
2013-11-25
7
-388
/
+414
*
Cleanup of named type creation from SymDenotations.
Martin Odersky
2013-11-23
13
-57
/
+58
*
Renaming: typeConstructor -> typeRef
Martin Odersky
2013-11-22
18
-96
/
+96
*
More tweaks to Types
Martin Odersky
2013-11-22
1
-74
/
+74
*
Tweaks to SimpleMap
Martin Odersky
2013-11-22
1
-62
/
+94
*
Dropping cinsistency checking logic from typerstates.
Martin Odersky
2013-11-22
4
-79
/
+32
*
Consolidation of TyperState and Constraint
Martin Odersky
2013-11-21
6
-106
/
+148
*
Better encapsulation for constraints.
Martin Odersky
2013-11-20
3
-40
/
+44
*
Splitting constraint.appky into at, bounds, contains.
Martin Odersky
2013-11-20
4
-11
/
+16
*
More tweaks
Martin Odersky
2013-11-20
4
-6
/
+13
*
Added unit testing support
Martin Odersky
2013-11-18
3
-13
/
+25
*
Various cleanups
Martin Odersky
2013-11-18
6
-55
/
+44
*
Changing some TermRef's to selects
Martin Odersky
2013-11-16
1
-4
/
+4
*
Converting most uses of NamedType to select.
Martin Odersky
2013-11-15
8
-39
/
+48
*
Formign lubs over widened types only.
Martin Odersky
2013-11-15
1
-1
/
+6
*
Tweaks to adaptation and interpolation
Martin Odersky
2013-11-15
6
-17
/
+25
*
Tweak to Coder test
Martin Odersky
2013-11-15
1
-1
/
+1
*
Made stripTypeVar idempotent
Martin Odersky
2013-11-15
1
-4
/
+9
*
making all internal errors throw exceptions (for now).
Martin Odersky
2013-11-14
2
-2
/
+2
*
derivedNamedType -> derivedSelect
Martin Odersky
2013-11-14
3
-12
/
+17
*
Providing for new match scheme.
Martin Odersky
2013-11-14
1
-8
/
+9
*
Making as seenfrom reduce types.
Martin Odersky
2013-11-14
2
-32
/
+22
*
Some configuation parameters
Martin Odersky
2013-11-14
7
-31
/
+47
*
replace qualifierType by widenIfUnstable.
Martin Odersky
2013-11-14
3
-4
/
+7
*
Changes to dealiasing and widening
Martin Odersky
2013-11-14
1
-36
/
+72
*
Debug measure: Report all errors when they are first issued
Martin Odersky
2013-11-14
1
-1
/
+3
*
Make undetVars a set with deterministic traversal order.
Martin Odersky
2013-11-14
1
-1
/
+1
*
widen if unstable prefix
Martin Odersky
2013-11-13
3
-5
/
+16
*
Fixing a problem in <:< of named types.
Martin Odersky
2013-11-13
1
-15
/
+53
*
Bringing underlyingIfRepeated up-to-date
Martin Odersky
2013-11-11
3
-3
/
+5
*
Dealias before add to constraint.
Martin Odersky
2013-11-10
2
-4
/
+16
*
Reporting max constraint
Martin Odersky
2013-11-10
3
-24
/
+28
*
Fixing Position.contains(NoPosition)
Martin Odersky
2013-11-09
1
-2
/
+1
*
Fixing inference problem and block scope problem
Martin Odersky
2013-11-07
5
-19
/
+17
*
Fixing NoPosition leaks
Martin Odersky
2013-11-07
2
-11
/
+35
*
Adding a size method to SimpleMap.
Martin Odersky
2013-11-06
1
-0
/
+8
*
Fixing several type checking problems.
Martin Odersky
2013-11-06
4
-53
/
+105
*
Fixing a typerstate confusion in implicit search.
Martin Odersky
2013-11-06
1
-1
/
+1
*
Special-casing printing of `_` Idents.
Martin Odersky
2013-11-06
1
-1
/
+1
*
Avoiding to record constraints of the form P <:< P.
Martin Odersky
2013-11-06
2
-2
/
+5
*
Changing for-expansion for irrefutable patterns.
Martin Odersky
2013-11-06
1
-10
/
+33
*
Adding a Scala2x flag.
Martin Odersky
2013-11-06
2
-0
/
+4
[prev]
[next]