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
*
Base deskolemize on ApproximatingTypeMap
Martin Odersky
2016-03-30
1
-88
/
+9
*
Fix a case in deskolemize.
Martin Odersky
2016-03-30
1
-1
/
+1
*
Test language features always in phase typer.
Martin Odersky
2016-03-12
1
-1
/
+1
*
Make named parameter alias handling more robust
Martin Odersky
2016-02-19
1
-1
/
+1
*
Augment test case
Martin Odersky
2016-02-19
1
-4
/
+10
*
Big realizability refactoring
Martin Odersky
2016-02-09
1
-93
/
+0
*
Handle paths of length > 1 for realizability checking
Martin Odersky
2016-02-09
1
-3
/
+41
*
Remove isVolatile and DNF methods
Martin Odersky
2016-02-09
1
-91
/
+1
*
Check that non-abstract classes have realizable bounds.
Martin Odersky
2016-02-09
1
-10
/
+15
*
Fix path error disgnastics
Martin Odersky
2016-02-09
1
-6
/
+5
*
Reorganize tests to account for new typing of projection
Martin Odersky
2016-02-09
1
-4
/
+13
*
Move realizability logic from Types to TypeOps.
Martin Odersky
2016-02-09
1
-2
/
+42
*
Drop redundant context parameter
Martin Odersky
2016-02-08
1
-1
/
+1
*
Slight optimization
Martin Odersky
2016-02-04
1
-6
/
+8
*
Try to make refinements match in approximateUnions
Martin Odersky
2016-02-04
1
-2
/
+22
*
Push `|' into corresponding RefinedTypes in approximateUnion
Martin Odersky
2016-02-04
1
-22
/
+41
*
Fix #998
Martin Odersky
2016-01-20
1
-3
/
+22
*
Compute type params in namer without completing the whole info
Martin Odersky
2016-01-16
1
-1
/
+1
*
Fix #1009: Do not forget to skolemize some types
Guillaume Martres
2015-12-24
1
-1
/
+1
*
Make asSeenFrom idempotent
Martin Odersky
2015-12-21
1
-29
/
+22
*
Fix problem handling SuperTypes in asSeenFrom
Martin Odersky
2015-12-14
1
-11
/
+12
*
Make all arg bindings have flag BaseTypeArg.
Martin Odersky
2015-12-14
1
-6
/
+15
*
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
[next]