summaryrefslogtreecommitdiff
path: root/src/compiler/scala/reflect/internal/Types.scala
Commit message (Expand)AuthorAgeFilesLines
* Introduces scala-reflect.jarEugene Burmako2012-06-081-6820/+0
* moves positions to scala.reflect.internal.utilEugene Burmako2012-06-081-1/+1
* miscellaneous cleanup, mostly fighting with feature warningsEugene Burmako2012-06-081-0/+1
* The new reflectionEugene Burmako2012-06-081-24/+51
* Merge pull request #665 from retronym/ticket/5213Adriaan Moors2012-06-041-11/+10
|\
| * SI-5313 Revert to two traversals in substThisAndSym.Jason Zaugg2012-06-031-11/+10
* | SI-5683 Fail gracefully when transposing a ragged type arg matrix.Jason Zaugg2012-06-031-29/+32
|/
* SI-5845 Advances the example from a crasher to an inference failure.Jason Zaugg2012-05-281-1/+1
* fix SI-5829: refinement typeref has a prefixAdriaan Moors2012-05-241-2/+2
* No-op changes.Paul Phillips2012-05-141-4/+1
* suspend type vars in SubTypePair's equalsAdriaan Moors2012-05-141-4/+21
* fixes a problem with an extractor object overloaded by a regular defEugene Burmako2012-05-111-0/+4
* Fix for one of the oldest open soundness bugs.Paul Phillips2012-05-041-8/+9
* Fix for SI-3718.Paul Phillips2012-05-031-0/+5
* Fix for SI-5608, crasher with value classes.Paul Phillips2012-05-031-1/+3
* SI-5703: normalize refined types moreAdriaan Moors2012-05-031-9/+22
* Eliminating reflective calls.Paul Phillips2012-05-021-3/+4
* SI-5729: TypeVar experimentals iff -XexperimentalAdriaan Moors2012-05-021-1/+2
* tpe -> tpeHK here and there.Paul Phillips2012-05-011-6/+6
* SI-3755: catch exception thrown by adaptToNewrunAdriaan Moors2012-04-271-3/+8
* Some long overdue conveniences.Paul Phillips2012-04-251-3/+4
* rethinks tagsEugene Burmako2012-04-231-2/+19
* Reflection and reification: Names and Symbols.Paul Phillips2012-04-221-1/+1
* adds erasures to concrete type tagsEugene Burmako2012-04-171-1/+1
* New facility: TypeDestructurers.Paul Phillips2012-04-161-2/+3
* Merge commit 'refs/pull/401/head'; commit 'refs/pull/402/head'; commit 'refs/...Paul Phillips2012-04-141-2/+31
|\
| * implements reification of tough typesEugene Burmako2012-04-141-2/+31
* | virtpatmat on by default; chicken out: -XoldpatmatAdriaan Moors2012-04-141-1/+1
|/
* Merge branch 'master' into topic/sip18Martin Odersky2012-04-131-23/+59
|\
| * Small cleanup in typeref toStringPaul Phillips2012-04-131-4/+4
| * Touching the untouchable.Paul Phillips2012-04-131-24/+53
| * Scaladoc feature that shows implicit conversionsVlad Ureche2012-04-131-16/+23
* | Fine-tuning of isRepresentableWithWildcards and wildcard printing.Martin Odersky2012-04-131-20/+21
* | Various improvements to SIP 18 diagnostics. Made scala library and compiler f...Martin Odersky2012-04-121-7/+8
* | Merge branch 'master' into topic/sip18Martin Odersky2012-04-121-3/+64
|\|
| * Next generation of macrosEugene Burmako2012-04-121-3/+50
| * Less laborious type application.Paul Phillips2012-04-091-0/+14
* | Implementation of SIP 18. We still need to get rid of the warnings caused by ...Martin Odersky2012-04-111-5/+12
|/
* Unify "object Foo" and "Foo.type".Paul Phillips2012-04-041-3/+7
* Pushed Symbol/Type creation partitioning further.Paul Phillips2012-04-011-37/+64
* More principled unwrapping of types.Paul Phillips2012-04-011-0/+17
* Cleaned up "isTupleTypeOrSubtype".Paul Phillips2012-04-011-5/+6
* [vpm] smarter type inference on when virtPatmat is onAdriaan Moors2012-03-271-1/+1
* Syntactic/organizational optimizations in Settings.Paul Phillips2012-03-261-4/+5
* Lots of tedious warning and tree printing work.Paul Phillips2012-03-201-8/+15
* [vpm] fix half of my existential troublesAdriaan Moors2012-03-201-9/+0
* SI-5189: refined GADT soundness fixAdriaan Moors2012-03-191-3/+4
* Merge remote-tracking branch 'odersky/topic/inline' into merge-inlinePaul Phillips2012-03-141-18/+24
|\
| * Renamed "inline class" to "derived value class"Martin Odersky2012-02-201-6/+6
| * wip. Getting started on erasing inline classes.Martin Odersky2012-02-081-1/+3