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
*
Split filterAsSeenFrom and generalized flag handling.
Martin Odersky
2013-03-12
1
-1
/
+1
*
Finished polishing of Types and TypeOps.
Martin Odersky
2013-03-06
1
-10
/
+6
*
Streamlined implementation of asSeenFrom
Martin Odersky
2013-03-06
1
-15
/
+8
*
More polishing of types.
Martin Odersky
2013-03-05
1
-17
/
+13
*
Rewrite of isVolatile
Martin Odersky
2013-03-04
1
-43
/
+29
*
Renamed RefinedType#name, #info…
Martin Odersky
2013-03-04
1
-5
/
+5
*
Split scopes into immutable and mutable parts.
Martin Odersky
2013-03-03
1
-1
/
+1
*
Polishing of denotations
Martin Odersky
2013-03-02
1
-2
/
+5
*
Refactoring and cleanup of several symbol creation related aspects.
Martin Odersky
2013-02-24
1
-1
/
+1
*
Misc fixes to typed trees, flags, and elsewhere.
Martin Odersky
2013-02-21
1
-1
/
+1
*
More utility methods and split up filter
Martin Odersky
2013-02-21
1
-1
/
+1
*
Fleshed out TypeTreeGen.
Martin Odersky
2013-02-18
1
-0
/
+6
*
Added methods to convert between (virtual) type application and refinements.
Martin Odersky
2013-02-08
1
-1
/
+31
*
New Context architecture based on cloning
Martin Odersky
2013-01-29
1
-7
/
+6
*
Consolidation of Symbols
Martin Odersky
2013-01-28
1
-2
/
+2
*
Simplified RefinedTypes, keeping only the unary variant.
Martin Odersky
2013-01-27
1
-17
/
+5
*
More eliminations of AppliedType
Martin Odersky
2013-01-27
1
-49
/
+32
*
Optimized RefinedType
Martin Odersky
2013-01-25
1
-116
/
+121
*
Various additions to symbols, denotations, and elsewhere
Martin Odersky
2013-01-24
1
-1
/
+1
*
Allows for NoType in AplliedType argument lists, as well as argument lists th...
Martin Odersky
2013-01-24
1
-3
/
+5
*
Refactored Types to move auxiliary operations into Context. Moved per-run sta...
Martin Odersky
2013-01-10
1
-0
/
+210