aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
...
| * | Implemented handling of Closures.Dmitry Petrashko2014-12-1624-0/+1266
| | |
| * | Adapt dotty to changes in BackendInterface that save allocation on Product1sDmitry Petrashko2014-12-161-8/+9
| | |
| * | Make LambdaLifted methods follow JVM8 lambda parameters order.Dmitry Petrashko2014-12-161-5/+5
| | | | | | | | | | | | LambdaMetafactory expects environment to go first.
| * | Update to newer version of scalac forkDmitry Petrashko2014-12-161-1/+1
| | |
| * | Support LabelDef's with Arguments. Fixes tailrec.Dmitry Petrashko2014-12-161-1/+20
| | |
| * | Fix StackOverflow in handling of try. Try is now supported by backendDmitry Petrashko2014-12-161-1/+1
| | |
| * | Handle Arrays in backend.Dmitry Petrashko2014-12-163-5/+33
| | |
| * | Fix bug in dotty interface: wrong symbols used to get box\unbox methodsDmitry Petrashko2014-12-161-2/+4
| | |
| * | Implemented handling of <label> DefDefs in backend.Dmitry Petrashko2014-12-163-7/+202
| | |
| * | Label test with nested cycles and simple patterns.Dmitry Petrashko2014-12-162-0/+22
| | |
| * | Update class-path dependant tests. Disable one.Dmitry Petrashko2014-12-161-3/+5
| | |
| * | Add test for backend.Dmitry Petrashko2014-12-162-1/+6
| | |
| * | Modify runner script to include modified scalac on class path.Dmitry Petrashko2014-12-161-3/+10
| | |
| * | Mixing now also changes Scala2 traits into interfaces.Dmitry Petrashko2014-12-161-1/+6
| | |
| * | Disable backend by default in tests.Dmitry Petrashko2014-12-162-2/+6
| | |
| * | Enable new phases.Dmitry Petrashko2014-12-161-1/+5
| | |
| * | Complete DottyBackendInterface.Dmitry Petrashko2014-12-161-44/+309
| | |
| * | Add member lookups needed by backend.Dmitry Petrashko2014-12-161-0/+13
| | |
| * | GenBcode phase implemented.Dmitry Petrashko2014-12-161-16/+25
| | | | | | | | | | | | That doesn't mean it works :-)
| * | remove dependency on Btypes from DottyPrimitives. Rely on symbols instead.Dmitry Petrashko2014-12-161-39/+37
| | |
| * | Depend on custom compiler with https://github.com/scala/scala/pull/4136 ↵Dmitry Petrashko2014-12-161-2/+3
| | | | | | | | | | | | incorporated
| * | New phase: collectEntryPointsDmitry Petrashko2014-12-162-69/+121
| | | | | | | | | | | | collects entry points and registers them in backend
| * | Remove duplicate isAnonymousFunctionDmitry Petrashko2014-12-162-4/+1
| | |
| * | Move methods shared between Mixin and Backend to SymUtils.Dmitry Petrashko2014-12-162-4/+20
| | |
| * | Hack ClassFileParser to not treat Null$ or Nothing$ as modules.Dmitry Petrashko2014-12-162-1/+6
| | | | | | | | | | | | They are classes.
| * | Update to scala 2.11.4Dmitry Petrashko2014-12-161-1/+1
| | |
| * | Erasure is on by default.Dmitry Petrashko2014-12-161-30/+30
| | | | | | | | | | | | Remove historical enabling of erasure for some tests: its enabled by default now
| * | Sharing backend between scalac and dotty.Dmitry Petrashko2014-12-167-2/+1334
| | | | | | | | | | | | | | | Due to a lot of error and workarounds required for backend not regress in terms of speed, I guess the original idea was to high to be reached.. Nevertheless it was good to try.
* | | Merge pull request #302 from dotty-staging/fix/returnsDmitry Petrashko2014-12-175-31/+49
|\ \ \ | | | | | | | | Fix/returns
| * | | Move isSuppressed check from Reporter to ConsoleReporter.Martin Odersky2014-12-172-11/+12
| | | | | | | | | | | | | | | | | | | | | | | | | | | | isSuppressed forces computation of the error message; should be called only when emitting the error. TODO: Generalize so that other emitting reporters inherit the behavior.
| * | | Label defs are not source methods.Martin Odersky2014-12-171-1/+3
| | | | | | | | | | | | | | | | | | | | | | | | If this commit is made without the previous fixes to returns, we get errors in dotc_parsing (without the fix to polymorphic returns) and in dotc_core (without the fix in tree transform).
| * | | Don't transform Return#fromMartin Odersky2014-12-171-1/+5
| | | | | | | | | | | | | | | | Explanation given in the comment.
| * | | Fix returns from polymorphic methodsMartin Odersky2014-12-171-18/+29
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Return proto type was wrong; it was the type of the method (with PolyParams if that type is polymorphic), where it should have been the return type instantiated with the local type parameters. We now instantiate the prototype as required. Note the typing of return nodes is a bit more subtle than in scalac, because dotc trees are immutable, so the tree pointed at by the context is of no help - it does not have a return type which we could make use of.
* | | | Merge pull request #301 from dotty-staging/fix/#300-literalsodersky2014-12-172-0/+32
|\ \ \ \ | |/ / / |/| | | Fix #300: Make literals have the same constants as their types.
| * | | Fix Literalize: (Long(2):Any) == (Int(2): Any) but constants aren't.Dmitry Petrashko2014-12-171-1/+1
| | | |
| * | | Check not only value equality of constants in Literalize postcondition but ↵Dmitry Petrashko2014-12-171-3/+4
| | | | | | | | | | | | | | | | also type eqality
| * | | Add checkPostCondition to LiteralizeDmitry Petrashko2014-12-171-0/+17
| | | |
| * | | Fix #300: Make literals have the same constants as their types.Martin Odersky2014-12-172-0/+14
| | | |
* | | | Merge pull request #285 from dotty-staging/fix/catchNonFatalDmitry Petrashko2014-12-1711-17/+32
|\ \ \ \ | |/ / / |/| | | Fix/catch non fatal
| * | | Remove catch-rethrow in DriverDmitry Petrashko2014-12-171-2/+0
| | | |
| * | | Made typedUnApply a hook that has to be overridden in a ReTyper.Martin Odersky2014-12-151-8/+4
| | | | | | | | | | | | | | | | | | | | Change exhibits a problem in the transformers: pattern matching try's do not seem to be handled.
| * | | Replace Throwable catches with NonFatalMartin Odersky2014-12-159-17/+27
| | | | | | | | | | | | | | | | | | | | | | | | Previously, stackoverflows led to infinite loops because the catch immediately threw another stack overflow. Anyway, one should never catch Throwable.
| * | | Add a typedUnApply method.Martin Odersky2014-12-152-0/+11
| | |/ | |/| | | | | | | | | | The method is needed to be able to survive ReTypers between frontend and pattern matching.
* | | Merge pull request #270 from dotty-staging/change/type-aliasesodersky2014-12-1711-147/+144
|\ \ \ | | | | | | | | Change/type aliases
| * | | Get rid of TypeBounds.onAliasMartin Odersky2014-12-103-5/+2
| | | | | | | | | | | | | | | | This was the last bit that tested for the fragile `lo eq hi` condition.
| * | | Revert TypeBounds.real to TypeBounds.applyMartin Odersky2014-12-102-10/+10
| | | | | | | | | | | | | | | | | | | | TypeBounds.real served its purpose: Flushing out all problems with creating TypeBounds.
| * | | Make derivedTypeBounds always create real TypeBounds.Martin Odersky2014-12-101-1/+1
| | | |
| * | | Refactor & and | on TypeBoundsMartin Odersky2014-12-101-20/+23
| | | | | | | | | | | | | | | | | | | | | | | | | | | | Generate Type aliases only when original type(s) were aliases. Also, TypeBounds.real never generates an alias.
| * | | Distinguish calls to create real type bounds from alias type bounds.Martin Odersky2014-12-104-22/+23
| | | | | | | | | | | | | | | | | | | | So far this affects only the calls, both methods are still the same. But their implementation will be changed next.
| * | | Moved derivedTypeAlias method to TypeAliasMartin Odersky2014-12-105-86/+77
| | | |