Commit Graph

6769 Commits

Author SHA1 Message Date
Svetlana Isakova 31e5e9e9ef 'typeInferenceFailed' method removed from TracingStrategy
(it might be reported at the end of resolution process, when there is no tracing)
2012-07-20 19:34:52 +04:00
Svetlana Isakova 62d5855d74 ConstraintSystem interface enhancement
to be used by error reporting
2012-07-20 19:34:52 +04:00
Svetlana Isakova d7de3973d9 type inference errors report changed 2012-07-20 19:34:52 +04:00
Svetlana Isakova 73c1db571c added ConstraintPosition
for accurate error reporting
2012-07-20 19:34:52 +04:00
Svetlana Isakova e1da9161a3 added InferenceErrorData class
to provide information to renderers about type inference errors
2012-07-20 19:34:52 +04:00
Svetlana Isakova 58824fb38b added more specialized errors than type inference error 2012-07-20 19:34:52 +04:00
Svetlana Isakova 42d9e3cbf9 ide renderers were moved to separate class 2012-07-20 19:34:51 +04:00
Svetlana Isakova eb82eba121 tests for type inference
#KT-1800 fixed
 #KT-1029 fixed
 #KT-1031 fixed
 #KT-1558 fixed
 #KT-1944 fixed
 #KT-2179 fixed
 #KT-2294 fixed
 #KT-2320 fixed
 #KT-2324 fixed
2012-07-20 19:34:51 +04:00
Svetlana Isakova e77cc82afd new constraint system instead of old is used 2012-07-20 19:34:51 +04:00
Svetlana Isakova 1df826093a type inference error shouldn't influence on coercion to Unit 2012-07-20 19:34:51 +04:00
Svetlana Isakova b2923f1ed0 not to report errors if expected type is DONT_CARE 2012-07-20 19:34:51 +04:00
Svetlana Isakova 1c682a648a TYPE_INFERENCE_UPPER_BOUND_VIOLATED error added 2012-07-20 19:34:51 +04:00
Svetlana Isakova 7c88a70c51 'hasUnknownTypeParameters' method added
to detect 'DIRTY' status
2012-07-20 19:34:51 +04:00
Svetlana Isakova 7696b1cb7c TYPE_INFERENCE_ERROR resolution status added
if type inference failed, we don't want to return type with unsubstituted type parameters (like List<T>),
so in this case we return error type
2012-07-20 19:34:51 +04:00
Svetlana Isakova 2eece73df9 'DIRTY' resolution result code added
it means there are some candidates with unknown type parameters that need inference completion
2012-07-20 19:34:51 +04:00
Svetlana Isakova e89a09f470 'isFunctionLiteralWithoutDeclaredParameterTypes' added
such literals are analyzed at the end of inference without initial influence on the constraint system
2012-07-20 19:34:51 +04:00
Svetlana Isakova f270f9e90a inference using new constraint system
final type parameters inference and substitution are made after expected type is known (should be redone with caches for performance)
2012-07-20 19:34:51 +04:00
Svetlana Isakova 83ec7d9c68 old constraint system is not removed for a while 2012-07-20 19:34:51 +04:00
Svetlana Isakova 2193a2f7c1 new constraint system for type inference added 2012-07-20 19:34:51 +04:00
Andrey Breslav bc6c8e980e Module scripts are compiled in an environment with JDK & Annotations 2012-07-20 19:29:46 +04:00
Pavel V. Talanov 39edcda317 KT-2227 Call to toString missing when interpolating string literal.
Test only.

 #KT-2227
2012-07-20 18:57:37 +04:00
Pavel V. Talanov d3933bcc3f KT-2370: foo.equals(bar) doesn't compile in JS.
Only test.

  #KT-2370
2012-07-20 18:50:32 +04:00
Pavel V. Talanov f861b69d7a Deal with cases when different visibility of overridden members could produce incorrect fake override.
(by Pavel Talanov and Andrey Breslav)
2012-07-20 18:31:05 +04:00
Pavel V. Talanov d65b6bc69f KT-2472: Wrong "multiple implementations inherited" diagnostics for JFrame.
Check whether member is visible when creating fake overrides.

 #KT-2472 Fixed
2012-07-20 18:29:52 +04:00
Pavel V. Talanov d262d06f2d Test for KT-2472. 2012-07-20 18:29:51 +04:00
Pavel V. Talanov b51306391f Refactor AbstractReadJavaBinaryClassTest.
Move compileJava to LoadJavaDescriptorUtil.
2012-07-20 18:29:50 +04:00
Alex Tkachman e11e74142a Merge pull request #105 from udalov/kt2457-be
KT-2457 Verify error when comparing not null value with null in when
2012-07-20 06:51:58 -07:00
Alexander Udalov 2ac70ee35f KT-2457 Verify error when comparing not null value with null in when
backend-side changes
2012-07-20 17:43:38 +04:00
Nikolay Krasko fa7ad96a4e Test parent scope completion in local object declaration 2012-07-20 16:28:02 +04:00
Nikolay Krasko 578474011b Small Refactoring 2012-07-20 16:28:01 +04:00
James Strachan a2184526d8 added a Node.clear() helper method so they can be cleared like collections 2012-07-20 12:12:45 +01:00
Andrey Breslav 2a3ffed228 LR: Newly passed test data added 2012-07-20 14:19:58 +04:00
Andrey Breslav 2ee587d6c2 Overly exigent asserion removed 2012-07-20 14:19:58 +04:00
Pavel V. Talanov 8b5b2ce631 Seemingly more appropriate logic in BuiltinScopeExtensionMode. 2012-07-20 14:18:42 +04:00
Pavel V. Talanov 0b4499a4b7 For with Int#downto, Int#upto do not iterate on empty ranges. 2012-07-20 14:18:41 +04:00
Pavel V. Talanov 8eb0fb31ca Int#downto 2012-07-20 14:18:40 +04:00
Pavel V. Talanov ad94786555 Int#upto 2012-07-20 14:18:39 +04:00
Andrey Breslav ecf5f8228c Test data for newly passing tests 2012-07-20 11:50:04 +04:00
Andrey Breslav 9f6c79bccc Meaningful message 2012-07-20 11:50:04 +04:00
James Strachan 37b30ecb87 updated docs with links to the JS code and forum 2012-07-20 08:40:39 +01:00
James Strachan 22f24906dd fixed build 2012-07-20 08:33:33 +01:00
James Strachan 0bcb14e6da added a contributing section 2012-07-20 09:29:54 +02:00
James Strachan 9784e2a768 fixed build 2012-07-20 08:24:13 +01:00
James Strachan fbee1a8135 renamed to avoid confusion with other MapTest in QUnit 2012-07-20 07:15:43 +01:00
James Strachan 3ef4ff690c avoid failure on equals() call passing in null/undefined and updated the issues for failing JS unit tests 2012-07-20 07:14:20 +01:00
James Strachan 14abbc9e5f added better description of why MapTest is excluded 2012-07-19 21:43:00 +01:00
James Strachan 91c03f0d90 added AbstractCollection base class and equals/toString to HashSet 2012-07-19 21:37:39 +01:00
James Strachan 8f76eef440 updated on latest excluded JS tests 2012-07-19 21:37:27 +01:00
James Strachan e8ddeca248 got more test cases working in JS in a web browser; not sure why lots fail in selenium in JUnit 2012-07-19 21:35:22 +01:00
James Strachan 4f5e2227b4 upgraded to latest selenium 2012-07-19 21:34:13 +01:00