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
/
Substituters.scala
Commit message (
Expand
)
Author
Age
Files
Lines
*
Renaming to make program Scala2x and Dotty compatible.
Martin Odersky
2014-01-14
1
-1
/
+1
*
Making substitutions deep type maps that also map parents and self type of a ...
Martin Odersky
2013-11-28
1
-9
/
+9
*
Converting most uses of NamedType to select.
Martin Odersky
2013-11-15
1
-1
/
+1
*
derivedNamedType -> derivedSelect
Martin Odersky
2013-11-14
1
-9
/
+9
*
Added functionality to deal with function applications.
Martin Odersky
2013-07-11
1
-20
/
+40
*
Added logic for constraint solving.
Martin Odersky
2013-06-22
1
-0
/
+20
*
Consolidation isStatic, isStaticOwner, owner is Package
Martin Odersky
2013-04-10
1
-1
/
+1
*
Renamed creation methods of NamedTypes
Martin Odersky
2013-04-09
1
-1
/
+1
*
Renamed RefinedType#name, #info…
Martin Odersky
2013-03-04
1
-7
/
+7
*
Filling in all ???s
Martin Odersky
2013-02-27
1
-7
/
+7
*
Added substSym method and dropped NoPrefix requirement.
Martin Odersky
2013-02-22
1
-18
/
+43
*
Simplified RefinedTypes, keeping only the unary variant.
Martin Odersky
2013-01-27
1
-72
/
+12
*
Reverted tresatment of NoType in AppliedType: 6ed74c3a2f38aadfb0bf
Martin Odersky
2013-01-27
1
-8
/
+4
*
More eliminations of AppliedType
Martin Odersky
2013-01-27
1
-99
/
+100
*
Allows for NoType in AplliedType argument lists, as well as argument lists th...
Martin Odersky
2013-01-24
1
-4
/
+8
*
Refactored Types to move auxiliary operations into Context. Moved per-run sta...
Martin Odersky
2013-01-10
1
-177
/
+174
*
Fleshed out Types.
Martin Odersky
2013-01-06
1
-0
/
+3
*
Added substThis to substituters
Martin Odersky
2012-12-25
1
-0
/
+51
*
Added Substitution operations
Martin Odersky
2012-12-25
1
-0
/
+153