 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 |
|
|
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 |
|