summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
...
| | * | | | | | | | Moving getClassReturnType out of erasure.Paul Phillips2012-01-303-35/+35
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | And other post-merge cleanup.
| | * | | | | | | | Merge branch 'master' into inlinePaul Phillips2012-01-3018-283/+397
| | |\ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Conflicts: src/compiler/scala/reflect/internal/Definitions.scala
| * | | | | | | | | | updated check file; got accidentally dropped from last commit.Martin Odersky2012-01-301-1/+1
| |/ / / / / / / / /
| * | | | | | | | | Resinstantiating anyval-children test. Getting he complete build to run.Martin Odersky2012-01-307-50/+62
| | | | | | | | | |
| * | | | | | | | | Fixed problems with step 2Martin Odersky2012-01-302-7/+8
| | | | | | | | | |
| * | | | | | | | | New phase that creates extension methods for inline classes.Martin Odersky2012-01-301-0/+161
| | | | | | | | | |
| * | | | | | | | | Merge remote-tracking branch 'paulp/inline' into topic/inlineMartin Odersky2012-01-2989-4346/+636
| |\ \ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Temporarily removed getClass from AnyVal to get build going. Disabled anyval-childen test. Fixed some other build problems. Implemented step 1 + 2 of inline classes proposal.
| | * \ \ \ \ \ \ \ \ Merge branch 'unsealed-anyval' into inlinePaul Phillips2012-01-2881-4296/+590
| | |\ \ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Conflicts: src/compiler/scala/tools/nsc/typechecker/ContextErrors.scala
| | | * | | | | | | | | Unsealed AnyVal.Paul Phillips2012-01-2820-332/+347
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Hacks here and there to allow them to survive at least to erasure. Since nothing is done with them there yet, they inevitably crash and burn a little ways beyond that.
| * | | | | | | | | | | inline method expansion codeMartin Odersky2012-01-2916-248/+305
| |/ / / / / / / / / /
| * | | | | | | | | | Dropping what looks like debug output from error message. Before the change,Martin Odersky2012-01-261-1/+1
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | writing `class C extends AnyVal` in the REPL produced a compiler crash due to a NPE.
| * | | | | | | | | | Merge branch 'master' into topic/inlineMartin Odersky2012-01-26146-1968/+8695
| |\ \ \ \ \ \ \ \ \ \
| * | | | | | | | | | | wipMartin Odersky2012-01-211-2/+8
| | | | | | | | | | | |
* | | | | | | | | | | | Merge remote-tracking branches 'soc/fix-todos' and ↵Paul Phillips2012-03-1418-602/+698
|\ \ \ \ \ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 'axel22/feature/pc-execution-contexts' into develop
| * | | | | | | | | | | | Fix tasksupport field initialization for the checkInit build.Aleksandar Prokopec2012-03-149-4/+78
| | | | | | | | | | | | |
| * | | | | | | | | | | | Merge branch 'master' into feature/pc-execution-contextsAleksandar Prokopec2012-03-14108-872/+3324
| |\ \ \ \ \ \ \ \ \ \ \ \ | | | |_|_|_|_|_|_|_|_|_|/ | | |/| | | | | | | | | |
| | * | | | | | | | | | | Merge branch 'master', remote-tracking branch 'magarciaEPFL/GenASM' into developPaul Phillips2012-03-128-597/+619
| | |\ \ \ \ \ \ \ \ \ \ \
| | | * | | | | | | | | | | shortening Name-String-Name-String conversions to just Name-StringMiguel Garcia2012-03-095-12/+10
| | | | | | | | | | | | | |
| | | * | | | | | | | | | | rather than info.parents, superClass and mixinClasses are enoughMiguel Garcia2012-03-081-26/+32
| | | | | | | | | | | | | |
| | | * | | | | | | | | | | Merge branch 'master' into GenASMMiguel Garcia2012-03-083-16/+27
| | | |\ \ \ \ \ \ \ \ \ \ \
| | | * \ \ \ \ \ \ \ \ \ \ \ Merge branch 'master' into GenASMMiguel Garcia2012-03-0810-9/+157
| | | |\ \ \ \ \ \ \ \ \ \ \ \
| | | * \ \ \ \ \ \ \ \ \ \ \ \ Merge branch 'master' into GenASMMiguel Garcia2012-03-0711-21/+253
| | | |\ \ \ \ \ \ \ \ \ \ \ \ \
| | | * | | | | | | | | | | | | | dynamic dispatch instead of map lookups or equality testsMiguel Garcia2012-03-073-38/+33
| | | | | | | | | | | | | | | | |
| | | * | | | | | | | | | | | | | fewer lastInstruction lookupsMiguel Garcia2012-03-071-2/+2
| | | | | | | | | | | | | | | | |
| | | * | | | | | | | | | | | | | readabilityMiguel Garcia2012-03-071-20/+9
| | | | | | | | | | | | | | | | |
| | | * | | | | | | | | | | | | | readabilityMiguel Garcia2012-03-071-8/+4
| | | | | | | | | | | | | | | | |
| | | * | | | | | | | | | | | | | mechanically applying the above recipeMiguel Garcia2012-03-071-50/+44
| | | | | | | | | | | | | | | | |
| | | * | | | | | | | | | | | | | there goes the pattern matching of CJUMPMiguel Garcia2012-03-071-39/+36
| | | | | | | | | | | | | | | | |
| | | * | | | | | | | | | | | | | same story: inspector method beats pattern matchingMiguel Garcia2012-03-071-12/+6
| | | | | | | | | | | | | | | | |
| | | * | | | | | | | | | | | | | replacing pattern matching with isWideType invocationsMiguel Garcia2012-03-072-18/+7
| | | | | | | | | | | | | | | | |
| | | * | | | | | | | | | | | | | leveraging isIntSizedTypeMiguel Garcia2012-03-061-42/+46
| | | | | | | | | | | | | | | | |
| | | * | | | | | | | | | | | | | the idea is to cut down on checkcast instructionsMiguel Garcia2012-03-062-26/+39
| | | | | | | | | | | | | | | | |
| | | * | | | | | | | | | | | | | de-specialcasingMiguel Garcia2012-03-061-1/+9
| | | | | | | | | | | | | | | | |
| | | * | | | | | | | | | | | | | readabilityMiguel Garcia2012-03-061-29/+16
| | | | | | | | | | | | | | | | |
| | | * | | | | | | | | | | | | | factoring out repetitive workMiguel Garcia2012-03-062-6/+43
| | | | | | | | | | | | | | | | |
| | | * | | | | | | | | | | | | | readabilityMiguel Garcia2012-03-061-13/+11
| | | | | | | | | | | | | | | | |
| | | * | | | | | | | | | | | | | readabilityMiguel Garcia2012-03-061-4/+7
| | | | | | | | | | | | | | | | |
| | | * | | | | | | | | | | | | | readabilityMiguel Garcia2012-03-061-16/+8
| | | | | | | | | | | | | | | | |
| | | * | | | | | | | | | | | | | fewer hops to emit ASTORE and ALOADMiguel Garcia2012-03-061-3/+27
| | | | | | | | | | | | | | | | |
| | | * | | | | | | | | | | | | | Merge branch 'master' into GenASMMiguel Garcia2012-03-0649-144/+1646
| | | |\ \ \ \ \ \ \ \ \ \ \ \ \ \
| | | * | | | | | | | | | | | | | | making indentation IDE-awareMiguel Garcia2012-03-051-555/+555
| | | | | | | | | | | | | | | | | |
| | | * | | | | | | | | | | | | | | readabilityMiguel Garcia2012-03-051-3/+3
| | | | | | | | | | | | | | | | | |
| | | * | | | | | | | | | | | | | | readabilityMiguel Garcia2012-03-031-3/+1
| | | | | | | | | | | | | | | | | |
| | | * | | | | | | | | | | | | | | avoiding fjbg's JClass in getFile()Miguel Garcia2012-03-031-4/+4
| | | | | | | | | | | | | | | | | |
| * | | | | | | | | | | | | | | | | Fix one benchmark.Aleksandar Prokopec2012-03-061-1/+1
| | | | | | | | | | | | | | | | | |
* | | | | | | | | | | | | | | | | | Removed "Todo: test" where a test exists.Simon Ochsenreither2012-03-127-17/+9
| |/ / / / / / / / / / / / / / / / |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | - Renamed t960 to a more sensible name, because SI-960 is not related to the test and I couldn't find a ticket number. - Some minor fixes to @deprecated like switched or missing versions.
| | | | | | | | | | | | | | | | |
| \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
*-. \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ Merge remote-tracking branches 'adriaanm/ticket/5189' and ↵Paul Phillips2012-03-1116-70/+272
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 'jsuereth/better-starr-flow' into develop
| | * | | | | | | | | | | | | | | | | Updated flow for creating new STARRs.Josh Suereth2012-03-111-1/+20
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * SHA1's are deleted when creating new STARR builds. * SHA1's are also deleted if new fjbg/forkjoin/jline jars are made. * Normal push/pull flow should continue as normal with less frustration.
| * | | | | | | | | | | | | | | | | | SI-5189 fixed: safe type infer for constr patternAdriaan Moors2012-03-0912-31/+180
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | several fixes to the standard library due to - the safer type checker this fix gives us (thus, some casts had to be inserted) - SI-5548 - type inference gets a bit more complicated, it needs help (chainl1 in combinator.Parsers) To deal with the type slack between actual (run-time) types and statically known types, for each abstract type T, reflect its variance as a skolem that is upper-bounded by T (covariant position), or lower-bounded by T (contravariant). Consider the following example: class AbsWrapperCov[+A] case class Wrapper[B](x: Wrapped[B]) extends AbsWrapperCov[B] def unwrap[T](x: AbsWrapperCov[T]): Wrapped[T] = x match { case Wrapper(wrapped) => // Wrapper's type parameter must not be assumed to be equal to T, // it's *upper-bounded* by it wrapped // : Wrapped[_ <: T] } this method should type check if and only if Wrapped is covariant in its type parameter before inferring Wrapper's type parameter B from x's type AbsWrapperCov[T], we must take into account that x's actual type is: AbsWrapperCov[Tactual] forSome {type Tactual <: T} since AbsWrapperCov is covariant in A -- in other words, we must not assume we know T exactly, all we know is its upper bound since method application is the only way to generate this slack between run-time and compile-time types (TODO: right!?), we can simply replace skolems that represent method type parameters as seen from the method's body by other skolems that are (upper/lower)-bounded by that type-parameter skolem (depending on the variance position of the skolem in the statically assumed type of the scrutinee, pt) this type slack is introduced by adaptConstrPattern: before it calls inferConstructorInstance, it creates a new context that holds the new existential skolems the context created by adaptConstrPattern must not be a CaseDef, since that confuses instantiateTypeVar and the whole pushTypeBounds/restoreTypeBounds dance (CaseDef contexts remember the bounds of the type params that we clobbered during GADT typing) typedCase deskolemizes the existential skolems back to the method skolems, since they don't serve any further purpose (except confusing the old pattern matcher) typedCase is now better at finding that context (using nextEnclosing)
| * | | | | | | | | | | | | | | | | | SI-5189 1/2: inferConstrInst uses correct varianceAdriaan Moors2012-03-094-3/+20
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | fixed concurrent.impl.Promise by making FState invariant (it would be unsound to make it covariant)