aboutsummaryrefslogtreecommitdiff
path: root/tests
Commit message (Collapse)AuthorAgeFilesLines
...
* Better handling of cyclic reference errors.Martin Odersky2013-12-162-0/+18
|
* Negative typer tests.Martin Odersky2013-12-161-0/+41
|
* Checking for double definitions among class definitions.Martin Odersky2013-12-163-24/+28
| | | | | | Also fixes to typedReturn. Adapted tests accordingly.
* Fix to desugaring refinement types.Martin Odersky2013-12-161-1/+32
|
* Fixes related to SAM types.Martin Odersky2013-12-151-2/+1
| | | | | | | 1. Changes to SAMType extractor 2. Self names are no longer members of enclosing class 3. SAM-Type closures now print with their result type. 4. refactoring newSkolemSingleon ==> narrow
* Fixed several deep problems in handling of types and symbols.Martin Odersky2013-12-141-1/+20
| | | | | | | | | 1. We forgot to mark declaration symbols Deferred. 2. Types with NoPrefix and the same name got identified. Fixed by adding a new category WithNoPrefix to named types, and changing the way named types get generated. 3. Self types lacked parameters. (Question: Do we need to also track type members?) 4. Printers caused cyclic reference errors. Now some print operations are more careful with forcing. 5. Namedparts accumulator has to be more careful with ThisTypes. Because self types now contain parameters, which might lead back to this, we only add the class name (or the source module, if it's a module class). 6. toBounds in TypeApplications needs to use Co/Contra aliases for expanded name parameters, not just local ones.
* Fixes to typer.Martin Odersky2013-12-112-0/+48
| | | | | | 1. Got rid if InSuperInit mode bit. 2. Fixes to typing assignments 3. Import qualifiers need to be stable
* Fixes and tests for typedIdentMartin Odersky2013-12-102-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 Odersky2013-12-092-1/+21
|
* Added desugaring for & and | types.Martin Odersky2013-12-091-0/+18
|
* Fixes to desugaring and typing of parameterized TypedefsMartin Odersky2013-12-091-0/+4
|
* Fixes to inherited result types in Namer.Martin Odersky2013-12-092-3/+23
|
* Last fixes to desugar.Martin Odersky2013-12-081-1/+27
|
* Fixes to desugaring of for-expressions with embedded aliases.Martin Odersky2013-12-082-5/+25
|
* Better reporting for pattern matching errors.Martin Odersky2013-12-081-2/+6
|
* Fixes for translation of pattern definitions (PatDef)Martin Odersky2013-12-071-0/+2
|
* Fixes for desugarings of case classes.Martin Odersky2013-12-071-1/+10
| | | | Also: Standardized on selectorName; Translate $init$ to <init> when unpickling.
* Fixing expansion and merge companion defs.Martin Odersky2013-12-061-0/+14
|
* Fixes to liftingMartin Odersky2013-12-051-0/+30
| | | | Plus more commenting of Desugar
* Fixes to named and default arguments.Martin Odersky2013-12-052-0/+46
| | | | Now come with test cases.
* Fixes to type applications and unapply.Martin Odersky2013-12-022-0/+28
|
* Tweaks to applications, operator assignments, and variable definitions.Martin Odersky2013-12-011-0/+28
|
* Tweaks to adaptation and interpolationMartin Odersky2013-11-151-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 testMartin Odersky2013-11-151-2/+2
|
* Some configuation parametersMartin Odersky2013-11-141-1/+3
| | | | Caching, plus whether we want to match on signatures or types.
* Dealias before add to constraint.Martin Odersky2013-11-101-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 Odersky2013-11-093-11/+43
|
* Fixing inference problem and block scope problemMartin Odersky2013-11-071-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 Odersky2013-11-041-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 Odersky2013-10-273-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 varargsMartin Odersky2013-10-261-0/+13
|
* Fixed problem in handing of self types.Martin Odersky2013-10-241-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 leaksMartin Odersky2013-10-242-0/+16
|
* New test case: map and filter now seem to work.Martin Odersky2013-10-241-2/+3
|
* Small cleanups, plus a new test case.Martin Odersky2013-10-241-2/+2
| | | | map on collections now works, including associated CanBuildFrom searches.
* Changes to adaptation and local type inference.Martin Odersky2013-10-151-0/+15
|
* New TypeArgs flagMartin Odersky2013-10-101-19/+0
|
* Partial revert of "instance flags" commitMartin Odersky2013-10-091-0/+19
| | | | 16c1ddd3bb86c61890418b8394d44486e7bbd9dd
* Changed logic for merges in lub/glbMartin Odersky2013-09-301-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 Odersky2013-09-281-1/+1
|
* Several bug fixes to typer and classfile reader.Martin Odersky2013-09-281-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 Odersky2013-09-262-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 Odersky2013-09-251-1/+7
| | | | Several of these avoided stackoverflows/cyclic references
* Bug fixes and improvements in error diagnostics.Martin Odersky2013-09-161-3/+12
| | | | Main refactoring: lub/glb moves to type comparers.
* Implemented "two-hop" implicit adaptation.Martin Odersky2013-09-081-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 reportingMartin Odersky2013-09-061-1/+1
| | | | Plus a few bugfixes for implicits
* Several fixes in typer.Martin Odersky2013-09-052-0/+14
| | | | Also updated tests.
* More tests and fixes related to inference.Martin Odersky2013-08-301-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 Odersky2013-08-291-0/+9
| | | | Make sure that only expanded trees are passed to functions that require expanded trees.
* Fixed bugs related to typechecking closures.Martin Odersky2013-08-272-1/+28
|
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-03 09:35:12 +0000