Permalink
Commits on Feb 8, 2013
  1. regenerated tests

    svtk committed Feb 8, 2013
  2. return commit after merge

    'Fixed UnsupportedOperationException when a namespace is used in place of an expression.'
    svtk committed Feb 7, 2013
  3. refactoring after code review

     do not consider error type in parameters of function type as unknown
    svtk committed Feb 7, 2013
  4. rename

     ResolveMode enum to {TOP_LEVEL_CALL, NESTED_CALL}
     completeValueArgumentsInference to completeNestedCallsInference
    svtk committed Feb 7, 2013
  5. small fixes after review

    svtk committed Feb 7, 2013
  6. explicitly invoke callExpressionResolver with NO_EXPECTED_TYPE

     for inner calls
    svtk committed Feb 7, 2013
  7. test improved

    svtk committed Feb 7, 2013
  8. test fixes after refactorings

    expected return type for function literal cannot depend on expected type of outer function
    svtk committed Feb 7, 2013
  9. 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)
    svtk committed Feb 7, 2013
  10. check resulting type for inner call

     while completeValueArgumentsInference
    svtk committed Feb 6, 2013
  11. use 'BasicCallResolutionContext.create' instead of 'toCallResolutionC…

    …ontext'
    
     from ResolutionContext
    svtk committed Feb 6, 2013
  12. rename replace->create method

    svtk committed Feb 7, 2013
  13. render not inferred return/parameter type of function literals as ???

    instead of DONT_CARE / CANT_INFER
    svtk committed Feb 6, 2013
  14. fixed DiagnosticMessageTest

    value arguments order got lost during substitutions
    svtk committed Feb 6, 2013
  15. complete inference for inner calls after resolve&inference of outer c…

    …all finishes
    
    deferredComputationsForArguments stored in ResolvedCallImpl,
    'completeValueArgumentsInference' completes inference for inner calls recursively
    svtk committed Feb 5, 2013
  16. added TypeInfoForCall containing CallCandidateResolutionContext

    (to save context and complete type inference for call later)
    svtk committed Feb 7, 2013
  17. separated addition of constraints for function literals(*) and for ex…

    …pected type
    
      * = which argument types are known
      call with these function literal constraints is cached
    svtk committed Jan 31, 2013
  18. 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
    svtk committed Feb 7, 2013