Commit Graph

262 Commits

Author SHA1 Message Date
Maxim Shafirov 80167437a2 useful formatting options 2011-02-25 14:50:06 +03:00
Andrey Breslav ed60c79099 1. is not a float literal any more 2011-02-24 19:14:18 +03:00
Andrey Breslav 7b71e7a2f2 Loading standard classes from a piece of Jet code. Lazy resolution facilities started 2011-02-24 18:54:10 +03:00
Andrey Breslav bfe22843ce Labels 2011-02-24 16:01:51 +03:00
Andrey Breslav c2c9f51ca8 Basic lookup for unqualified function calls 2011-02-21 18:39:08 +03:00
Andrey Breslav c2c3d92abc Substitutions work in basic cases 2011-02-21 18:13:33 +03:00
Andrey Breslav 0dd7118678 Very simple cases of function resolution are supported 2011-02-21 15:30:55 +03:00
Andrey Breslav 986e703fad Working on overloads. The corresponding test fails. That's allright: the work is not finished yet. 2011-02-16 16:57:12 +03:00
Andrey Breslav 3184d972bf Unneeded separator removed 2011-02-16 16:28:31 +03:00
Andrey Breslav fd3df74c1f Calls with closures parsed to a single node 2011-02-14 22:17:12 +03:00
Andrey Breslav cdb89fa403 Calls with closures parsed to a single node 2011-02-14 16:28:08 +03:00
Andrey Breslav 864428f345 Resolve framework refactored 2011-02-11 17:20:39 +03:00
Andrey Breslav 019fee5cb7 Property resolve with substitutions 2011-02-09 17:32:01 +03:00
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