aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/core/TypeOps.scala
Commit message (Expand)AuthorAgeFilesLines
* Avoid eager forcing in enterArgBindingMartin Odersky2014-01-201-1/+8
* Normalize parent types so that first one always refers to a class, not a trait.Martin Odersky2014-01-191-20/+34
* Normalize parents to be class refsMartin Odersky2013-12-221-3/+4
* Fixes related to SAM types.Martin Odersky2013-12-151-3/+0
* SimpleMap.foreachKey -> foreachBindingMartin Odersky2013-11-291-4/+4
* Using SimpleMap instead of Map for replayability.Martin Odersky2013-11-281-13/+12
* Cleanup of TermRef.withSym and TypeRef.withSymMartin Odersky2013-11-251-1/+1
* Types refactoringsMartin Odersky2013-11-251-4/+8
* Renaming: typeConstructor -> typeRefMartin Odersky2013-11-221-1/+1
* Making as seenfrom reduce types.Martin Odersky2013-11-141-16/+6
* Bringing underlyingIfRepeated up-to-dateMartin Odersky2013-11-111-1/+1
* Added shortcuiting for type argument aliases.Martin Odersky2013-10-101-4/+49
* Bug fixes and improvements in error diagnostics.Martin Odersky2013-09-161-108/+0
* Better robustness in the presence of error types.Martin Odersky2013-08-151-0/+2
* Distribute & into TypeTypes.Martin Odersky2013-06-181-2/+28
* Some annotations and changes prompted by the code walkthrough.Martin Odersky2013-04-221-1/+10
* Re-organized comparisons of types with classes.Martin Odersky2013-04-101-1/+1
* Renamed creation methods of NamedTypesMartin Odersky2013-04-091-1/+1
* Made & , | NoType-aware.Martin Odersky2013-04-051-0/+4
* Added some tracing to asSeenFrom.Martin Odersky2013-04-051-4/+5
* Consolidated tracing under -YdebugTrace.Martin Odersky2013-04-041-1/+3
* Trying to get at the root of cyclic reference problems.Martin Odersky2013-04-041-21/+21
* Improvements in tracing and some Type fixes.Martin Odersky2013-04-031-0/+2
* Fixes fingerprint problems.Martin Odersky2013-03-241-2/+2
* Attempt to fix fingerprint problem (disabled for now)Martin Odersky2013-03-231-4/+6
* More fixes for classfile reading.Martin Odersky2013-03-221-0/+2
* Added emulation of higher-kinded types.Martin Odersky2013-03-171-1/+3
* Various fixes to make classfile loading work.Martin Odersky2013-03-151-2/+2
* Checking abstractness of types by their flags.Martin Odersky2013-03-121-8/+3
* Split filterAsSeenFrom and generalized flag handling.Martin Odersky2013-03-121-1/+1
* Finished polishing of Types and TypeOps.Martin Odersky2013-03-061-10/+6
* Streamlined implementation of asSeenFromMartin Odersky2013-03-061-15/+8
* More polishing of types.Martin Odersky2013-03-051-17/+13
* Rewrite of isVolatileMartin Odersky2013-03-041-43/+29
* Renamed RefinedType#name, #info…Martin Odersky2013-03-041-5/+5
* Split scopes into immutable and mutable parts.Martin Odersky2013-03-031-1/+1
* Polishing of denotationsMartin Odersky2013-03-021-2/+5
* Refactoring and cleanup of several symbol creation related aspects.Martin Odersky2013-02-241-1/+1
* Misc fixes to typed trees, flags, and elsewhere.Martin Odersky2013-02-211-1/+1
* More utility methods and split up filterMartin Odersky2013-02-211-1/+1
* Fleshed out TypeTreeGen.Martin Odersky2013-02-181-0/+6
* Added methods to convert between (virtual) type application and refinements.Martin Odersky2013-02-081-1/+31
* New Context architecture based on cloningMartin Odersky2013-01-291-7/+6
* Consolidation of SymbolsMartin Odersky2013-01-281-2/+2
* Simplified RefinedTypes, keeping only the unary variant.Martin Odersky2013-01-271-17/+5
* More eliminations of AppliedTypeMartin Odersky2013-01-271-49/+32
* Optimized RefinedTypeMartin Odersky2013-01-251-116/+121
* Various additions to symbols, denotations, and elsewhereMartin Odersky2013-01-241-1/+1
* Allows for NoType in AplliedType argument lists, as well as argument lists th...Martin Odersky2013-01-241-3/+5
* Refactored Types to move auxiliary operations into Context. Moved per-run sta...Martin Odersky2013-01-101-0/+210
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-27 03:22:04 +0000