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
/
TypeOps.scala
Commit message (
Expand
)
Author
Age
Files
Lines
*
Swap order of arguments in annotations
Martin Odersky
2015-11-22
1
-1
/
+1
*
Shorten ..Class.typeRef to ..Type
Martin Odersky
2015-11-09
1
-1
/
+1
*
Add scalaMode and testScalaMode to TypeOps
Martin Odersky
2015-11-05
1
-0
/
+10
*
Project all high-kinded types with #Apply
Martin Odersky
2015-09-18
1
-1
/
+1
*
Pull out isLegal prefix.
Martin Odersky
2015-09-11
1
-2
/
+5
*
Add @sharable annotation
Martin Odersky
2015-07-06
1
-2
/
+3
*
Document asSeenFrom
Martin Odersky
2015-06-06
1
-2
/
+46
*
Skolemize unstable prefixes in asSeenFrom
Martin Odersky
2015-06-06
1
-8
/
+11
*
Move deskolemization from TypeComparer to TypeOps
Martin Odersky
2015-06-06
1
-0
/
+97
*
Track unstability in asSeenFrom
Martin Odersky
2015-06-06
1
-4
/
+21
*
Split RefinedThis and SkolemType
Martin Odersky
2015-06-06
1
-0
/
+3
*
Make normalizeToRef survive annotated types
Martin Odersky
2015-05-21
1
-4
/
+5
*
Fix #523: Instantiate lower bound when bounds checking
Martin Odersky
2015-05-02
1
-1
/
+2
*
Remove trailing spaces in Dotty source.
Dmitry Petrashko
2015-04-09
1
-2
/
+2
*
Move more functionality from Namer proper to context ops.
Martin Odersky
2015-03-18
1
-17
/
+0
*
Moved part of computation of types of DefDefs from Namer to TypeOps
Martin Odersky
2015-03-18
1
-1
/
+18
*
Reverting the idea that RefinedThis types take levels.
Martin Odersky
2015-01-10
1
-15
/
+0
*
Refacttored skolemization logic
Martin Odersky
2015-01-08
1
-102
/
+0
*
Add deSkolemize method.
Martin Odersky
2015-01-08
1
-0
/
+102
*
Provide the correct levels for RefinedThis types.
Martin Odersky
2015-01-01
1
-1
/
+16
*
Simplified and commented makePackageObjPrefixExplicit
Martin Odersky
2014-12-17
1
-2
/
+7
*
Refactored common behavior from TypeAssigner and TypeErasure
Martin Odersky
2014-12-17
1
-1
/
+15
*
Merge pull request #270 from dotty-staging/change/type-aliases
odersky
2014-12-17
1
-6
/
+7
|
\
|
*
Moved derivedTypeAlias method to TypeAlias
Martin Odersky
2014-12-10
1
-4
/
+4
|
*
Converted some TypeBounds pattern matches to TypeAlias matches.
Martin Odersky
2014-12-10
1
-2
/
+3
*
|
Fix to asSeenFrom for package object members
Martin Odersky
2014-12-15
1
-0
/
+2
|
/
*
checkBounds refactoring
Martin Odersky
2014-11-24
1
-0
/
+36
*
Fixes in TypeComparer for RefinedTypes.
Martin Odersky
2014-11-24
1
-2
/
+2
*
Improve simplifications of type projections.
Martin Odersky
2014-11-24
1
-1
/
+7
*
Fixes for type argument handling.
Martin Odersky
2014-11-15
1
-3
/
+5
*
Make ThisTypes take TypeRefs instead of ClassSymbols
Martin Odersky
2014-08-27
1
-3
/
+3
*
Appromiximate union types by intersections.
Martin Odersky
2014-03-20
1
-0
/
+31
*
Added auto-tupling.
Martin Odersky
2014-03-20
1
-0
/
+5
*
Add language feature mechanism
Martin Odersky
2014-03-20
1
-0
/
+34
*
Added lost comment to isVolatile.
Martin Odersky
2014-03-12
1
-0
/
+16
*
Fix of #50 - volatile
Martin Odersky
2014-03-09
1
-17
/
+55
*
Rename baseType -> baseTypeRef
Martin Odersky
2014-03-02
1
-2
/
+2
*
Performance improvement: Avoid most operations in interpolateUndetVars
Martin Odersky
2014-02-25
1
-48
/
+0
*
Performance improvements: Changes to TypeAccumulators and variances.
Martin Odersky
2014-02-24
1
-0
/
+48
*
Performance tuning: Inline TypeAlias case for hot maps.
Martin Odersky
2014-02-21
1
-0
/
+4
*
Reverted: Avoid using TypeBounds in alias refinements.
Martin Odersky
2014-02-21
1
-2
/
+2
*
Avoid using TypeBounds in alias refinements.
Martin Odersky
2014-02-21
1
-2
/
+2
*
Two performance optimizations
Martin Odersky
2014-02-13
1
-4
/
+5
*
Some changes in the interest of speedups.
Martin Odersky
2014-02-12
1
-0
/
+22
*
Getting rid of some CompleInCreationContexts
Martin Odersky
2014-02-09
1
-2
/
+2
*
Making completer take an implicit context
Martin Odersky
2014-02-09
1
-2
/
+2
*
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
*
Avoid eager forcing in enterArgBinding
Martin Odersky
2014-01-20
1
-1
/
+8
*
Normalize parent types so that first one always refers to a class, not a trait.
Martin Odersky
2014-01-19
1
-20
/
+34
[next]