Commit graph

84 commits

Author SHA1 Message Date
ProgramSnail
3de131623c build fixes 2024-08-09 18:33:07 +03:00
ProgramSnail
61ab01b6fd type check: migrate to executor and task structure 2024-08-09 02:31:52 +03:00
programsnail
9ee8d5c849 start of expression type check reconstruction 2024-07-28 20:29:23 +03:00
programsnail
fefe3a910d type_check_utils: old version of log replaced 2024-07-28 20:19:42 +03:00
programsnail
831cfa36f3 new deps (termcolor, magic enum), log fixes 2024-07-28 18:53:25 +03:00
programsnail
49edbfb60c project structure change 2024-07-20 11:30:05 +03:00
programsnail
0876ce8c76 remove CMake 2024-07-20 10:42:54 +03:00
programsnail
beca0da53a xmake 2024-07-20 10:42:03 +03:00
programsnail
e27cc09b4d build fix 2024-06-30 11:37:30 +03:00
ProgramSnail
7fe9040449 new typecheck start 2024-05-01 22:23:44 +03:00
ProgramSnail
fbe486d25a refactoring, move type storage functctions to .cpp 2024-05-01 16:51:21 +03:00
ProgramSnail
555e69a298 fix 2024-05-01 16:26:48 +03:00
ProgramSnail
f58bfd938c fixes, refactoring (shorter names, visitor) 2024-05-01 16:23:29 +03:00
ProgramSnail
57b1172a4f type check utils: optional error handling, name expression type check part 2024-04-11 22:34:45 +03:00
ProgramSnail
c969dac7cc utils to typecheck name expression, ccls config 2024-04-07 21:45:59 +03:00
programsnail
f688dd99a2 part of name expession type check plan 2024-04-06 14:04:15 +03:00
ProgramSnail
d6a3ce1946 utils functions, expect, ensure, error handling refactoring (string -> string_view), std::source_location 2024-03-11 00:33:53 +03:00
ProgramSnail
5afbaf06ae type check: lambda fixes, name expression part 2024-02-24 00:01:18 +03:00
ProgramSnail
d8ef39b2bd printing fixes, simple type annotations fix, Function and Array type shortcuts removed, '=' in function definition for block/array removed 2024-02-23 16:20:02 +03:00
ProgramSnail
d7f1b6c377 part of constuctor typecheck (constructors for different types) 2024-02-22 21:57:54 +03:00
ProgramSnail
005fb6aaf3 ERROR type, check of passed type, many expected types in Arguments 2024-02-22 18:46:01 +03:00
ProgramSnail
a5fc0c7ee7 type check expressions: type_check_name_expression and type_check_constructor parts 2024-02-20 23:25:51 +03:00
ProgramSnail
ed4b984b81 check_no_pass_type_in_argumets func 2024-02-17 00:11:54 +03:00
ProgramSnail
1a9408c2f6 type check error function 2024-02-16 16:14:25 +03:00
ProgramSnail
61fa3a19a0 typecheck for some expressions 2024-02-16 00:47:40 +03:00
ProgramSnail
070b08dba4 Arguments: change structure, pass in match (v0) 2024-02-12 23:43:43 +03:00
ProgramSnail
cf9311eb8b refactor type check Arguments, add posibility to pass type into arguments 2024-02-12 23:09:42 +03:00
ProgramSnail
0da0c9f6f5 part of match type check 2024-02-07 23:20:45 +03:00
ProgramSnail
63d0335188 fixes, conditions typecheck 2024-02-07 22:45:54 +03:00
ProgramSnail
fe652bc1c2 fixes, name refactoring 2024-01-04 19:29:29 +03:00
ProgramSnail
4f04dd9995 type check utils cpp, part of expressions type check, name tree type/name definitions extraction 2024-01-04 17:06:09 +03:00
ProgramSnail
512d011f72 api improvements, part of expression type checks 2024-01-04 14:30:57 +03:00
ProgramSnail
a2abb598ac type check arguments added 2024-01-04 11:44:48 +03:00
ProgramSnail
3907da619e part of expected type type check process modification: fixes, check function 2024-01-04 00:13:19 +03:00
ProgramSnail
ffa9c47107 es_builtin for type, type utils state fixes 2024-01-03 21:55:24 +03:00
ProgramSnail
f03f77191f RAII context handling for type check state, type proxy comparasion fixes 2024-01-02 23:45:41 +03:00
ProgramSnail
f36ff3638b fixes, part of == for TypeProxy done, cotex enchantments, type chack arguments 2024-01-01 23:58:47 +03:00
ProgramSnail
6dc9c9b5af generate compile_commands.json by default 2023-12-30 15:00:18 +03:00
ProgramSnail
17b409fe51 TypeStorage extensions: generic types, local types 2023-08-14 21:30:06 +03:00
ProgramSnail
fa01d36a84 function type 2023-08-14 18:14:05 +03:00
ProgramSnail
7f3dfd71a1 other symbol for reference types, any references in reference type 2023-08-13 16:19:47 +03:00
ProgramSnail
fe6507ae12 TypeProxy changed to handle modifiers internally 2023-08-13 12:47:32 +03:00
ProgramSnail
5f8d5c5569 literals type check 2023-08-12 22:18:54 +03:00
ProgramSnail
43dfa75b74 change in literals, literal types 2023-08-12 15:55:33 +03:00
ProgramSnail
17ff590048 part of type checker, type heck result type 2023-08-12 14:36:00 +03:00
ProgramSnail
48c9e200be type check, some additions 2023-08-08 20:27:41 +03:00
ProgramSnail
8bce645431 type node added (for type deduction) 2023-08-08 20:21:48 +03:00
ProgramSnail
a7c1e3f658 type structure change, mostly done 2023-08-08 12:48:36 +03:00
ProgramSnail
522dd16f79 type structure change, part done 2023-08-08 10:30:16 +03:00
ProgramSnail
78c696b99a folder structure refactoring 2023-08-02 18:19:11 +03:00