Commit Graph

463 Commits

Author SHA1 Message Date
Andrey Breslav 2e45307082 Two tests fixed 2011-09-05 19:58:59 +04:00
Andrey Breslav b632fc31d9 Tests fixed, and error messages a little 2011-09-05 19:35:31 +04:00
Andrey Breslav 9223875977 Overrides do not collide in resolution any more 2011-09-05 19:08:07 +04:00
Andrey Breslav 6aa2b37d15 KT-48 test fixed 2011-09-05 18:35:18 +04:00
Andrey Breslav 5d2672f29a Merge remote branch 'origin/master'
Conflicts:
	idea/src/org/jetbrains/jet/codegen/ImplementationBodyCodegen.java
	idea/src/org/jetbrains/jet/lang/types/JetTypeInferrer.java
2011-09-05 18:15:43 +04:00
Alex Tkachman a8a438ffd3 fix for KT-48 2011-09-05 13:47:54 +02:00
Alex Tkachman eb82967860 fix for KT-277 2011-09-05 10:25:25 +02:00
Alex Tkachman 232fc89cca fix for KT-80 2011-09-05 08:18:51 +02:00
Alex Tkachman 58765f2364 fix for KT-237. Unit as value part 2011-09-04 16:27:54 +02:00
Alex Tkachman 22e2caf7f8 fix for KT-237 2011-09-04 14:20:40 +02:00
Alex Tkachman 9ba167ee8d fix KT-249/KT-255 2011-09-03 22:52:12 +02:00
Alex Tkachman 07b2ab347d more tests for for- 2011-09-03 17:09:49 +02:00
Alex Tkachman c20a39dbd8 more tests for for- 2011-09-03 13:39:28 +02:00
Alex Tkachman 672756e459 fix for KT-241 2011-09-03 12:02:42 +02:00
Andrey Breslav 324922506c Little corrections 2011-09-02 17:33:37 +04:00
Andrey Breslav 6954977350 Merge remote branch 'origin/master'
Conflicts:
	idea/src/org/jetbrains/jet/lang/resolve/BindingContext.java
	idea/src/org/jetbrains/jet/lang/types/JetTypeInferrer.java
2011-09-02 13:26:38 +04:00
Alex Tkachman 47222c7474 fix for KT-257 2011-09-01 16:45:40 +02:00
Alex Tkachman 475b15aaca fixes bugs in TypeInfo 2011-09-01 14:01:05 +02:00
Alex Tkachman 9e9959f953 fix for for KT-259 2011-08-31 23:15:00 +02:00
Andrey Breslav 57fcf53e3a Tests fixed 2011-08-31 22:29:23 +04:00
Andrey Breslav ec31f991c0 1 as Byte typechecks fine 2011-08-31 22:02:05 +04:00
Alex Tkachman 60d8ada216 added test for KT-248 2011-08-31 19:16:07 +02:00
Alex Tkachman 6fcd36f9bd added test for KT-243 2011-08-31 17:42:12 +02:00
Alex Tkachman 628f5a5232 added test for KT-238 2011-08-31 15:53:54 +02:00
Alex Tkachman 778ba44c64 added test for KT-232 2011-08-31 14:16:09 +02:00
Alex Tkachman 38146e1600 added test for KT-239 2011-08-31 14:06:53 +02:00
Alex Tkachman 13ca1ea274 added test for KT-242 2011-08-31 13:58:26 +02:00
Alex Tkachman d6a9e89175 fix for KT-245 2011-08-31 13:00:14 +02:00
svtk bda26a18ff little fixes 2011-08-31 14:49:42 +04:00
svtk 6bbcc281ce tests for variance added; little fixes 2011-08-31 14:43:23 +04:00
Alex Tkachman 960aa59822 fix for KT-247 2011-08-31 12:04:07 +02:00
Andrey Breslav 2a67c4a591 Test data fixed
Useless code removed
Some naming refactored
2011-08-30 20:20:43 +04:00
Alex Tkachman 1b8f96e53c fix for KT-261 2011-08-30 16:32:41 +02:00
Andrey Breslav a469526180 preferBlock removed from JetTypeInferrer 2011-08-29 21:43:48 +04:00
Andrey Breslav 829910f2c2 Ambiguities not reported when some types were not obtained (i.e. there are errors in the argument list) 2011-08-29 15:26:34 +04:00
Andrey Breslav d38fbbe2c6 Array access as LValue resolution fixed 2011-08-26 21:40:37 +04:00
Andrey Breslav 6f410eace1 Tests fixed 2011-08-26 21:39:31 +04:00
Andrey Breslav 86e8142e3c Working on type inference for function literals 2011-08-26 17:51:15 +04:00
svtk 53134d54e4 Merge branch 'master' of ssh://git.labs.intellij.net/jet 2011-08-23 12:50:14 +04:00
svtk 847c727ad0 bug with automatically casting mutable variables (KT-228) fixed 2011-08-23 11:44:56 +04:00
svtk 3f4f0c8737 bug with incorrect merge of data flow info (KT-104) fixed 2011-08-22 19:12:22 +04:00
Andrey Breslav 4571d94c82 BindingTrace & Context refactored to heterogeneous containers 2011-08-22 14:43:59 +04:00
svtk 9ebffafd89 added expected type for assignment and elvis operator
changed return type for safe operator (now it works as a?.b is Nullable type, constructions like a?.b.c need another parsing)
2011-08-17 12:21:26 +04:00
svtk 57db9b076a added visitor with type parameters (TypeInferrerVisitor now implements it);
added expected type (pass it down the psi tree);
added information about is-checks to type enrichment
2011-08-16 15:52:56 +04:00
svtk ad5e3abbb4 Merge branch 'master' of ssh://git.labs.intellij.net/jet 2011-08-05 17:51:24 +04:00
svtk 671b8913ed frontend bugs fixed:
fun f(): Int = "s" //was ok
  fun g(): Int { if (1 < 2) {} else {} }//was ok
  fun h(): Int { val a = 1 } //was ok
2011-08-05 17:43:32 +04:00
Andrey Breslav 4c8aec3b1b Compile-time constants 2011-08-03 14:05:07 +04:00
Dmitry Jemerov a230d1a802 expected parser output 2011-07-27 18:31:42 +02:00
Dmitry Jemerov 3592aff812 methods on objects should always be called via invokevirtual() and not invokeinterface() 2011-07-15 16:31:00 +02:00
Dmitry Jemerov 8b1118f907 support augmented assignment when ordinary binary operation method is overloaded 2011-07-14 20:36:15 +02:00