f994c9924f
Move FullJdk tests to boxWithStdlib
2013-02-11 02:01:41 +04:00
d23f82177f
Generate codegen blackbox tests with stdlib
2013-02-11 02:01:40 +04:00
714708eac7
Delete generated test cases, move testData to boxWithStdlib
2013-02-11 02:01:40 +04:00
b311255d96
Extract junit testcase, delete unneeded code
2013-02-11 02:01:40 +04:00
8a605b3884
Codegen tests: move stdlib tests to boxWithStdlib
2013-02-11 02:01:40 +04:00
83b93071d3
Fix over-optimized comparison with null
2013-02-11 02:01:39 +04:00
1670831269
Test fixed after ABI version change
2013-02-10 16:06:30 +04:00
ab79f655a1
ABI version increased due to a change in 1021ec5 "Add Intrinsics.areEqual()"
2013-02-10 15:34:55 +04:00
40df6eafd1
record RESOLVED_CALL to the right trace to be accessible to backend
2013-02-08 18:05:43 +04:00
04a6a1d4a4
make TRACE_STUB throw exceptions instead of silently being used
2013-02-08 16:10:30 +04:00
27d7a159b1
regenerated tests
2013-02-08 15:44:28 +04:00
c42c2e653b
rename hasUnknownTypeParameters -> hasIncompleteTypeParameters
2013-02-08 15:10:43 +04:00
3014275982
return commit after merge
...
'Fixed UnsupportedOperationException when a namespace is used in place of an expression.'
2013-02-08 15:10:43 +04:00
d149218e1d
refactoring after code review
...
do not consider error type in parameters of function type as unknown
2013-02-08 15:10:43 +04:00
cc94c45195
returned method equalsOrContainsAsArgument
2013-02-08 15:10:43 +04:00
ff4a9fdab3
rename
...
ResolveMode enum to {TOP_LEVEL_CALL, NESTED_CALL}
completeValueArgumentsInference to completeNestedCallsInference
2013-02-08 15:10:43 +04:00
c069eedc9b
small fixes after review
2013-02-08 15:10:43 +04:00
4f028e41be
explicitly invoke callExpressionResolver with NO_EXPECTED_TYPE
...
for inner calls
2013-02-08 15:10:43 +04:00
27e6dad307
test improved
2013-02-08 15:10:43 +04:00
db91928984
test fixes after refactorings
...
expected return type for function literal cannot depend on expected type of outer function
2013-02-08 15:10:43 +04:00
ee0628e862
added DEFERRED_COMPUTATION_FOR_CALL
...
- instead of storing deferredComputationsForArguments in ResolvedCall
store it in BindingContext (in DEFERRED_COMPUTATION_FOR_CALL)
-do not repeat computation for the same argument (cache added)
2013-02-08 15:10:43 +04:00
f5df9d7dbf
refactoring: removed unnecessary local variable
2013-02-08 15:10:43 +04:00
fe66161352
rename get*ExtendedTypeInfo -> get*TypeInfoForCall
2013-02-08 15:10:43 +04:00
33de1c31c5
check resulting type for inner call
...
while completeValueArgumentsInference
2013-02-08 15:10:42 +04:00
73816a7ba2
use 'BasicCallResolutionContext.create' instead of 'toCallResolutionContext'
...
from ResolutionContext
2013-02-08 15:10:42 +04:00
f17139ba1e
refactoring: removed unnecessary flag
2013-02-08 15:10:42 +04:00
fe61d51c10
rename replace->create method
2013-02-08 15:10:42 +04:00
d418a16dd8
render not inferred return/parameter type of function literals as ???
...
instead of DONT_CARE / CANT_INFER
2013-02-08 15:10:42 +04:00
1a072e816a
fixed DiagnosticMessageTest
...
value arguments order got lost during substitutions
2013-02-08 15:10:42 +04:00
d447c90b13
added tests for function literals faster resolve
2013-02-08 15:10:42 +04:00
3eee19578a
complete inference for inner calls after resolve&inference of outer call finishes
...
deferredComputationsForArguments stored in ResolvedCallImpl,
'completeValueArgumentsInference' completes inference for inner calls recursively
2013-02-08 15:10:42 +04:00
0d0441ebd8
do not use bounds containing error types to derive result
2013-02-08 15:10:41 +04:00
d09c5c5e5e
save explicitly 'INCOMPLETE_TYPE_INFERENCE' status
2013-02-08 15:10:41 +04:00
3f466e8aac
added 'replaceResolveMode' to CallCandidateResolutionContext
2013-02-08 15:10:41 +04:00
35696f9ca0
added tracing parameter to ResolvedCallImpl
2013-02-08 15:10:41 +04:00
ab9781b85d
extracted class TracingStrategyImpl
2013-02-08 15:10:41 +04:00
4f5af9ab96
added ResolveMode (NORMAL, INTERNAL) to CallResolutionContext
2013-02-08 15:10:41 +04:00
bb003d2b2f
rename ResolveMode to ResolveArgumentsMode
2013-02-08 15:10:41 +04:00
09e4625931
added TypeInfoForCall containing CallCandidateResolutionContext
...
(to save context and complete type inference for call later)
2013-02-08 15:10:41 +04:00
779a79d4d2
removed unused type parameter from CallCandidateResolutionContext
2013-02-08 15:10:41 +04:00
3ef640039b
separated addition of constraints for function literals(*) and for expected type
...
* = which argument types are known
call with these function literal constraints is cached
2013-02-08 15:10:41 +04:00
9b2c666c1f
analyze function literals only if argument types are known
...
(through the first phase of overload resolution)
use intercepting type mismatch trace to backtrace expected type errors
2013-02-08 15:10:41 +04:00
e932b4fa62
moved 'makeTraceInterceptingTypeMismatch' to ExpressionTypingUtils
2013-02-08 15:10:41 +04:00
ecd64e80d8
use CallExpressionResolver directly from ArgumentTypeResolver
2013-02-08 15:10:41 +04:00
9f28764811
do not repeat initialization of candidate call if the context is copied
2013-02-08 15:10:40 +04:00
e8e07ecec1
contexts moved to subpackage
2013-02-08 15:10:40 +04:00
0c07cb70ca
BasicResolutionContext renamed to BasicCallResolutionContext
2013-02-08 15:10:40 +04:00
dcd358bf3a
introduced common supertype for contexts (ResolutionContext)
2013-02-08 15:10:40 +04:00
2d9f147dbc
rename ResolutionContext to CallResolutionContext
...
introduced ResolutionContext (without call)
2013-02-08 15:10:40 +04:00
87a6be6749
rename CallResolutionContext to CallCandidateResolutionContext
2013-02-08 15:10:40 +04:00
Alexander Udalov