Permalink
Commits on Feb 8, 2013
  1. @svtk
  2. @svtk
  3. @svtk

    regenerated tests

    svtk committed Feb 8, 2013
  4. @svtk
  5. @svtk

    return commit after merge

    'Fixed UnsupportedOperationException when a namespace is used in place of an expression.'
    svtk committed Feb 7, 2013
  6. @svtk

    refactoring after code review

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

    rename

     ResolveMode enum to {TOP_LEVEL_CALL, NESTED_CALL}
     completeValueArgumentsInference to completeNestedCallsInference
    svtk committed Feb 7, 2013
  9. @svtk

    small fixes after review

    svtk committed Feb 7, 2013
  10. @svtk

    explicitly invoke callExpressionResolver with NO_EXPECTED_TYPE

     for inner calls
    svtk committed Feb 7, 2013
  11. @svtk

    test improved

    svtk committed Feb 7, 2013
  12. @svtk

    test fixes after refactorings

    expected return type for function literal cannot depend on expected type of outer function
    svtk committed Feb 7, 2013
  13. @svtk

    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
  14. @svtk
  15. @svtk
  16. @svtk

    check resulting type for inner call

     while completeValueArgumentsInference
    svtk committed Feb 6, 2013
  17. @svtk

    use 'BasicCallResolutionContext.create' instead of 'toCallResolutionC…

    …ontext'
    
     from ResolutionContext
    svtk committed Feb 6, 2013
  18. @svtk
  19. @svtk

    rename replace->create method

    svtk committed Feb 7, 2013
  20. @svtk

    render not inferred return/parameter type of function literals as ???

    instead of DONT_CARE / CANT_INFER
    svtk committed Feb 6, 2013
  21. @svtk

    fixed DiagnosticMessageTest

    value arguments order got lost during substitutions
    svtk committed Feb 6, 2013
  22. @svtk
  23. @svtk

    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
  24. @svtk
  25. @svtk
  26. @svtk
  27. @svtk
  28. @svtk
  29. @svtk
  30. @svtk
  31. @svtk

    added TypeInfoForCall containing CallCandidateResolutionContext

    (to save context and complete type inference for call later)
    svtk committed Feb 7, 2013
  32. @svtk
  33. @svtk

    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
  34. @svtk

    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
  35. @svtk