Commit Graph

831 Commits

Author SHA1 Message Date
svtk 0356bd98ec KT-411 Wrong type expected when returning from a function literal 2011-11-09 16:43:29 +04:00
Stepan Koltsov 099725da7f KT-449 class object in inner class must be an error
===
class A {
  class B {
    class object { }
  }
}
===
2011-11-09 16:26:12 +04:00
Stepan Koltsov a6898c7c64 simplify KT-249
for KT-449
2011-11-09 16:26:12 +04:00
Andrey Breslav df79fa2f3d Type checking procedure simplified (dramatically!) 2011-11-09 15:22:35 +03:00
Stepan Koltsov b1df4a0045 KT-419 Strange 'unresolved' bug when using constructor parameters that aren't properties
===
class A(w: Int) {
    var c = w
    {
        c = 17
    }
}
===
2011-11-09 14:51:04 +04:00
svtk 7c05e4b9b4 Merge remote-tracking branch 'origin/master' 2011-11-09 12:22:14 +04:00
svtk 2d6337fe93 KT-456 No check for obligatory return in getters 2011-11-09 12:22:08 +04:00
Alex Tkachman cfc41361ac expressions as functions 2011-11-08 22:45:48 +01:00
svtk 24d663a08f KT-455 Do not repeat errors in definite assignment checks 2011-11-08 17:33:50 +04:00
svtk dfb17a5f0e KT-58 Allow finally around definite returns 2011-11-08 16:25:04 +04:00
Stepan Koltsov f47f462dca KT-418: test for case when safe call on non-null value returns null
1?.somethingReturnNull()

must still yield null
2011-11-08 16:00:22 +04:00
Stepan Koltsov 1f511db31c KT-418 Make 1.?plus(2) have type Int 2011-11-08 15:44:02 +04:00
Stepan Koltsov 35275466bc KT-20 Resolve class objects' contents in the 'static' scope 2011-11-08 14:21:57 +04:00
Alex Tkachman 509ffb2fde refactoring of codegen contexts, and proper this/outer/super/receiver support 2011-11-08 11:11:42 +01:00
Andrey Breslav c57ae34cf0 Assertion failure fixed on fixpoint generics loaded from Java 2011-11-07 20:16:09 +03:00
Andrey Breslav 3e59df95ef IndexOutOfBounds fixed 2011-11-07 20:16:09 +03:00
svtk 7d7d33b2ee KT-443 Write allowed to super.val 2011-11-07 19:49:32 +04:00
svtk 5adbd82557 Merge branch 'master' of ssh://git.labs.intellij.net/jet 2011-11-07 19:47:10 +04:00
Andrey Breslav 2c43bbd210 Merge remote branch 'origin/master' 2011-11-07 19:17:07 +03:00
Andrey Breslav d292b6bcfe KT-193: Guard primary constructor modifier list with a lookahead for LPAR 2011-11-07 19:16:40 +03:00
svtk c71d9796a2 improved processing of local declarations in cfg construction 2011-11-07 18:49:30 +04:00
Alex Tkachman 0b6dffb79b KT-446: wrong String.+= 2011-11-07 11:18:49 +01:00
svtk 01785cf7bd Merge branch 'master' of ssh://git.labs.intellij.net/jet 2011-11-07 13:28:48 +04:00
Alex Tkachman f6deed26d0 enclosed super properties 2011-11-06 13:25:55 +01:00
Stepan Koltsov e1d94d2d0c fix LValueAssignment.jet test (unnecessary wrong overload) 2011-11-06 02:02:50 +04:00
Alex Tkachman 34b5fc3169 refactoring and cleanup 2011-11-05 16:48:35 +01:00
svtk 2feba3345e KT-437 Support assignability checks 2011-11-04 22:54:24 +04:00
svtk e225bf5e93 Merge branch 'master' of ssh://git.labs.intellij.net/jet 2011-11-04 18:58:59 +04:00
svtk 05f1db20ce Changed 'deparenthesize' function to get 'a' from (a: Int) and (@l a) 2011-11-04 18:57:55 +04:00
svtk 639497d7c3 Added 'variable expected' error on assignments 2011-11-04 15:58:46 +04:00
svtk 33fad16fd5 Added dot qualifiers for variable analysis 2011-11-04 15:57:59 +04:00
svtk dfa3783f54 Little fixes 2011-11-04 15:52:11 +04:00
Alex Tkachman 98774400ce initial super.method() 2011-11-04 14:23:26 +01:00
Alex Tkachman df87493e4d initial super.property 2011-11-04 13:11:41 +01:00
Andrey Breslav 2755fb8538 Test for function call with projection type arguments 2011-11-04 14:53:03 +03:00
Andrey Breslav b15af315c4 Tests for errors on literal callees 2011-11-04 14:52:42 +03:00
Andrey Breslav 1d2efea0a4 KT-439 Support labeled function lliterals in call arguments 2011-11-03 22:38:01 +03:00
Andrey Breslav 73292bd4d6 Supporting function literals as selectors 2011-11-03 22:23:26 +03:00
svtk 258419c064 Merge branch 'master' of ssh://git.labs.intellij.net/jet 2011-11-03 21:21:14 +04:00
Stepan Koltsov 019ccae7f6 KT-175: infer nullability in then block from if condition
if (x != null) {
    // x is non-null here
}
2011-11-03 21:12:57 +04:00
svtk 1862cd3a8c Merge branch 'master' of ssh://git.labs.intellij.net/jet 2011-11-03 21:07:48 +04:00
Dmitry Jemerov 84b216b88c pull out code out of KotlinCompiler and into a testable CompileEnvironment; smoke test for CompileEnvironment 2011-11-03 18:07:23 +01:00
svtk 6a16cecce9 cfg analyzing enhancement 2011-11-03 21:03:03 +04:00
Andrey Breslav 95a2afcd19 Support for function-valued expressions 2011-11-03 17:37:24 +03:00
svtk 92a3fef06b Added 'sink' instruction to pseudocode 2011-11-03 18:29:34 +04:00
Alex Tkachman 99d19a2f27 KT-33 2011-11-02 11:41:23 +01:00
svtk 503f1cf94d Merge branch 'master' of ssh://git.labs.intellij.net/jet 2011-11-01 19:12:59 +04:00
svtk 41c9b7e414 Added checks for an initialization of properties using backing fields, not using setters 2011-11-01 18:59:53 +04:00
svtk eab7fdf4bc Added information about anonymous initializers to cfg & proper checks 2011-11-01 18:54:33 +04:00
Andrey Breslav c371bd1ef7 Merge remote branch 'origin/master' 2011-11-01 17:47:56 +03:00