Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fixes to lifting in eta-expansion | Martin Odersky | 2013-12-11 | 1 | -5/+5 |
| | | | | | 1. Lifted defs should not get expr or singleton types of the lifted value. Need to widen. 2. In op-assignments we need to lift the prefix of the lhs function, not the function itself. | ||||
* | Fixes and tests for typedIdent | Martin Odersky | 2013-12-10 | 2 | -22/+27 |
| | | | | Fixed a problem where an import and a definition in same scope were erroneously regarded as a conflict (L20 in typedIdents.scala) | ||||
* | Fixing a problem with swallowed errors | Martin Odersky | 2013-12-10 | 2 | -3/+15 |
| | | | | | | | The problem was that in FunProto#typedArg we cache typed arguments, to retrieve them later, possibly in a different context (Example: typedArg might be computed during overloading resolution, and then cached copy might be inserted in resolved call. The problem is that any errors, warnings or other diagnostics might be swallowed, if typedArg is computed in a context that is not committed but then re-used in a committed context. The fix is to cache typed arguments only if no diagnostics were issued during their computation. | ||||
* | Fixes to avoid stale symbols and to avoid methods as pattern constructors. | Martin Odersky | 2013-12-09 | 3 | -32/+53 |
| | |||||
* | Fix of error that arose when searching for the companion object of a class ↵ | Martin Odersky | 2013-12-09 | 1 | -1/+1 |
| | | | | with symbolic name. | ||||
* | Added desugaring for & and | types. | Martin Odersky | 2013-12-09 | 3 | -2/+6 |
| | |||||
* | Fixes to desugaring and typing of parameterized Typedefs | Martin Odersky | 2013-12-09 | 2 | -3/+3 |
| | |||||
* | Fixes to inherited result types in Namer. | Martin Odersky | 2013-12-09 | 2 | -12/+13 |
| | |||||
* | Fix to & and | | Martin Odersky | 2013-12-09 | 1 | -4/+8 |
| | | | | | | Previously Any & NoType was NoType, whereas it should be Any Similarly for combinations of Nothing with NoType and also for | | ||||
* | Last fixes to desugar. | Martin Odersky | 2013-12-08 | 1 | -2/+9 |
| | |||||
* | Defensive programming in Applications | Martin Odersky | 2013-12-08 | 1 | -3/+5 |
| | | | | | - now handles the case where names in NamedArgs are wrong - assertion check that default getter is indeed present | ||||
* | Names of created symbols need to be encoded. | Martin Odersky | 2013-12-08 | 1 | -2/+2 |
| | |||||
* | Fix to parsing infix types. | Martin Odersky | 2013-12-08 | 1 | -2/+3 |
| | |||||
* | Making encode stick on <init> | Martin Odersky | 2013-12-08 | 1 | -1/+2 |
| | | | | Previous one was a no-op, because <init> is excluded from Name#encode | ||||
* | Fixes to desugaring of for-expressions with embedded aliases. | Martin Odersky | 2013-12-08 | 1 | -24/+56 |
| | |||||
* | Fix that avoids overzealous function lifting. | Martin Odersky | 2013-12-08 | 1 | -1/+1 |
| | |||||
* | Fixing toText for for expressions. | Martin Odersky | 2013-12-08 | 1 | -1/+6 |
| | | | | Filters did not show the "if" before. | ||||
* | Fixing problem in TypeComparing. | Martin Odersky | 2013-12-08 | 1 | -1/+1 |
| | | | | Have to strip TypeVars so as to not enter them as bounds. | ||||
* | Better reporting for pattern matching errors. | Martin Odersky | 2013-12-08 | 2 | -3/+4 |
| | |||||
* | Fixes to type-checking (_: T) | Martin Odersky | 2013-12-07 | 1 | -9/+17 |
| | | | | Also, widening before computing an annotated type. | ||||
* | Fixes for translation of pattern definitions (PatDef) | Martin Odersky | 2013-12-07 | 1 | -2/+4 |
| | |||||
* | Fixes for desugarings of case classes. | Martin Odersky | 2013-12-07 | 4 | -27/+50 |
| | | | | Also: Standardized on selectorName; Translate $init$ to <init> when unpickling. | ||||
* | Fixing expansion and merge companion defs. | Martin Odersky | 2013-12-06 | 1 | -15/+24 |
| | |||||
* | Dropping TRAIT_CONSTRUCTOR name. | Martin Odersky | 2013-12-06 | 3 | -5/+4 |
| | | | | Trait constructors are now also called <init>. When expanding traits we might want to use IMPLCLASS_CONSTRUCTOR. | ||||
* | Empty type trees in desugarings need a TypeTree(), not an EmptyTree | Martin Odersky | 2013-12-06 | 2 | -4/+6 |
| | |||||
* | Refined printing of module names. | Martin Odersky | 2013-12-06 | 2 | -3/+10 |
| | | | | Previously printing a simple name always suppressed a module class suffix, which led to sometimes confusing output. Now we are more selective where the suffix is suppressed. | ||||
* | Made New(tpt, args) work for parameterized types tpt. | Martin Odersky | 2013-12-06 | 1 | -3/+12 |
| | |||||
* | Fixes to lifting | Martin Odersky | 2013-12-05 | 2 | -4/+35 |
| | | | | Plus more commenting of Desugar | ||||
* | Fixes to named and default arguments. | Martin Odersky | 2013-12-05 | 4 | -55/+64 |
| | | | | Now come with test cases. | ||||
* | Changes to Desugar and Namer. | Martin Odersky | 2013-12-05 | 4 | -40/+74 |
| | | | | In particular: Changed the scheme to represent the types of setter parameters. | ||||
* | Overloading resolution change | Martin Odersky | 2013-12-05 | 1 | -3/+7 |
| | | | | | | | | | | | NarrowMostSpecific does no longer disable implicits. With implicits disabled, the system is unable to prefer def + (x: Int): Int over def + (x: Float): Float | ||||
* | Changing some assertions on isCommittable | Martin Odersky | 2013-12-05 | 3 | -4/+4 |
| | |||||
* | Refactoring test compatible. | Martin Odersky | 2013-12-02 | 2 | -11/+10 |
| | |||||
* | Streamlining isApplicable | Martin Odersky | 2013-12-02 | 2 | -24/+19 |
| | |||||
* | Fixes to type applications and unapply. | Martin Odersky | 2013-12-02 | 6 | -35/+56 |
| | |||||
* | Tweaks to applications, operator assignments, and variable definitions. | Martin Odersky | 2013-12-01 | 6 | -101/+125 |
| | |||||
* | Polishing EtaExpansion | Martin Odersky | 2013-12-01 | 2 | -26/+55 |
| | | | | Some code simplification + a change where non-idempotent Selects in function prefix position are now lifted as a whole (previously, only the prefix was lifted). | ||||
* | Added divergence check for implicit searches | Martin Odersky | 2013-11-30 | 3 | -1/+77 |
| | |||||
* | Tweaking Implicits | Martin Odersky | 2013-11-29 | 2 | -42/+40 |
| | | | | Still to do: catch cycles. | ||||
* | SimpleMap.foreachKey -> foreachBinding | Martin Odersky | 2013-11-29 | 4 | -29/+24 |
| | |||||
* | Tweaks to Inferencing | Martin Odersky | 2013-11-29 | 4 | -132/+178 |
| | | | | Also: Making VarianceMap a SimpleMap for replayability | ||||
* | File name renaming | Martin Odersky | 2013-11-28 | 3 | -4/+1 |
| | | | | Bringing file names tpd/untpd in line with the objects they define. | ||||
* | Using SimpleMap instead of Map for replayability. | Martin Odersky | 2013-11-28 | 1 | -13/+12 |
| | |||||
* | Making substitutions deep type maps that also map parents and self type of a ↵ | Martin Odersky | 2013-11-28 | 2 | -25/+28 |
| | | | | class info. | ||||
* | Refactorings in TypeComparers and elsewhere | Martin Odersky | 2013-11-28 | 3 | -106/+78 |
| | | | | Broke out common functionality in two new methods: widenExpr, and commonVariance. | ||||
* | Tightening (constraint contains param) condition | Martin Odersky | 2013-11-28 | 1 | -1/+1 |
| | |||||
* | Making maps configurable so that they can also go inside parents and self ↵ | Martin Odersky | 2013-11-28 | 1 | -1/+16 |
| | | | | types of ClassInfos. | ||||
* | Hoisting out commonly used values into util.common | Martin Odersky | 2013-11-28 | 6 | -43/+62 |
| | | | | ... because this cuts down on object creations. Also, some polishings in Denotations. | ||||
* | Optimizing signatures | Martin Odersky | 2013-11-27 | 3 | -30/+32 |
| | | | | Interesting signatures are now cached. | ||||
* | Changed Signatures | Martin Odersky | 2013-11-27 | 9 | -79/+116 |
| | | | | Signatures have a different meaning before and after erasure. After erasure, the result type counts also whereas before it doesn't. The new definitions refelect this behavior. |