Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fixes and tests for typedIdent | Martin Odersky | 2013-12-10 | 2 | -0/+68 |
| | | | | Fixed a problem where an import and a definition in same scope were erroneously regarded as a conflict (L20 in typedIdents.scala) | ||||
* | Fixes to avoid stale symbols and to avoid methods as pattern constructors. | Martin Odersky | 2013-12-09 | 2 | -1/+21 |
| | |||||
* | Added desugaring for & and | types. | Martin Odersky | 2013-12-09 | 1 | -0/+18 |
| | |||||
* | Fixes to desugaring and typing of parameterized Typedefs | Martin Odersky | 2013-12-09 | 1 | -0/+4 |
| | |||||
* | Fixes to inherited result types in Namer. | Martin Odersky | 2013-12-09 | 2 | -3/+23 |
| | |||||
* | Last fixes to desugar. | Martin Odersky | 2013-12-08 | 1 | -1/+27 |
| | |||||
* | Fixes to desugaring of for-expressions with embedded aliases. | Martin Odersky | 2013-12-08 | 2 | -5/+25 |
| | |||||
* | Better reporting for pattern matching errors. | Martin Odersky | 2013-12-08 | 1 | -2/+6 |
| | |||||
* | Fixes for translation of pattern definitions (PatDef) | Martin Odersky | 2013-12-07 | 1 | -0/+2 |
| | |||||
* | Fixes for desugarings of case classes. | Martin Odersky | 2013-12-07 | 1 | -1/+10 |
| | | | | Also: Standardized on selectorName; Translate $init$ to <init> when unpickling. | ||||
* | Fixing expansion and merge companion defs. | Martin Odersky | 2013-12-06 | 1 | -0/+14 |
| | |||||
* | Fixes to lifting | Martin Odersky | 2013-12-05 | 1 | -0/+30 |
| | | | | Plus more commenting of Desugar | ||||
* | Fixes to named and default arguments. | Martin Odersky | 2013-12-05 | 2 | -0/+46 |
| | | | | Now come with test cases. | ||||
* | Fixes to type applications and unapply. | Martin Odersky | 2013-12-02 | 2 | -0/+28 |
| | |||||
* | Tweaks to applications, operator assignments, and variable definitions. | Martin Odersky | 2013-12-01 | 1 | -0/+28 |
| | |||||
* | Tweaks to adaptation and interpolation | Martin Odersky | 2013-11-15 | 1 | -4/+2 |
| | | | | | | | 1. Needed to interpolate aftyer implicit parameyters are added. 2. Also needed to avoid constraining typevars if compared against selection proto. Original coder example now typechecks. | ||||
* | Tweak to Coder test | Martin Odersky | 2013-11-15 | 1 | -2/+2 |
| | |||||
* | Some configuation parameters | Martin Odersky | 2013-11-14 | 1 | -1/+3 |
| | | | | Caching, plus whether we want to match on signatures or types. | ||||
* | Dealias before add to constraint. | Martin Odersky | 2013-11-10 | 1 | -1/+2 |
| | | | | We need to dealias any bounds before adding it to the constraint because otherwise we might have added a constraint X <: X in disguise. | ||||
* | New tests. | Martin Odersky | 2013-11-09 | 3 | -11/+43 |
| | |||||
* | Fixing inference problem and block scope problem | Martin Odersky | 2013-11-07 | 1 | -10/+34 |
| | | | | | | 1. Typing blocks: forgot to create new scope. Now fixed. 2. The decitsion whether to interpolate a type variable was made based on the type variable's position and the current tree's position. This is too imprecise, because we might have auto-generated trees where all important parts have the same position. We now check for actual tree containment: A type variable can be interpolated for the type of a tree T if T contains the tree which introduced the type variable. | ||||
* | Fallback to old treatement of tuples. | Martin Odersky | 2013-11-04 | 1 | -0/+41 |
| | | | | For interoperability we will keep for the time being the traditional treatment of tuples as instances of Tuple 2… Tuple 22. The new hlist-like treatment will be done in a future step. The flip is controlled by variable "unboxedPairs". | ||||
* | Fixed unpickling of polymorphic constructors. | Martin Odersky | 2013-10-27 | 3 | -1/+5 |
| | | | | Constructors of parameterized classes now get polymorphic types when unpickled, as is the case when defining them or when reading them from a Java classfile. This caused a ripple of other faults which this commit also fixes. | ||||
* | Fixed handling of varargs | Martin Odersky | 2013-10-26 | 1 | -0/+13 |
| | |||||
* | Fixed problem in handing of self types. | Martin Odersky | 2013-10-24 | 1 | -0/+20 |
| | | | | | Self types were not taken into account when doing a typedIdent. The fix in typedIdent caused as CyclicReference when typing the self type itself. This in turn is fixed by distinguishing more carefully in denotNamed in Namer which context we are in. | ||||
* | Flipping the logic to determine type leaks | Martin Odersky | 2013-10-24 | 2 | -0/+16 |
| | |||||
* | New test case: map and filter now seem to work. | Martin Odersky | 2013-10-24 | 1 | -2/+3 |
| | |||||
* | Small cleanups, plus a new test case. | Martin Odersky | 2013-10-24 | 1 | -2/+2 |
| | | | | map on collections now works, including associated CanBuildFrom searches. | ||||
* | Changes to adaptation and local type inference. | Martin Odersky | 2013-10-15 | 1 | -0/+15 |
| | |||||
* | New TypeArgs flag | Martin Odersky | 2013-10-10 | 1 | -19/+0 |
| | |||||
* | Partial revert of "instance flags" commit | Martin Odersky | 2013-10-09 | 1 | -0/+19 |
| | | | | 16c1ddd3bb86c61890418b8394d44486e7bbd9dd | ||||
* | Changed logic for merges in lub/glb | Martin Odersky | 2013-09-30 | 1 | -11/+14 |
| | | | | | | | Now throws an exception for merge conflicts of types joint by |, a warning for types joint by &. Exception is handled as in the case of CyclicRefernce. Also: Added several typerState.checkConsistent for future debugging purposes. | ||||
* | Fixed problem that () was not inserted if method was overloaded. | Martin Odersky | 2013-09-28 | 1 | -1/+1 |
| | |||||
* | Several bug fixes to typer and classfile reader. | Martin Odersky | 2013-09-28 | 1 | -6/+18 |
| | | | | | In particular, changed internal representation of Java constructors and changed treatment of parent constructors in templates. | ||||
* | Added isRef method to determine whether a type is a typeref that refers to a ↵ | Martin Odersky | 2013-09-26 | 2 | -5/+13 |
| | | | | | | | symbol. The alternative (tpe eq sym.typeConstructor) does not work because types are not unique. The alternative (tpe.typeSymbol == sym) does not work because other types than TypeRefs have typeSymbols. | ||||
* | Sereval more bugfixes to typer and type handling. | Martin Odersky | 2013-09-25 | 1 | -1/+7 |
| | | | | Several of these avoided stackoverflows/cyclic references | ||||
* | Bug fixes and improvements in error diagnostics. | Martin Odersky | 2013-09-16 | 1 | -3/+12 |
| | | | | Main refactoring: lub/glb moves to type comparers. | ||||
* | Implemented "two-hop" implicit adaptation. | Martin Odersky | 2013-09-08 | 1 | -1/+1 |
| | | | | | | That is, in a selection qual.name(args), qual can be adapted to obtain a member "name" that matches args. Important to make usage patterns like this one work: 1 + BigInt(x) | ||||
* | Improvements in implicits error reporting | Martin Odersky | 2013-09-06 | 1 | -1/+1 |
| | | | | Plus a few bugfixes for implicits | ||||
* | Several fixes in typer. | Martin Odersky | 2013-09-05 | 2 | -0/+14 |
| | | | | Also updated tests. | ||||
* | More tests and fixes related to inference. | Martin Odersky | 2013-08-30 | 1 | -0/+6 |
| | | | | Main blooper: TypeVars got dereferenced in all Typemaps, so disappeared too quickly from types during inference. | ||||
* | Buf fixing of namer/typer interface. | Martin Odersky | 2013-08-29 | 1 | -0/+9 |
| | | | | Make sure that only expanded trees are passed to functions that require expanded trees. | ||||
* | Fixed bugs related to typechecking closures. | Martin Odersky | 2013-08-27 | 2 | -1/+28 |
| | |||||
* | Fixes in implicit handling | Martin Odersky | 2013-08-23 | 1 | -2/+6 |
| | | | | Plus a new test file: implicits1 | ||||
* | Added some first test files to compile | Martin Odersky | 2013-08-22 | 2 | -0/+40 |