 Sasha Koshka
|
767e7bd33c
|
Fix analyzer tests that used "switch" as function name
|
2024-04-02 02:59:49 -04:00 |
|
Sasha Koshka
|
6c41e71ade
|
Analyzer tests for reserved idents
|
2024-04-02 02:59:42 -04:00 |
|
Sasha Koshka
|
eb2c1c8aed
|
Fixed error message for types in match exprs not being unions
|
2024-03-26 01:12:47 -04:00 |
|
Sasha Koshka
|
4931f97496
|
Switch statement analysis passes tests
|
2024-03-25 19:50:54 -04:00 |
|
Sasha Koshka
|
f3bdfef5c5
|
Add analyzer tests to switch statements
|
2024-03-25 19:49:48 -04:00 |
|
Sasha Koshka
|
a50a5febb9
|
Untested analysis of switch statements
|
2024-03-25 12:08:28 -04:00 |
|
Sasha Koshka
|
6916b3b7b1
|
Analyze match expression default cases
|
2024-03-25 11:29:24 -04:00 |
|
Sasha Koshka
|
3cd3384006
|
Remove the star from array literals
|
2024-03-24 20:31:25 -04:00 |
|
Sasha Koshka
|
c0476f14ae
|
Analyze for loops
|
2024-03-16 13:25:53 -04:00 |
|
Sasha Koshka
|
bb1886ab9c
|
Add tests for for loop analysis
|
2024-03-16 13:23:35 -04:00 |
|
Sasha Koshka
|
197373ee27
|
Add breakable interface
|
2024-03-16 01:43:56 -04:00 |
|
Sasha Koshka
|
f58c01be52
|
Updated analyzer
|
2024-03-14 03:18:46 -04:00 |
|
Sasha Koshka
|
a8fd79991c
|
Renamed restricted access to opaque access
|
2024-03-14 01:54:22 -04:00 |
|
Sasha Koshka
|
a9c85bf017
|
Changed restricted access specified from ~ to #
|
2024-03-14 01:42:19 -04:00 |
|
Sasha Koshka
|
db98e590fc
|
Change interface symbol from ~ to &
|
2024-03-13 23:05:58 -04:00 |
|
Sasha Koshka
|
e0d4be8db8
|
Removed "in" from match statement
|
2024-03-13 22:44:11 -04:00 |
|
Sasha Koshka
|
8607f08093
|
Bool is now an i1
|
2024-03-06 16:46:27 -05:00 |
|
Sasha Koshka
|
6643c92948
|
Break and return can be assigned to anything
|
2024-03-06 15:34:00 -05:00 |
|
Sasha Koshka
|
4df8a45a16
|
Add test cases for #55
|
2024-03-06 15:31:47 -05:00 |
|
Sasha Koshka
|
3d6a258873
|
Rename analyzer's match test file to control flow test
|
2024-03-06 15:21:33 -05:00 |
|
Sasha Koshka
|
bf62730e79
|
One last test
|
2024-03-06 15:16:15 -05:00 |
|
Sasha Koshka
|
e94d438332
|
Use TypesEqual() instead of comparing hashes
|
2024-03-06 14:16:36 -05:00 |
|
Sasha Koshka
|
ef947b8dc6
|
Analyzer lets unions of the same type be assigned to eachother
|
2024-03-06 14:00:37 -05:00 |
|
Sasha Koshka
|
41116e0b13
|
Add union assignment tests to analyzer
|
2024-03-06 13:50:55 -05:00 |
|
Sasha Koshka
|
8ec7929c1e
|
New test TestMatchErrNotUnion
|
2024-03-04 14:22:39 -05:00 |
|
Sasha Koshka
|
fd8a15db66
|
Analyze match expressions
|
2024-03-04 14:19:33 -05:00 |
|
Sasha Koshka
|
2a6778837f
|
Improved match tests
|
2024-03-04 14:09:19 -05:00 |
|
Sasha Koshka
|
ce79e16de7
|
Add some match statement tests
|
2024-03-04 13:34:22 -05:00 |
|
Sasha Koshka
|
cd91f9dc20
|
Add more tests for the union type
|
2024-03-02 12:36:22 -05:00 |
|
Sasha Koshka
|
24268e498e
|
Add some tests for the union type
|
2024-03-02 12:26:16 -05:00 |
|
Sasha Koshka
|
a6dabc27f9
|
The assemble map pattern doesnt work for unions
That entire file needs to be completely rewritten is stg
|
2024-03-02 12:21:28 -05:00 |
|
Sasha Koshka
|
459020126d
|
Add assignment rules for unions
|
2024-03-02 12:12:43 -05:00 |
|
Sasha Koshka
|
3a1d9632dc
|
Analyzer checks uniqueness of types in union by comparing hashes
|
2024-03-02 12:09:49 -05:00 |
|
Sasha Koshka
|
8beb785009
|
And so does analyzer
|
2024-03-02 01:34:16 -05:00 |
|
Sasha Koshka
|
5e93a7afd1
|
TestLiteralReference is now an error test
|
2024-03-01 00:13:32 -05:00 |
|
Sasha Koshka
|
c22ac87cd0
|
Fixed analyzer.isLocationExpression
|
2024-03-01 00:12:21 -05:00 |
|
Sasha Koshka
|
8ae6ea3626
|
Add test case for #46
|
2024-03-01 00:04:15 -05:00 |
|
Sasha Koshka
|
e2d944d534
|
The buge (#47) is vanquished!!!!
|
2024-02-28 19:30:33 -05:00 |
|
Sasha Koshka
|
60ef92bd4c
|
Add test case to analyzer for #47
|
2024-02-28 18:03:15 -05:00 |
|
Sasha Koshka
|
1d90b3c7d7
|
Fix analyzer.Tree.methodExists and clear raw maps
This was too urgent not to continue without
|
2024-02-27 02:24:03 -05:00 |
|
Sasha Koshka
|
23052aa6f0
|
Changed repository import paths
|
2024-02-22 19:22:53 -05:00 |
|
Sasha Koshka
|
ff18aae2b6
|
entity.Key now has an optional method field
|
2024-02-19 12:05:13 -05:00 |
|
Sasha Koshka
|
4166fb8817
|
Move Key to Entity
|
2024-02-19 11:41:36 -05:00 |
|
Sasha Koshka
|
569dd14f59
|
Analyzer does not allow operations on restricted types
|
2024-02-17 00:19:13 -05:00 |
|
Sasha Koshka
|
4b87551702
|
Analyzer does not allow literals to be assigned to restricted types
|
2024-02-17 00:12:32 -05:00 |
|
Sasha Koshka
|
9d009a1f64
|
Analyzer does not allow value casting of restricted types
|
2024-02-16 23:52:52 -05:00 |
|
Sasha Koshka
|
1b92c2cf81
|
Analyzer does not allow subscripting, slicing of restricted types
|
2024-02-16 23:10:38 -05:00 |
|
Sasha Koshka
|
3bc7467c85
|
Add more multi-unit test cases
|
2024-02-16 22:50:29 -05:00 |
|
Sasha Koshka
|
ed282efdb7
|
Analyzer does not allow marking functions/methods as restricted
|
2024-02-16 22:31:38 -05:00 |
|
Sasha Koshka
|
654ba361e2
|
Analyzer does not allow member access on restricted types
|
2024-02-16 22:26:22 -05:00 |