Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Enable compilation of primitive types. | Martin Odersky | 2015-11-09 | 1 | -12/+10 |
| | |||||
* | Merge pull request #927 from dotty-staging/stdlib-bounds | odersky | 2015-11-09 | 2 | -2/+2 |
|\ | | | | | Drop checking that lower bound is a subtype of upper bound. | ||||
| * | Check bounds of inferred typevars in PostTyper. | Martin Odersky | 2015-11-05 | 1 | -0/+1 |
| | | |||||
| * | Drop neg test | Martin Odersky | 2015-11-05 | 1 | -1/+0 |
| | | |||||
| * | Drop test that lower bound must be a subtype of upper bound. | Martin Odersky | 2015-11-05 | 1 | -2/+1 |
| | | | | | | | | | | | | As discussed in #780 and #525, the test is not needed. This makes t1279a compile, which got moved now to pos. Fixes #780 and #915. It also makes scala.List compile. Review by @smarter. | ||||
* | | Drop neg test | Martin Odersky | 2015-11-05 | 1 | -1/+0 |
| | | |||||
* | | Turn on -language:Scala2 -migration when compiling stdlib | Martin Odersky | 2015-11-05 | 1 | -1/+1 |
| | | | | | | | | needed to turn some errors into warnings. | ||||
* | | Allows Iterator.scala to compile by itself. | Martin Odersky | 2015-11-05 | 1 | -3/+1 |
| | | | | | | | | Fixes #913. | ||||
* | | Handle variance unsoundness in scalac | Martin Odersky | 2015-11-05 | 1 | -0/+2 |
|/ | | | | | | | | | | | | | | | | | The included test pos-special/variances-constr.scala demonstrates an unsoundness in the variance checking of scalac. Scalac excludes symbols owned by constructors from the checking. This is unsound, as can be demonstrated by compiling the test and observing output of the program run: Exception in thread "main" java.lang.ClassCastException: java.lang.Integer cannot be cast to java.lang.String at Test$.main(variances-constr.scala:17) at Test.main(variances-constr.scala) Dotty allows this code only under -language:Scala2 and issues a migration warning. | ||||
* | Merge pull request #900 from dotty-staging/fix-#871 | odersky | 2015-11-05 | 1 | -1/+5 |
|\ | | | | | Deal gracefully with missing return types of abstract menthods. | ||||
| * | Deal gracefully with missing return types of abstract menthods. | Martin Odersky | 2015-11-01 | 1 | -1/+5 |
| | | | | | | | | | | | | | | 1) Better error message: "missing return type" instead of `=' expected. 2) Allow them under language:Scala2 Fixes #871 | ||||
* | | Enable <:< implicits as conversions. | Martin Odersky | 2015-11-03 | 1 | -1/+1 |
| | | | | | | | | | | | | | | | | These were disabled before, which means that having evidence of S <:< T did not introduce a usable implicit conversion from S to T. We do do it like scalac: just disable Predef.$conforms. This makes TraversableOnce compile. Fixes #914. | ||||
* | | Enable compilation of Option.scala | Martin Odersky | 2015-11-02 | 1 | -1/+1 |
| | | |||||
* | | Ouch... remove comment that broke compilation. | Dmitry Petrashko | 2015-11-02 | 1 | -1/+0 |
| | | |||||
* | | Allow empty lines in whitelist file. | Dmitry Petrashko | 2015-11-02 | 1 | -0/+1 |
| | | |||||
* | | Showcase #916 | Dmitry Petrashko | 2015-11-02 | 1 | -3/+7 |
| | | |||||
* | | Showcase #915 | Dmitry Petrashko | 2015-11-02 | 1 | -1/+3 |
| | | |||||
* | | Showcase #914 | Dmitry Petrashko | 2015-11-02 | 1 | -1/+3 |
| | | |||||
* | | Showcase #913 | Dmitry Petrashko | 2015-11-02 | 1 | -1/+4 |
| | | |||||
* | | Showcase #912 | Dmitry Petrashko | 2015-11-02 | 1 | -3/+6 |
| | | |||||
* | | Showcase #911 | Dmitry Petrashko | 2015-11-02 | 1 | -1/+4 |
| | | |||||
* | | Showcase #907 | Dmitry Petrashko | 2015-11-02 | 1 | -0/+4 |
| | | |||||
* | | Showcase #910 | Dmitry Petrashko | 2015-11-02 | 1 | -4/+12 |
| | | |||||
* | | Showcase #909 | Dmitry Petrashko | 2015-11-02 | 1 | -15/+30 |
| | | |||||
* | | Compiling products forces Data races. | Dmitry Petrashko | 2015-11-02 | 1 | -23/+23 |
| | | |||||
* | | Test compiling sodlib | Dmitry Petrashko | 2015-11-02 | 2 | -0/+127 |
| | | |||||
* | | Merge pull request #860 from dotty-staging/change-allow-ex-in-hk | Dmitry Petrashko | 2015-11-02 | 1 | -2/+1 |
|\ \ | |/ |/| | Change allow ex in hk | ||||
| * | Represent references to Scala2 inner classes as WithFixedSym types | Martin Odersky | 2015-10-25 | 1 | -1/+1 |
| | | | | | | | | | | | | | | Reason: An inner Scala2 class might be shadowed by a same-named class in a subtype. In Dotty this is disallowed butin Scala 2 it is possible. For instance, math.Numeric and math.Ordering both have an inner class "Ops". Normal TypeRef types could not select the shadowed class in Ordering is the prefix is of type Numeric. | ||||
| * | Allow existential types in hk types | Martin Odersky | 2015-10-24 | 1 | -1/+0 |
| | | |||||
* | | Merge pull request #896 from dotty-staging/gitignore | odersky | 2015-10-31 | 1 | -0/+2 |
|\ \ | | | | | | | Fix #895: Maintain keep file during bootstrap | ||||
| * | | Fix #895: Maintain keep file during bootstrap | Dmitry Petrashko | 2015-10-31 | 1 | -0/+2 |
| |/ | |||||
* | | Merge pull request #886 from dotty-staging/fix-#884 | Guillaume Martres | 2015-10-30 | 1 | -2/+2 |
|\ \ | | | | | | | Fix #884 - misdiagnosed ambiguous definition. | ||||
| * | | Fix #884 - misdiagnosed ambiguous definition. | Martin Odersky | 2015-10-29 | 1 | -2/+2 |
| |/ | | | | | | | | | Universal equality strikes again. Caused a bug in isDefinedInCurrentUnit. | ||||
* / | Don't count suppressed errors | Martin Odersky | 2015-10-26 | 1 | -2/+3 |
|/ | | | | If an error message was supressed to count it in the total. | ||||
* | Indicate that dotty is being built. | Dmitry Petrashko | 2015-10-23 | 1 | -0/+1 |
| | |||||
* | Add well-formedness checking for created symbols | Martin Odersky | 2015-10-22 | 1 | -0/+3 |
| | | | | Enforces various restrictions of definitions. | ||||
* | Fix tests to survive wellformedness checks | Martin Odersky | 2015-10-22 | 1 | -3/+3 |
| | |||||
* | Quick&dirty bootstrap | Dmitry Petrashko | 2015-10-22 | 1 | -0/+28 |
| | | | | dot script now has -bootstrapped option that will use dotty-compiled-by-dotty. | ||||
* | Merge pull request #821 from dotty-staging/fix-check-simple-kinded | Dmitry Petrashko | 2015-10-20 | 1 | -1/+1 |
|\ | | | | | Check that some types are not higher-kinded. | ||||
| * | Check that some types are not higher-kinded. | Martin Odersky | 2015-10-07 | 1 | -1/+1 |
| | | | | | | | | Invalidates #813. Review by @darkdimius. | ||||
* | | Always fully define the types of lifted expressions | Guillaume Martres | 2015-10-19 | 1 | -0/+1 |
|/ | | | | Fixes #822 | ||||
* | Matching denotations should take infos into account | Martin Odersky | 2015-09-29 | 1 | -2/+1 |
| | | | | | | | | Whenchecking whether two denotations match it is not enough to look at the signatures. The signatures might match (on the parameters) but the actual parametre types might be different. The change always tests infos after signatures, effectively turning the signature test into a pre-filter. | ||||
* | add pos_companions to the suite | Sarunas Valaskevicius | 2015-09-25 | 1 | -0/+1 |
| | |||||
* | Disallow wildcard arguments to higher-kinded types... | Martin Odersky | 2015-09-18 | 1 | -0/+1 |
| | | | | ...unless the HK type can be eta-reduced to a class type. | ||||
* | Add a test that logs the classpath to pinpoint setup failures. | Martin Odersky | 2015-09-18 | 1 | -0/+2 |
| | |||||
* | Merge pull request #767 from dotty-staging/fix-#756-super-accessors | Dmitry Petrashko | 2015-08-28 | 1 | -0/+1 |
|\ | | | | | Fix #756 super accessors | ||||
| * | Fix test when abstract override is needed. | Martin Odersky | 2015-08-21 | 1 | -0/+1 |
| | | | | | | | | | | There was a transcription error from scalac which caused the scope of a `!` to be wrong. | ||||
* | | Make it a syntactic criterion whether a literal is a legal type | Martin Odersky | 2015-08-24 | 1 | -1/+1 |
| | | | | | | | | | | Introduce a new non-terminal "SimpleLiteral". Only SimpleLiterals can be types. | ||||
* | | Test other forms of singleton types. | Martin Odersky | 2015-08-23 | 1 | -1/+1 |
| | | | | | | | | | | Tested are now other numeric values, strings, booleans, which are all legal singleton types. | ||||
* | | Tests of functionality. | Martin Odersky | 2015-08-23 | 1 | -0/+1 |
|/ | | | | | | As the comment in pos/singletons.scala says, we currently test only constant propagation during typer. We should also have a test that literalize produces the literals in the right places. |