96526603e4
Basic tests for dead code detection
2011-04-13 17:48:51 +04:00
f338f84813
Diagnostics for impossible/useless casts
2011-04-08 16:10:27 +04:00
85f0c03708
Safe casts supported
2011-04-08 15:52:13 +04:00
566f7cd6b5
Conventions for ++/-- support Unit-returning inc/dec functions
2011-04-07 19:51:02 +04:00
53e4c863e7
More tests for return types
2011-04-07 18:09:29 +04:00
f99472e9dd
Tests for return types
...
Transformation for Java boxed types
Lexer fixed for hexadecimal doubles
Longs detected from literals
compareTo with self defined for numbers (working around an unsupported case)
2011-04-07 17:39:40 +04:00
30d8349272
Typechecker logic fixed for one-branch ifs and 'return x' for Unit-returning functions
2011-04-07 14:43:25 +04:00
b621f58a83
Some tests for return types
2011-04-05 16:16:23 +04:00
69a39907e2
Tests fixed
2011-04-04 21:26:52 +04:00
76dc0376e5
Tests for qualified 'this', 'break' and 'continue'
2011-04-01 15:57:59 +04:00
ad7115ce20
Qualified 'this' for classes
2011-03-28 22:45:16 +04:00
73bfc57492
Nullability checks for infix operations
2011-03-28 18:17:57 +04:00
7b7fe4dd60
Unresolved references highlighted in the editor. Resolve test added
2011-03-01 20:24:14 +03:00
9b12696cb3
resolve methods renamed
2011-03-01 12:38:58 +03:00
ddcd4f63c9
This dummy test does not fail any more
2011-02-08 16:44:46 +03:00
e40769f45b
Initial stubs for Psi checker and tests for it
2011-01-14 22:43:44 +03:00
Andrey Breslav