Commit Graph

1513 Commits

Author SHA1 Message Date
Andrey Breslav a60a512dc9 Out is a soft keyword now 2011-01-26 15:11:04 +03:00
Andrey Breslav ccfccc6645 "lazy" keyword dropped 2011-01-25 22:58:12 +03:00
Andrey Breslav 1206ed2f80 '*'-projections supported in syntax 2011-01-25 22:44:27 +03:00
Andrey Breslav b5ca23fd6c A bit more tests for the basic typechecker 2011-01-25 22:43:47 +03:00
Andrey Breslav 5556946308 NPE in getter fixed 2011-01-25 22:38:48 +03:00
Andrey Breslav 308ab1c4eb Subtyping for type constructor applications with projections 2011-01-25 18:54:26 +03:00
Andrey Breslav 0d63670175 Keyword list fixed 2011-01-25 18:53:44 +03:00
Andrey Breslav ef977e02e4 First typechecker test passed 2011-01-25 17:28:55 +03:00
Andrey Breslav fb48cacf29 Initial stub version of resolve for types 2011-01-25 15:25:53 +03:00
Andrey Breslav 713f95d9d2 Initial stub version of resolve for types 2011-01-25 15:24:12 +03:00
Andrey Breslav 1ce2ed87b5 Initial stub version of resolve for types 2011-01-24 22:10:25 +03:00
Andrey Breslav 62d6ad271a Merge branch 'master' of git.labs.intellij.net:jet 2011-01-24 21:49:13 +03:00
Andrey Breslav 9ef803ee2b Full inspections 2011-01-24 21:48:48 +03:00
Andrey Breslav 2b816e90eb Full inspections 2011-01-24 21:48:01 +03:00
Andrey Breslav 23fec0f24c Wrap user types into JetTypeElements + Support nullable types 2011-01-24 16:05:24 +03:00
Andrey Breslav 113a066e48 Working on the type checker 2011-01-20 19:28:36 +03:00
Andrey Breslav 04aa370fa6 Put type arguments next to the type reference (to make every type and application) 2011-01-18 18:46:28 +03:00
Andrey Breslav 823f4ed6de TODO about whitespace placement 2011-01-18 18:39:56 +03:00
Andrey Breslav c7292cee7b Working on the type model 2011-01-18 17:10:14 +03:00
Andrey Breslav e40769f45b Initial stubs for Psi checker and tests for it 2011-01-14 22:43:44 +03:00
Andrey Breslav 52f985c9a4 Label entries in tuple literals 2011-01-14 22:05:07 +03:00
Andrey Breslav 78cc7fdc0d TODOs 2011-01-14 21:42:48 +03:00
Andrey Breslav 8d83b866a4 Attributes on patterns tested 2011-01-14 21:40:59 +03:00
Andrey Breslav 1b999056b4 Merge branch 'master' of ssh+git://git.labs.intellij.net/jet 2011-01-14 21:36:02 +03:00
Andrey Breslav f4c2a88144 [dummy commit, the previous was for:] Make in, is, as and : same priority 2011-01-14 21:35:48 +03:00
Andrey Breslav f79b56ebf3 [dummy commit, the previous was for:] Make in, is, as and : same priority 2011-01-14 21:34:40 +03:00
Andrey Breslav 7879bec299 Allow type parameters right after fun, val, var 2011-01-14 21:33:23 +03:00
Andrey Breslav 55ca4e8a5a Allow type parameters right after fun, val, var 2011-01-14 21:24:46 +03:00
Andrey Breslav 6cb2747a76 Fix () to be a 0-ary tuple, not empty PARENTHESIZED 2011-01-14 21:14:10 +03:00
Andrey Breslav 97df7d9116 Disable newlines after 'is' etc in when 2011-01-14 20:39:22 +03:00
Andrey Breslav 0d4ce74887 Duplicating code removed 2011-01-14 20:20:41 +03:00
Andrey Breslav 052ed330de Match replaced with when 2011-01-14 20:18:37 +03:00
Andrey Breslav e94102a586 Match replaced with when 2011-01-14 20:16:20 +03:00
Andrey Breslav be73b6319e We decided to behave like C#: parse a type greedily after ':', 'as' and 'is' 2011-01-12 19:37:53 +03:00
Andrey Breslav fa060ffa33 Decomposers removed 2011-01-12 19:29:57 +03:00
Andrey Breslav 04f5db774a Lables: break and continue accept only string literals 2011-01-12 19:29:29 +03:00
Andrey Breslav 06a70a8a40 Lables: break and continue accept only string literals 2011-01-12 19:17:27 +03:00
Andrey Breslav 78b5f0f2b8 Default values for attributes 2011-01-12 19:09:04 +03:00
Andrey Breslav 20e17fd741 cosmetics 2011-01-12 19:08:22 +03:00
Andrey Breslav c1c7aa5202 cosmetics 2011-01-12 19:02:01 +03:00
Andrey Breslav cf9187623b TODO + cosmetics 2011-01-12 19:01:43 +03:00
Andrey Breslav 6bf80cc084 TODO note 2011-01-11 19:50:04 +03:00
Maxim Shafirov 853e612b11 UserType getters re-implemented 2011-01-11 18:09:13 +03:00
Maxim Shafirov dfc03a5f30 User types are parsed hierarchically, i.e. (((java).lang).Object) instead of (java).(lang).(Object) 2011-01-11 18:02:02 +03:00
Maxim Shafirov caf7e80e5f Empty expression removed (wasn't brightest idea anyway). 2011-01-11 17:44:14 +03:00
Maxim Shafirov 7ac9173d14 Validate getters marked as nullable on parse error only return null if there's a parse error. 2011-01-11 02:57:10 +03:00
Maxim Shafirov 6cf565dcf5 Mark getters, that return null only in case of parsing error 2011-01-11 01:18:30 +03:00
Maxim Shafirov 04fbaa26fe Special node for match expression (as its RHS is not an expression) 2011-01-11 00:32:59 +03:00
Maxim Shafirov 5779dc6885 Proper parsing for binary operations with type RHS. 2011-01-11 00:21:11 +03:00
Maxim Shafirov 361201ccc8 Special node type for the nodes, that do not have useful semantics themselves 2011-01-10 23:39:52 +03:00