Commit Graph

6770 Commits

Author SHA1 Message Date
Svetlana Isakova b60bb9eb29 added constraint position argument 2012-07-20 19:34:52 +04:00
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