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
/
core
/
TypeApplications.scala
Commit message (
Expand
)
Author
Age
Files
Lines
*
Fix to testLifted
Martin Odersky
2015-02-11
1
-2
/
+2
*
Tweaks to matches
Martin Odersky
2015-02-07
1
-1
/
+1
*
Merge pull request #331 from dotty-staging/fix/refined-subtyping
odersky
2015-01-31
1
-6
/
+28
|
\
|
*
Rename RefinedThis -> SkolemType
Martin Odersky
2015-01-10
1
-4
/
+4
|
*
Reverting the idea that RefinedThis types take levels.
Martin Odersky
2015-01-10
1
-19
/
+20
|
*
Removed some checks
Martin Odersky
2015-01-10
1
-1
/
+1
|
*
More aggressive reduction in lookupRefinedThis.
Martin Odersky
2015-01-09
1
-0
/
+25
|
*
Make findMember depend on RefinedThis level.
Martin Odersky
2015-01-03
1
-8
/
+4
|
*
Provide the correct levels for RefinedThis types.
Martin Odersky
2015-01-01
1
-2
/
+2
*
|
More careful usage of unforced decls in classes.
Martin Odersky
2014-12-18
1
-1
/
+1
|
/
*
Merge pull request #270 from dotty-staging/change/type-aliases
odersky
2014-12-17
1
-3
/
+3
|
\
|
*
Converted some TypeBounds pattern matches to TypeAlias matches.
Martin Odersky
2014-12-10
1
-3
/
+3
*
|
Better typing of seqLiteral in erasure.
Martin Odersky
2014-12-05
1
-2
/
+5
|
/
*
Better printing of variant types with wildcard arguments.
Martin Odersky
2014-11-24
1
-5
/
+19
*
desugar Java repeated parms into an Array instead of Seq
Ondrej Lhotak
2014-11-22
1
-5
/
+5
*
Fix underlyingIfRepeated always assuming Scala repeated.
Dmitry Petrashko
2014-11-22
1
-2
/
+5
*
Ensure that after erasure all types are erased.
Martin Odersky
2014-08-30
1
-7
/
+3
*
More targeted eta-lifting
Martin Odersky
2014-08-10
1
-10
/
+13
*
Fixed underlyingIfRepeated.
Martin Odersky
2014-08-03
1
-0
/
+7
*
Bring LambdaClass inline with its doc comment.
Martin Odersky
2014-06-26
1
-4
/
+3
*
Fixes to lambda abstraction
Martin Odersky
2014-06-19
1
-5
/
+9
*
Handling higher-kinded types with lambdas
Martin Odersky
2014-06-18
1
-80
/
+142
*
Add isLambda... tests
Martin Odersky
2014-06-12
1
-0
/
+37
*
Fix for type applications.
Martin Odersky
2014-05-08
1
-14
/
+28
*
Avoiding type applications after erasure.
Martin Odersky
2014-03-31
1
-3
/
+8
*
Reworked erasure denotation transformer
Martin Odersky
2014-03-29
1
-17
/
+0
*
Fix of t1279a: baseTypeWithArgs
Martin Odersky
2014-03-21
1
-5
/
+25
*
Fix of t1236: higher-kinded
Martin Odersky
2014-03-21
1
-0
/
+2
*
Allow And/OrTypes in baseType operations
Martin Odersky
2014-03-20
1
-6
/
+12
*
Fix of #34
Martin Odersky
2014-03-03
1
-14
/
+66
*
Rename baseType -> baseTypeRef
Martin Odersky
2014-03-02
1
-1
/
+1
*
Reorganization of template parents.
Martin Odersky
2014-03-01
1
-0
/
+4
*
Reverted: Avoid using TypeBounds in alias refinements.
Martin Odersky
2014-02-21
1
-24
/
+10
*
Avoid using TypeBounds in alias refinements.
Martin Odersky
2014-02-21
1
-10
/
+24
*
Add text markers around "hot" tracing operations.
Martin Odersky
2014-01-26
1
-2
/
+2
*
For a typeRef, prefer info.isAlias over symbol.isAliasType
Martin Odersky
2014-01-20
1
-1
/
+1
*
typeArgs should return TypeBounds for a wildcard type.
Martin Odersky
2014-01-03
1
-1
/
+1
*
safeUnderlyingTypeParams now forces uncompleted symbols.
Martin Odersky
2014-01-03
1
-7
/
+5
*
Fix bug in uninstantiatedTypeParams
Martin Odersky
2013-12-25
1
-1
/
+1
*
Desugaring changes
Martin Odersky
2013-12-22
1
-5
/
+8
*
Fixed several deep problems in handling of types and symbols.
Martin Odersky
2013-12-14
1
-2
/
+2
*
Hoisting out commonly used values into util.common
Martin Odersky
2013-11-28
1
-1
/
+2
*
Dropping the Expanded when computing type parameter variances.
Martin Odersky
2013-11-25
1
-2
/
+2
*
Types refactorings
Martin Odersky
2013-11-25
1
-0
/
+302