summaryrefslogtreecommitdiff
path: root/src
Commit message (Collapse)AuthorAgeFilesLines
* adds the sha1 files of the new starr / stringContext.fDominik Gruntz2012-07-061-37/+2
| | | | | | | | This commit provides the new sha1 codes of the new STARR. Moreover, it replaces the implementation of StringContext.f to `macro ???`. The implementation is magically hardwired into `scala.tools.reflect.MacroImplementations.macro_StringInterpolation_f` by the new STARR.
* macro-based string interpolation formatterAdriaan Moors2012-07-065-6/+165
| | | | | | | | | This commit provides a macro based string interpolation formatter. The macro is implemented in MacroImplementations.scala. In order to still be able to build a new STARR, the implementation in StringContext.f is not yet changed. This will be replaced in a later commit.
* Merge pull request #830 from heathermiller/topic/tryeither-fixesAdriaan Moors2012-07-067-93/+148
|\ | | | | SI-5981, SI-5979, SI-5973, SI-5890 Closed. Maintenance to Try.
| * Updates scala.util.control.NonFatal documentation, as suggested in code reviewHeather Miller2012-07-061-6/+9
| |
| * SI-5981, SI-5979, SI-5973 Closed. Maintenance to Try.Heather Miller2012-07-057-87/+139
| |
* | Merge pull request #824 from adriaanm/ticket-4691_6008Adriaan Moors2012-07-062-218/+212
|\ \ | | | | | | [SI-4691, SI-6008] improve patmat analyses: irrefutable user-defined extractors, no-op type tests
| * | refactor to implement @retronym's reviewAdriaan Moors2012-07-061-18/+20
| | |
| * | SI-6008 use static knowledge of success of type testsAdriaan Moors2012-07-051-24/+51
| | | | | | | | | | | | | | | | | | | | | | | | augment the equality axioms to take into account that a type test against the static type of a variable succeeds unless the variable is null for exhaustivity we disregard null, so the type test always succeeds during unreachability we model this knowledge as the obvious implication
| * | SI-4691 exhaustivity: `unapply: Some` = irrefutableAdriaan Moors2012-07-051-175/+128
| | | | | | | | | | | | overhauls treeMakersToConds in the process -- was getting a bit unwieldy
| * | introduce -Ypatmat-debug (no new functionality)Adriaan Moors2012-07-052-35/+47
| |/ | | | | | | | | the setting is actually a no-op until I can figure out how to convince the inliner to inline patmatDebug (/cc @magarciaEPFL)
* | Merge pull request #826 from lrytz/t5907Adriaan Moors2012-07-062-50/+66
|\ \ | | | | | | SI-5907, SI-5009 case-class copy defaults only for first param list
| * | SI-5907, SI-5009 case-class copy defaults only for first param listLukas Rytz2012-07-052-50/+66
| | | | | | | | | | | | | | | `copy` no longer returns anonymous functions if there are multiple parameter lists, reverts most of 40e7cab7a2. Cleaned up the special type completer for copy methods.
* | | Merge pull request #823 from scalamacros/topic/result-typeAdriaan Moors2012-07-061-0/+4
|\ \ \ | | | | | | | | Adds `Type.resultType` to reflection API
| * | | Adds `Type.resultType` to reflection APIEugene Burmako2012-07-041-0/+4
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Seems to be quite an essential piece of functionality. Got requests for it from Paul back then, and now Daniel in his latest blog post has to painfully pattern match his way to resultType.
* | | | Merge pull request #822 from scalamacros/ticket/5959Adriaan Moors2012-07-061-2/+2
|\ \ \ \ | | | | | | | | | | SI-5959 type equality now accounts for mirrors
| * | | | SI-5959 type equality now accounts for mirrorsEugene Burmako2012-07-041-2/+2
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | TypeRef(ThisType(<package1>), sym, args) should always be equal to TypeRef(ThisType(<package2>), sym, args) regardless of whether package1 and package2 actually represent the same symbols of not. This goes for subtyping (<:<) and type equality (=:=). However regular equality (==) and hashconsing is unaffected as per http://groups.google.com/group/scala-internals/browse_thread/thread/4bef4e6987bb68fe This is done to account for the fact that mirrors share normal symbols, but never share package symbols. Therefore at times it will occur that the same types loaded by different mirrors appear different because of the package symbols. More details: https://issues.scala-lang.org/browse/SI-5959.
* | | | | SI-6033 Closed. Provides implicit conversion from java.math.BigInteger to BigIntDominik Gruntz2012-07-051-1/+10
| |_|_|/ |/| | |
* | | | Merge pull request #821 from adriaanm/64acb46ab7Adriaan Moors2012-07-051-51/+199
|\ \ \ \ | | | | | | | | | | SI-5830 switches: support guards, unreachability
| * | | | SI-5830 switches: support guards, unreachabilityAdriaan Moors2012-07-031-51/+199
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | turn switches with guards into guard-free switches by collecting all cases that are (possibly) guarded by different guards but that switch on the same constant, and pushing the implied if-then-else into the collapsed case body ``` case C if G1 => B1 case C if Gi => Bi case C if GN => BN ``` becomes ``` case C => if (G1) B1 else if (Gi) Bi else if (GN) BN else default() // not necessary if GN == EmptyTree ``` default() is a jump to the default case; to enable this, we wrap a default() { } labeldef around the last case's body (the user-defined default or the synthetic case that throws the matcherror) so we can jump to the default case after the last guard is checked (assuming unreachability is checked, once we ended up in a non-default case, one of the guards either matches or we go to the default case) the unreachability analysis is minimal -- we simply check (after rewriting to guard-free form) that: - there are no duplicate cases - the default case comes last misc notes: - can't jump in exception handlers (TODO: a more fine-grained analysis on when we need to jump) - work around SI-6015 (test file run/t5830.scala crashed the inliner) - propagate type of case body to label def of default case (needed for existentials, see e.g., t2683) - the default(){} LabelDef breaks SelectiveANFTransform -- workaround: don't write guarded switches in CPS code (do the above transformation manually)
* | | | | Merge pull request #803 from magarciaEPFL/offload-classfile-writing-BAdriaan Moors2012-07-054-280/+444
|\ \ \ \ \ | | | | | | | | | | | | performance improvements (10% to 20% depending on HDD vs SSD) in GenASM
| * | | | | GenASM gets a 10% performance boost via switchMiguel Garcia2012-07-012-245/+353
| | | | | |
| * | | | | GenASM: pipeline disk-write with building of classfilesMiguel Garcia2012-07-013-35/+91
| | | | | |
* | | | | | Merge pull request #777 from retronym/ticket/2796Adriaan Moors2012-07-041-0/+6
|\ \ \ \ \ \ | | | | | | | | | | | | | | SI-2796 Warn if early definitions are used with a trait.
| * | | | | | SI-2796 Warn if early definitions are used with a trait.Jason Zaugg2012-06-261-0/+6
| | | | | | | | | | | | | | | | | | | | | | | | | | | | For which they (currently) have no special meaning.
* | | | | | | Merge pull request #818 from scalamacros/topic/tags-for-anyval-and-anyrefAdriaan Moors2012-07-043-2/+12
|\ \ \ \ \ \ \ | |_|_|_|_|/ / |/| | | | | | tags for AnyVal and AnyRef
| * | | | | | tags for AnyVal and AnyRefEugene Burmako2012-07-043-2/+12
| | |_|_|/ / | |/| | | |
* | | | | | Merge pull request #820 from retronym/ticket/6013Adriaan Moors2012-07-041-1/+1
|\ \ \ \ \ \ | | | | | | | | | | | | | | SI-6013 Disallow deferred members from intermediate java parents.
| * | | | | | SI-6013 Disallow deferred members from intermediate java parents.Jason Zaugg2012-07-041-1/+1
| | |_|_|_|/ | |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 76c76b28f allowed for the fact that a Java method can override a super class method without matching its type in a Scala sense; it need only match its type after erasure. However that change went too far, and considered a concrete method in a base class to override a deferred method in a subclass.
* | | | | | Merge pull request #814 from hubertp/issue/5969Adriaan Moors2012-07-041-1/+10
|\ \ \ \ \ \ | | | | | | | | | | | | | | Closes SI-5969.
| * | | | | | Better explanation for SI-5969.Hubert Plociniczak2012-07-031-2/+6
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | The comment should now better reflect the joys of tryTwice as discussed during the code review.
| * | | | | | Closes SI-5969.Hubert Plociniczak2012-07-021-1/+6
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Assumption that we enter tryTwice when inferring the right alternative with an empty buffer is wrong. In this particular bug it manifested itself on if/then/else which share the same context and 'else' branch was simply flushing the buffer with an error from the 'then' branch.
* | | | | | | Merge pull request #809 from dragos/issue/fix-5929Adriaan Moors2012-07-041-11/+7
|\ \ \ \ \ \ \ | | | | | | | | | | | | | | | | Fix SI-5929 - Verify error with finally and pattern match
| * | | | | | | Fix SI-5929 - Verify error with finally and pattern matchIulian Dragos2012-07-021-11/+7
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Don't enter all labels in a method when emitting a forward jump, since some labels will be duplicated (if defined inside finally blocks). For each forward jump, enter only the label that is needed for that jump.
* | | | | | | | Merge pull request #772 from magarciaEPFL/recoveringOptimizedStabilityCAdriaan Moors2012-07-043-282/+380
|\ \ \ \ \ \ \ \ | |_|_|_|/ / / / |/| | | | | | | recovering optimized stability
| * | | | | | | readability of MethodTFA.mutatingInterpret()Miguel Garcia2012-07-011-106/+37
| | | | | | | |
| * | | | | | | refactoring to functional style Inliner's isStampedForInlining()Miguel Garcia2012-06-263-138/+223
| | | | | | | |
| * | | | | | | inliner makes fields public only when actually inliningMiguel Garcia2012-06-252-75/+157
| | | | | | | |
* | | | | | | | SI-5990 u.build now correctly invokes missing symbol hooksEugene Burmako2012-07-032-12/+16
| |_|_|_|_|_|/ |/| | | | | |
* | | | | | | Merge pull request #810 from scalamacros/pullrequest/manifests-and-ticket6005Adriaan Moors2012-07-0329-233/+326
|\ \ \ \ \ \ \ | | | | | | | | | | | | | | | | two pullrequests from this morning, combined to merge changes to starrs
| * | | | | | | reify no longer dealiases symbols and typesEugene Burmako2012-07-025-20/+12
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | this uncovers a bug in toolboxes: https://issues.scala-lang.org/browse/SI-6007 however that bug is not critical, so it will be dealt with later
| * | | | | | | miscellaneous cleanupEugene Burmako2012-07-023-4/+7
| | | | | | | |
| * | | | | | | removes ClassTag.String and TypeTag.StringEugene Burmako2012-07-028-26/+22
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | TypeTag.String is removed because it's unclear whether it should point to scala.Predef.String or to java.lang.String. ClassTag.String is removed to be consistent with TypeTag.String. This requires re-bootstrapping, because Definitions.scala in locker expects classTag[String] being automatically generated, whereas starr disagrees with locker on how to generate that class tag.
| * | | | | | | further improves reflection printersEugene Burmako2012-07-023-50/+79
| | | | | | | |
| * | | | | | | Improves backward compatibility of manifestsEugene Burmako2012-07-0214-133/+206
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 1) type ClassManifest[T] = ClassTag[T] (solves a problem with toArray[T: ClassManifest] defined on most of the collections; if these types weren't aliases, then we won't be able to change the signature of that method to toArray[T: ClassTag], because that would break source compatibility for those who override toArray in their custom collections) 2) Compiler-generated manifests no longer trigger deprecation warnings (this is implemented by using ClassManifestFactory instead of ClassManifest and ManifestFactory instead of Manifest) 3) Deprecation messages got improved to reflect the changes that were introduced in 2.10.0-M4.
* | | | | | | | Merge pull request #808 from scalamacros/topic/moduleclassAdriaan Moors2012-07-034-6/+23
|\ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | better module classes support in the reflection API
| * | | | | | | | better module classes support in the reflection APIEugene Burmako2012-07-024-6/+23
| | |_|_|_|_|_|/ | |/| | | | | |
* | | | | | | | Merge pull request #801 from paulp/issue/exponential-specAdriaan Moors2012-07-031-2/+5
|\ \ \ \ \ \ \ \ | |_|_|_|_|_|/ / |/| | | | | | | Fix for exponential compile time in specialization.
| * | | | | | | Fix for exponential compile time in specialization.Paul Phillips2012-06-301-2/+5
| |/ / / / / / | | | | | | | | | | | | | | | | | | | | | Review by @prokopec.
* | | | | | | Merge pull request #812 from dragos/new-eclipse-project-filesAdriaan Moors2012-07-024-24/+54
|\ \ \ \ \ \ \ | | | | | | | | | | | | | | | | Improved Eclipse project files and documentation
| * | | | | | | Update README for Eclipse project files.Iulian Dragos2012-07-021-2/+31
| | | | | | | |
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-05 08:37:21 +0000