This website requires JavaScript.
87531929c7
Property resolve with substitutions
2011-02-09 17:26:11 +03:00
725ac373ee
Property resolve with substitutions
2011-02-09 17:26:11 +03:00
c6964220f0
Very basic property resolve
2011-02-09 15:36:17 +03:00
575b5b3ebe
Predicate expression, a?b?.f()
2011-02-09 14:51:16 +03:00
ad61e57646
Predicate expression, a?b?.f()
2011-02-09 14:48:13 +03:00
09b57d6ee1
.call() in when
2011-02-09 14:11:14 +03:00
63fd474cf7
.call() in when
2011-02-09 14:11:14 +03:00
39b4392987
Working on resolve for properties
2011-02-08 20:22:19 +03:00
4818007291
New syntax fro patterns
2011-02-08 20:21:11 +03:00
691c79c477
New syntax for patterns
2011-02-08 19:27:38 +03:00
8314fde439
Unused constant removed
2011-02-08 16:49:39 +03:00
1f28f03cd7
Helper method for hasModifier()
2011-02-08 16:47:15 +03:00
e16e3f4e4b
Field names unified with simple names
2011-02-08 16:46:36 +03:00
ddcd4f63c9
This dummy test does not fail any more
2011-02-08 16:44:46 +03:00
7ec6adec98
Basic support for blocks and local variables
2011-02-04 17:17:46 +03:00
3bda886b64
Fixed a bug when parsing expressions like {val a = b;a}
2011-02-04 16:19:07 +03:00
904a8b21a6
Types for function literals
2011-02-03 23:11:59 +03:00
87ba042005
Types for this and loops
2011-02-03 18:01:45 +03:00
5e93b1bcf7
Unused productions removed
2011-02-03 17:35:09 +03:00
7b15eea98a
Typing for try-expression
2011-02-03 15:32:12 +03:00
2e2c31ea00
Typing for When-expressions
2011-02-03 15:10:07 +03:00
253f5b2d06
Tests for common supertype inference
2011-02-03 14:30:25 +03:00
08c1863981
Inferring common supertypes taking projections and bounds into account
2011-02-01 17:31:56 +03:00
c6a60d8bf6
Working on the typechecker: inferring common supertypes taking projections and bounds into account
2011-01-31 20:00:17 +03:00
b70fcfb3f6
A little more on common supertype inference. A big change is coming: the parameters must be inferred intelligently (including projection introductions). A few tests are failing: they are checking this non-existent behaviour
2011-01-27 22:36:12 +03:00
4355bfe8e8
Remove remains of match
2011-01-27 20:37:52 +03:00
7f74b8380f
Common supertypes found correctly for simple cases
2011-01-27 20:02:23 +03:00
90eb9c443b
Recovery for expressions. Bug with return inside if fixed
2011-01-27 20:01:38 +03:00
65cf049e73
Types for jump expressions
2011-01-27 17:03:52 +03:00
991dbd4427
A typo fixed
2011-01-27 17:02:44 +03:00
c7c28ac2e7
Nullable and Nothing supported
2011-01-27 16:47:22 +03:00
820563a283
Type infrastructure simplified
2011-01-27 16:06:11 +03:00
ae854b1e38
Subtyping works for parameterized superclasses
2011-01-26 22:38:52 +03:00
798510b719
Contexts added for type parameter resolution. Annotations renamed into attributes for consistency
2011-01-26 22:05:59 +03:00
d80d3a628d
Subtyping tests with projections works
2011-01-26 18:49:57 +03:00
1a6f7f5f79
Basic user type test passes
2011-01-26 17:48:02 +03:00
a60a512dc9
Out is a soft keyword now
2011-01-26 15:11:04 +03:00
ccfccc6645
"lazy" keyword dropped
2011-01-25 22:58:12 +03:00
1206ed2f80
'*'-projections supported in syntax
2011-01-25 22:44:27 +03:00
b5ca23fd6c
A bit more tests for the basic typechecker
2011-01-25 22:43:47 +03:00
5556946308
NPE in getter fixed
2011-01-25 22:38:48 +03:00
308ab1c4eb
Subtyping for type constructor applications with projections
2011-01-25 18:54:26 +03:00
0d63670175
Keyword list fixed
2011-01-25 18:53:44 +03:00
ef977e02e4
First typechecker test passed
2011-01-25 17:28:55 +03:00
fb48cacf29
Initial stub version of resolve for types
2011-01-25 15:25:53 +03:00
713f95d9d2
Initial stub version of resolve for types
2011-01-25 15:24:12 +03:00
1ce2ed87b5
Initial stub version of resolve for types
2011-01-24 22:10:25 +03:00
62d6ad271a
Merge branch 'master' of git.labs.intellij.net:jet
2011-01-24 21:49:13 +03:00
9ef803ee2b
Full inspections
2011-01-24 21:48:01 +03:00
2b816e90eb
Full inspections
2011-01-24 21:48:01 +03:00
23fec0f24c
Wrap user types into JetTypeElements + Support nullable types
2011-01-24 16:05:24 +03:00
113a066e48
Working on the type checker
2011-01-20 19:28:36 +03:00
04aa370fa6
Put type arguments next to the type reference (to make every type and application)
2011-01-18 18:46:28 +03:00
823f4ed6de
TODO about whitespace placement
2011-01-18 18:39:56 +03:00
c7292cee7b
Working on the type model
2011-01-17 23:06:00 +03:00
e40769f45b
Initial stubs for Psi checker and tests for it
2011-01-14 22:43:44 +03:00
52f985c9a4
Label entries in tuple literals
2011-01-14 22:05:07 +03:00
78cc7fdc0d
TODOs
2011-01-14 21:42:48 +03:00
8d83b866a4
Attributes on patterns tested
2011-01-14 21:40:59 +03:00
1b999056b4
Merge branch 'master' of ssh+git://git.labs.intellij.net/jet
2011-01-14 21:36:02 +03:00
f4c2a88144
[dummy commit, the previous was for:] Make in, is, as and : same priority
2011-01-14 21:34:40 +03:00
f79b56ebf3
[dummy commit, the previous was for:] Make in, is, as and : same priority
2011-01-14 21:34:40 +03:00
7879bec299
Allow type parameters right after fun, val, var
2011-01-14 21:33:23 +03:00
55ca4e8a5a
Allow type parameters right after fun, val, var
2011-01-14 21:24:46 +03:00
6cb2747a76
Fix () to be a 0-ary tuple, not empty PARENTHESIZED
2011-01-14 21:14:10 +03:00
97df7d9116
Disable newlines after 'is' etc in when
2011-01-14 20:39:22 +03:00
0d4ce74887
Duplicating code removed
2011-01-14 20:20:41 +03:00
052ed330de
Match replaced with when
2011-01-14 20:18:37 +03:00
e94102a586
Match replaced with when
2011-01-14 20:16:20 +03:00
be73b6319e
We decided to behave like C#: parse a type greedily after ':', 'as' and 'is'
2011-01-12 19:37:53 +03:00
fa060ffa33
Decomposers removed
2011-01-12 19:29:57 +03:00
04f5db774a
Lables: break and continue accept only string literals
2011-01-12 19:29:29 +03:00
06a70a8a40
Lables: break and continue accept only string literals
2011-01-12 19:17:27 +03:00
78b5f0f2b8
Default values for attributes
2011-01-12 19:09:04 +03:00
20e17fd741
cosmetics
2011-01-12 19:08:22 +03:00
c1c7aa5202
cosmetics
2011-01-12 19:02:01 +03:00
cf9187623b
TODO + cosmetics
2011-01-12 19:01:43 +03:00
6bf80cc084
TODO note
2011-01-11 19:50:04 +03:00
853e612b11
UserType getters re-implemented
2011-01-11 18:09:13 +03:00
dfc03a5f30
User types are parsed hierarchically, i.e. (((java).lang).Object) instead of (java).(lang).(Object)
2011-01-11 18:02:02 +03:00
caf7e80e5f
Empty expression removed (wasn't brightest idea anyway).
2011-01-11 17:44:14 +03:00
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
6cf565dcf5
Mark getters, that return null only in case of parsing error
2011-01-11 01:18:30 +03:00
04fbaa26fe
Special node for match expression (as its RHS is not an expression)
2011-01-11 00:32:59 +03:00
5779dc6885
Proper parsing for binary operations with type RHS.
2011-01-11 00:21:11 +03:00
361201ccc8
Special node type for the nodes, that do not have useful semantics themselves
2011-01-10 23:39:52 +03:00
1cf197b3d4
Type nodes
2011-01-10 21:58:55 +03:00
69a19dbd14
function literal node getters
2011-01-10 21:15:44 +03:00
6b2369da4e
RECEIVER_TYPE is redundant (and inconsistent with function declaration)
2011-01-10 18:41:22 +03:00
4b68a6e51a
Additional constraints on type parameters
2011-01-10 18:16:19 +03:00
be0ed2af12
property/accessors
2011-01-10 17:11:41 +03:00
7727f38d0e
type parameter variance and bound
2011-01-10 17:11:30 +03:00
194499c22c
Attribute node getters + cosmetic stuff
2011-01-10 16:33:59 +03:00
2ed012109a
Import directive node getters
2011-01-10 16:10:23 +03:00
47581d5e17
Parameter node getters
2011-01-10 15:50:04 +03:00
a2f1ddbc73
Class initializer
2011-01-10 02:08:26 +03:00
caa5d3cc95
Argument node
2011-01-10 01:56:18 +03:00
5311c7511b
Redundant node removed
2011-01-10 01:51:22 +03:00
673a67b97b
class object, constructor nodes
2011-01-10 01:47:20 +03:00
79de2f21b4
Decomposer node properties
2011-01-09 15:26:07 +03:00
Andrey Breslav