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
*
Swiztched to name table, added StdNames and related definitions. Introduced L...
Martin Odersky
2013-01-30
1
-1
/
+1
*
New Context architecture based on cloning
Martin Odersky
2013-01-29
1
-2
/
+2
*
Consolidation of Symbols
Martin Odersky
2013-01-28
1
-21
/
+23
*
Simplified RefinedTypes, keeping only the unary variant.
Martin Odersky
2013-01-27
1
-138
/
+23
*
Completed elimination of AppliedType
Martin Odersky
2013-01-27
1
-42
/
+3
*
Reverted tresatment of NoType in AppliedType: 6ed74c3a2f38aadfb0bf
Martin Odersky
2013-01-27
1
-13
/
+1
*
More eliminations of AppliedType
Martin Odersky
2013-01-27
1
-73
/
+105
*
Optimized RefinedType
Martin Odersky
2013-01-25
1
-26
/
+118
*
Various additions to symbols, denotations, and elsewhere
Martin Odersky
2013-01-24
1
-12
/
+14
*
Allows for NoType in AplliedType argument lists, as well as argument lists th...
Martin Odersky
2013-01-24
1
-1
/
+13
*
Changed NamedType dereferencing so that we need not keep track of name validi...
Martin Odersky
2013-01-21
1
-11
/
+17
*
Big renaming to drop Reference(d) as a terminology and use Denotation instead...
Martin Odersky
2013-01-21
1
-34
/
+34
*
Fleshed out Flags architecture and started work on Symbols.
Martin Odersky
2013-01-20
1
-3
/
+50
*
Defined Denotation parameters.
Martin Odersky
2013-01-17
1
-6
/
+6
*
Renamed "Reference" to "Referenced".
Martin Odersky
2013-01-17
1
-29
/
+27
*
Completed period-tracking in named types. Made Denotation a subtype of symbli...
Martin Odersky
2013-01-17
1
-5
/
+4
*
Made Period a value class.
Martin Odersky
2013-01-13
1
-19
/
+20
*
Update reference handling in NamedType
Martin Odersky
2013-01-12
1
-15
/
+25
*
Refactored Types to move auxiliary operations into Context. Moved per-run sta...
Martin Odersky
2013-01-10
1
-520
/
+359
*
Fleshed out Type operations
Martin Odersky
2013-01-06
1
-24
/
+44
*
Merge remote-tracking branch 'origin/master'
Martin Odersky
2013-01-06
1
-13
/
+11
|
\
|
*
Added isStatic check to asSeenFrom
Martin Odersky
2012-12-26
1
-18
/
+13
*
|
Fleshed out Types.
Martin Odersky
2013-01-06
1
-72
/
+257
|
/
*
Refactored asSeenFrom to avoid unnecessary map creations
Martin Odersky
2012-12-25
1
-66
/
+80
*
Added substThis to substituters
Martin Odersky
2012-12-25
1
-5
/
+7
*
Added Substitution operations
Martin Odersky
2012-12-25
1
-27
/
+61
*
First implementation of SubTyper.
Martin Odersky
2012-12-22
1
-2
/
+3
*
Refactored ClassInfoType content back to Denotation. Created separate ClassIn...
Martin Odersky
2012-12-22
1
-430
/
+159
*
(1) Moved logic from ClassDenotation to ClassInfoType. (2) Tweaks to other ty...
Martin Odersky
2012-12-18
1
-21
/
+227
*
Implemented baseClasses and baseTypes. Refactored RefinedType and ClassInfoType.
Martin Odersky
2012-12-16
1
-104
/
+100
*
Re-introducing Rereferences as an intermediate structure, separate from types.
Martin Odersky
2012-12-14
1
-419
/
+566
*
Streamlined hashing scheme for types
Martin Odersky
2012-12-06
1
-56
/
+63
*
Initial commit
Martin Odersky
2012-12-06
1
-0
/
+943