aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
...
* Refactoring test compatible.Martin Odersky2013-12-022-11/+10
|
* Streamlining isApplicableMartin Odersky2013-12-022-24/+19
|
* Fixes to type applications and unapply.Martin Odersky2013-12-029-36/+86
|
* Tweaks to applications, operator assignments, and variable definitions.Martin Odersky2013-12-018-101/+154
|
* Polishing EtaExpansionMartin Odersky2013-12-012-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 searchesMartin Odersky2013-11-303-1/+77
|
* Tweaking ImplicitsMartin Odersky2013-11-292-42/+40
| | | | Still to do: catch cycles.
* SimpleMap.foreachKey -> foreachBindingMartin Odersky2013-11-294-29/+24
|
* Tweaks to InferencingMartin Odersky2013-11-294-132/+178
| | | | Also: Making VarianceMap a SimpleMap for replayability
* Adapting showClasstests to newly downloaded classpathMartin Odersky2013-11-291-2/+4
|
* File name renamingMartin Odersky2013-11-283-4/+1
| | | | Bringing file names tpd/untpd in line with the objects they define.
* Using SimpleMap instead of Map for replayability.Martin Odersky2013-11-281-13/+12
|
* Making substitutions deep type maps that also map parents and self type of a ↵Martin Odersky2013-11-282-25/+28
| | | | class info.
* Refactorings in TypeComparers and elsewhereMartin Odersky2013-11-283-106/+78
| | | | Broke out common functionality in two new methods: widenExpr, and commonVariance.
* Tightening (constraint contains param) conditionMartin Odersky2013-11-281-1/+1
|
* Making maps configurable so that they can also go inside parents and self ↵Martin Odersky2013-11-281-1/+16
| | | | types of ClassInfos.
* Hoisting out commonly used values into util.commonMartin Odersky2013-11-286-43/+62
| | | | ... because this cuts down on object creations. Also, some polishings in Denotations.
* Optimizing signaturesMartin Odersky2013-11-273-30/+32
| | | | Interesting signatures are now cached.
* Changed SignaturesMartin Odersky2013-11-279-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.
* More posishings of SymDenots/Denotations.Martin Odersky2013-11-265-49/+47
| | | | | | | In particular - closed a loophole where we did not go through parentDenot in ClassDenotation. - fused some of the predenotation ops used in computeMemberNames
* Dropping the Expanded when computing type parameter variances.Martin Odersky2013-11-254-22/+11
| | | | Did not look like it was needed, after all; Local alone is enough.
* Tweaks to SymDenotationsMartin Odersky2013-11-251-37/+48
|
* Final set of Types tweaksMartin Odersky2013-11-253-17/+14
| | | | - make namedParts return an ordered collection.
* More Types polishingsMartin Odersky2013-11-252-121/+137
| | | | In paricular, now type accumulators include the prefix of a ClassInfo type.
* Cleanup of TermRef.withSym and TypeRef.withSymMartin Odersky2013-11-2511-31/+27
| | | | All occurrences replaced by select, or second version of Term/TypeRef.apply
* Getting rid of UnknownSignatureMartin Odersky2013-11-252-29/+21
| | | | I believe the logic is now clearer. Good to have one magic value less.
* More Types polishingMartin Odersky2013-11-252-58/+31
|
* Types refactoringsMartin Odersky2013-11-257-388/+414
| | | | | | - moving out type applicaton related operations to a decorator: TypeApplications - converting some set operations to list operations to make them replayable. - moving unused operations to Types.overflow
* Cleanup of named type creation from SymDenotations.Martin Odersky2013-11-2313-57/+58
| | | | | | | | | New operations: - typeRef - termRef - valRef (like termRef, but with NotAMethod signature) - termRefWithSig (like termRef, but with denotation's signature)
* Renaming: typeConstructor -> typeRefMartin Odersky2013-11-2221-192/+191
|
* More tweaks to TypesMartin Odersky2013-11-221-74/+74
|
* Tweaks to SimpleMapMartin Odersky2013-11-221-62/+94
| | | | Now uses a custom representation for sizes 4 and over. This improves on the previous representation in terms of immutable.Map because it is more efficient for smaller sizes and keeps orderedness. Being ordered is important for making things replayable.
* Dropping cinsistency checking logic from typerstates.Martin Odersky2013-11-224-79/+32
| | | | Because of the new typerstate design, we can enforce most invariants by design, or in a purely local manner. We can therefore drop the checkConsistent checks and replace them with much more lightweight assertions that make sure that only committable states are committed and only committable states can create typevars.
* Consolidation of TyperState and ConstraintMartin Odersky2013-11-216-106/+148
| | | | Removing undetVars and instTypes as separately assignable fields. This is better for maintaining invariants by design.
* Better encapsulation for constraints.Martin Odersky2013-11-203-40/+44
| | | | The fact that constraints are maps from PolyTypes to Array[Type] is now hidden form the restr of the program (Or, almost; unfortunately value classes force us to expose the parameter, but we renamed it to a name which is typically used for private data).
* Splitting constraint.appky into at, bounds, contains.Martin Odersky2013-11-204-11/+16
| | | | Motivation: Keep usages separate, prepare for larger constraint refactoring.
* More tweaksMartin Odersky2013-11-204-6/+13
|
* Added unit testing supportMartin Odersky2013-11-1812-108/+106
|
* Various cleanupsMartin Odersky2013-11-186-55/+44
|
* Changing some TermRef's to selectsMartin Odersky2013-11-161-4/+4
|
* Converting most uses of NamedType to select.Martin Odersky2013-11-158-39/+48
| | | | | Select reduces refinetype/typeref pairs and is therefore preferable over raw NamedType. Still need to do the same for TypeRefs.
* Formign lubs over widened types only.Martin Odersky2013-11-151-1/+6
| | | | To avoid noisy lubs such as Int(1) | Int(2) | Int(3), we impose the rule that A | B is valid only if A and B are non-singleton, widened types. This also maps Nil | Cons automatically to List, and maps None | Option automatically to Some.
* Tweaks to adaptation and interpolationMartin Odersky2013-11-157-21/+27
| | | | | | | 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-152-3/+3
|
* Made stripTypeVar idempotentMartin Odersky2013-11-151-4/+9
| | | | The unstated assumption everywhere was that stripTypeVar would get rid of TypeVars. But it didn't if we had a TypeVar isntantiated to a TypeVar. Now it follows through chains of TypeVars.
* making all internal errors throw exceptions (for now).Martin Odersky2013-11-142-2/+2
| | | | Better for now, since we do not want them do be hidden when testing / debugging the compiler.
* derivedNamedType -> derivedSelectMartin Odersky2013-11-143-12/+17
| | | | Performing refined/typeref reduction everywhere
* Providing for new match scheme.Martin Odersky2013-11-141-8/+9
| | | | See doc comment for Config.newMatch what this is about,
* Making as seenfrom reduce types.Martin Odersky2013-11-142-32/+22
| | | | Adding operattions select, derivedSelect which reduce combinations of typerefs over refinement types.
* Some configuation parametersMartin Odersky2013-11-148-32/+50
| | | | Caching, plus whether we want to match on signatures or types.
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-01 02:48:53 +0000