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