aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
...
| * | 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
| | | |
| * | | Converted some TypeBounds pattern matches to TypeAlias matches.Martin Odersky2014-12-104-15/+13
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Replace all case TypeBounds(lo, hi) if lo eq hi => patterns with case TypeAlias(alias) =>
| * | | TypeAlias unapply accepts only Type AliasesMartin Odersky2014-12-102-4/+6
| | | |
| * | | Create TypeAlias subclass of TypeBouundsMartin Odersky2014-12-104-31/+29
| | | | | | | | | | | | | | | | Specialize hash consing of type aliases.
| * | | Add equality method to TypeBounds.Martin Odersky2014-12-101-0/+7
| | | | | | | | | | | | | | | | | | | | Curiously, was missing before, which meant variance was ignored when hash-consing TypeBounds.
* | | | Merge pull request #296 from dotty-staging/fix/#288-by-name-params-in-mixinsDmitry Petrashko2014-12-163-6/+24
|\ \ \ \ | | | | | | | | | | Fix problem with by name params in mixed in methods.
| * | | | Fix problem with by name params in mixed in methods.Martin Odersky2014-12-163-6/+24
| | |/ / | |/| | | | | | | | | | Erasure choked on them before.
* | | | Merge pull request #299 from dotty-staging/try-handlingDmitry Petrashko2014-12-162-2/+15
|\ \ \ \ | | | | | | | | | | Try handling inside patternmatcher
| * | | | Provide a simple implementation of transformTry for backend.Dmitry Petrashko2014-12-161-1/+14
| | | | | | | | | | | | | | | | | | | | Will need to revisit it later in order to generate faster code.
| * | | | Fix printing of Try nodes with non-empty cases.Dmitry Petrashko2014-12-161-1/+1
|/ / / /
* | | | Merge pull request #294 from samuelgruetter/tests-rewrite-2odersky2014-12-16509-64/+125
|\ \ \ \ | | | | | | | | | | Run rewrite tool on tests (2)
| * | | | move failing tests from tests/untried/pos to tests/pending/posSamuel Gruetter2014-12-16494-0/+0
| | | | |
| * | | | run srewrite version 88d3cd4126d135617a8189f0a855757d7e2ab806 on ↵Samuel Gruetter2014-12-1635-57/+118
| | |_|/ | |/| | | | | | | | | | tests/untried/pos
* | | | Merge pull request #282 from dotty-staging/fix/i0239-package-objectsodersky2014-12-165-9/+46
|\ \ \ \ | |/ / / |/| | | Fix #239 - handling of package objects
| * | | Fix to asSeenFrom for package object membersMartin Odersky2014-12-152-0/+26
| | | | | | | | | | | | | | | | | | | | Like TypeAssigner, asSeenFrom needs to insert a package object if the prefix is a package but the class enclosing the type is not.
| * | | Fix #239 - handling of package objectsMartin Odersky2014-12-133-9/+20
| | | | | | | | | | | | | | | | | | | | | | | | References to `.package` are now also inserted if the accessed member comes from a class inherited by a package object.
* | | | Merge pull request #292 from dotty-staging/fix/#290-type-bindDmitry Petrashko2014-12-164-5/+29
|\ \ \ \ | | | | | | | | | | Fix/#290 type bind
| * | | | Fix typechecking rules for Binds of type trees.Martin Odersky2014-12-153-5/+27
| | | | |
| * | | | Make Bind nodes type trees depending on bound name.Martin Odersky2014-12-151-0/+2
| | |/ / | |/| | | | | | | | | | Bind nodes were always TermTrees, which is wrong.
* | | | Merge pull request #293 from smarter/fix/multiple-refinements-warningDmitry Petrashko2014-12-162-3/+4
|\ \ \ \ | |/ / / |/| | | Avoid spurious warnings about forward references in refinements
| * | | Avoid spurious warnings about forward references in refinementsGuillaume Martres2014-12-162-3/+4
|/ / / | | | | | | | | | | | | | | | | | | | | | The warning was triggered by cases like: class A type F = A { type T = Int; def f: T } Which is treated differently from the following which did not produce a warning: type F = A { type T = Int } { def f: T }
* | | Merge pull request #291 from dotty-staging/fix-transform-bindodersky2014-12-151-2/+2
|\ \ \ | | | | | | | | Fix Bind node contents not being transformed if phase didn't register transformBind.
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-20 13:08:55 +0000