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
/
Types.scala
Commit message (
Expand
)
Author
Age
Files
Lines
*
Stop type inference from creating oprphans.
Martin Odersky
2015-03-18
1
-1
/
+5
*
Fix of the escaping MethodParam problem
Martin Odersky
2015-02-12
1
-51
/
+88
*
New spec and implementation for matching.
Martin Odersky
2015-02-07
1
-6
/
+10
*
correct spelling mistakes in comments
Ondrej Lhotak
2015-01-31
1
-9
/
+9
*
Merge pull request #338 from dotty-staging/fix/t3152-findMember
odersky
2015-01-31
1
-0
/
+12
|
\
|
*
Take constrained parameter bounds into account for findMember
Martin Odersky
2015-01-27
1
-0
/
+12
*
|
Merge pull request #331 from dotty-staging/fix/refined-subtyping
odersky
2015-01-31
1
-42
/
+58
|
\
\
|
*
|
Fixups taking into account reviewer's comments.
Martin Odersky
2015-01-27
1
-1
/
+1
|
|
/
|
*
New constraint handling
Martin Odersky
2015-01-18
1
-1
/
+1
|
*
Allow to merge TypeBounds and ClassInfos in |, &
Martin Odersky
2015-01-14
1
-0
/
+1
|
*
Added structural equals method to PolyParams
Martin Odersky
2015-01-13
1
-0
/
+6
|
*
Made constraint data structures pluggable.
Martin Odersky
2015-01-12
1
-1
/
+1
|
*
Rename RefinedThis -> SkolemType
Martin Odersky
2015-01-10
1
-24
/
+19
|
*
Reverting the idea that RefinedThis types take levels.
Martin Odersky
2015-01-10
1
-52
/
+11
|
*
Split off ConstraintHandling into separate trait.
Martin Odersky
2015-01-10
1
-0
/
+2
|
*
Removed some checks
Martin Odersky
2015-01-10
1
-11
/
+0
|
*
More aggressive reduction in lookupRefinedThis.
Martin Odersky
2015-01-09
1
-25
/
+16
|
*
Simplification for lookupRefined
Martin Odersky
2015-01-09
1
-5
/
+1
|
*
Optimize for case where RefinedThis is absent
Martin Odersky
2015-01-09
1
-1
/
+3
|
*
Refacttored skolemization logic
Martin Odersky
2015-01-08
1
-6
/
+0
|
*
Make findMember depend on RefinedThis level.
Martin Odersky
2015-01-03
1
-7
/
+65
|
*
Extended refinementRefersToThis to alias types.
Martin Odersky
2015-01-01
1
-6
/
+4
|
*
Make use of refinementRefersToThis in lookupRefinement.
Martin Odersky
2015-01-01
1
-28
/
+15
|
*
Provide the correct levels for RefinedThis types.
Martin Odersky
2015-01-01
1
-3
/
+7
|
*
Reorg of subtyping.
Martin Odersky
2015-01-01
1
-4
/
+38
*
|
make TypeMap also map over types in the annotation tree of AnnotatedType
Ondrej Lhotak
2015-01-22
1
-1
/
+1
*
|
fix TypeMap.mapOver to not drop type annotations
Ondrej Lhotak
2015-01-21
1
-1
/
+1
*
|
add comment for ExprType
Ondrej Lhotak
2015-01-14
1
-0
/
+1
*
|
clarify comment about TypeVar
Ondrej Lhotak
2015-01-14
1
-3
/
+6
*
|
Merge pull request #313 from dotty-staging/more-tests
Dmitry Petrashko
2015-01-09
1
-1
/
+1
|
\
|
|
*
Harden implicit scope computation against CyclicReference errors.
Martin Odersky
2014-12-19
1
-1
/
+1
*
|
Merge pull request #310 from dotty-staging/fix/#305-annot-bootstrap
Dmitry Petrashko
2014-12-31
1
-1
/
+1
|
\
\
|
|
/
|
/
|
|
*
More careful usage of unforced decls in classes.
Martin Odersky
2014-12-18
1
-1
/
+1
*
|
Simplify TypeAlias#unapply
Guillaume Martres
2014-12-17
1
-4
/
+1
|
/
*
Merge pull request #251 from dotty-staging/shared-backend
Dmitry Petrashko
2014-12-17
1
-0
/
+13
|
\
|
*
Update docs and make memberClasses uses typeNameFilter.
Dmitry Petrashko
2014-12-16
1
-4
/
+4
|
*
Add member lookups needed by backend.
Dmitry Petrashko
2014-12-16
1
-0
/
+13
*
|
Merge pull request #270 from dotty-staging/change/type-aliases
odersky
2014-12-17
1
-75
/
+74
|
\
\
|
|
/
|
/
|
|
*
Get rid of TypeBounds.onAlias
Martin Odersky
2014-12-10
1
-3
/
+0
|
*
Revert TypeBounds.real to TypeBounds.apply
Martin Odersky
2014-12-10
1
-8
/
+8
|
*
Make derivedTypeBounds always create real TypeBounds.
Martin Odersky
2014-12-10
1
-1
/
+1
|
*
Refactor & and | on TypeBounds
Martin Odersky
2014-12-10
1
-20
/
+23
|
*
Distinguish calls to create real type bounds from alias type bounds.
Martin Odersky
2014-12-10
1
-18
/
+19
|
*
Moved derivedTypeAlias method to TypeAlias
Martin Odersky
2014-12-10
1
-40
/
+33
|
*
Converted some TypeBounds pattern matches to TypeAlias matches.
Martin Odersky
2014-12-10
1
-8
/
+5
|
*
TypeAlias unapply accepts only Type Aliases
Martin Odersky
2014-12-10
1
-3
/
+5
|
*
Create TypeAlias subclass of TypeBouunds
Martin Odersky
2014-12-10
1
-13
/
+12
|
*
Add equality method to TypeBounds.
Martin Odersky
2014-12-10
1
-0
/
+7
*
|
add stripAnnots method to Type to unwrap AnnotatedTypes
Ondrej Lhotak
2014-12-13
1
-0
/
+5
*
|
fix dealias to handle AnnotatedTypes transparently
Ondrej Lhotak
2014-12-13
1
-0
/
+2
[next]