 Andrey Breslav
|
87531929c7
|
Property resolve with substitutions
|
2011-02-09 17:31:18 +03:00 |
|
|
Andrey Breslav
|
725ac373ee
|
Property resolve with substitutions
|
2011-02-09 17:26:11 +03:00 |
|
|
Andrey Breslav
|
c6964220f0
|
Very basic property resolve
|
2011-02-09 15:36:17 +03:00 |
|
|
Andrey Breslav
|
575b5b3ebe
|
Predicate expression, a?b?.f()
|
2011-02-09 14:51:16 +03:00 |
|
|
Andrey Breslav
|
ad61e57646
|
Predicate expression, a?b?.f()
|
2011-02-09 14:48:13 +03:00 |
|
|
Andrey Breslav
|
09b57d6ee1
|
.call() in when
|
2011-02-09 14:15:12 +03:00 |
|
|
Andrey Breslav
|
63fd474cf7
|
.call() in when
|
2011-02-09 14:11:14 +03:00 |
|
|
Andrey Breslav
|
39b4392987
|
Working on resolve for properties
|
2011-02-08 20:22:19 +03:00 |
|
|
Andrey Breslav
|
4818007291
|
New syntax fro patterns
|
2011-02-08 20:21:27 +03:00 |
|
|
Andrey Breslav
|
691c79c477
|
New syntax for patterns
|
2011-02-08 20:20:54 +03:00 |
|
|
Andrey Breslav
|
8314fde439
|
Unused constant removed
|
2011-02-08 16:49:39 +03:00 |
|
|
Andrey Breslav
|
1f28f03cd7
|
Helper method for hasModifier()
|
2011-02-08 16:47:15 +03:00 |
|
|
Andrey Breslav
|
e16e3f4e4b
|
Field names unified with simple names
|
2011-02-08 16:46:36 +03:00 |
|
|
Andrey Breslav
|
ddcd4f63c9
|
This dummy test does not fail any more
|
2011-02-08 16:44:46 +03:00 |
|
|
Andrey Breslav
|
7ec6adec98
|
Basic support for blocks and local variables
|
2011-02-04 17:17:46 +03:00 |
|
|
Andrey Breslav
|
3bda886b64
|
Fixed a bug when parsing expressions like {val a = b;a}
|
2011-02-04 16:19:07 +03:00 |
|
|
Andrey Breslav
|
904a8b21a6
|
Types for function literals
|
2011-02-03 23:11:59 +03:00 |
|
|
Andrey Breslav
|
87ba042005
|
Types for this and loops
|
2011-02-03 18:01:45 +03:00 |
|
|
Andrey Breslav
|
5e93b1bcf7
|
Unused productions removed
|
2011-02-03 17:35:09 +03:00 |
|
|
Andrey Breslav
|
7b15eea98a
|
Typing for try-expression
|
2011-02-03 15:32:12 +03:00 |
|
|
Andrey Breslav
|
2e2c31ea00
|
Typing for When-expressions
|
2011-02-03 15:10:07 +03:00 |
|
|
Andrey Breslav
|
253f5b2d06
|
Tests for common supertype inference
|
2011-02-03 14:30:25 +03:00 |
|
|
Andrey Breslav
|
08c1863981
|
Inferring common supertypes taking projections and bounds into account
|
2011-02-01 17:31:56 +03:00 |
|
|
Andrey Breslav
|
c6a60d8bf6
|
Working on the typechecker: inferring common supertypes taking projections and bounds into account
|
2011-01-31 20:00:17 +03:00 |
|
|
Andrey Breslav
|
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 |
|
|
Andrey Breslav
|
4355bfe8e8
|
Remove remains of match
|
2011-01-27 20:37:52 +03:00 |
|
|
Andrey Breslav
|
7f74b8380f
|
Common supertypes found correctly for simple cases
|
2011-01-27 20:02:23 +03:00 |
|
|
Andrey Breslav
|
90eb9c443b
|
Recovery for expressions. Bug with return inside if fixed
|
2011-01-27 20:01:38 +03:00 |
|
|
Andrey Breslav
|
65cf049e73
|
Types for jump expressions
|
2011-01-27 17:03:52 +03:00 |
|
|
Andrey Breslav
|
991dbd4427
|
A typo fixed
|
2011-01-27 17:02:44 +03:00 |
|
|
Andrey Breslav
|
c7c28ac2e7
|
Nullable and Nothing supported
|
2011-01-27 16:47:22 +03:00 |
|
|
Andrey Breslav
|
820563a283
|
Type infrastructure simplified
|
2011-01-27 16:06:11 +03:00 |
|
|
Andrey Breslav
|
ae854b1e38
|
Subtyping works for parameterized superclasses
|
2011-01-26 22:38:52 +03:00 |
|
|
Andrey Breslav
|
798510b719
|
Contexts added for type parameter resolution. Annotations renamed into attributes for consistency
|
2011-01-26 22:05:59 +03:00 |
|
|
Andrey Breslav
|
d80d3a628d
|
Subtyping tests with projections works
|
2011-01-26 18:49:57 +03:00 |
|
|
Andrey Breslav
|
1a6f7f5f79
|
Basic user type test passes
|
2011-01-26 17:48:02 +03:00 |
|
|
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 |
|