Commit graph

  • 92e1c564e6 basic type unification, fix (gen 2) master ProgramSnail 2024-09-17 00:01:39 +03:00
  • 190046498a basic type unification (gen 2) ProgramSnail 2024-09-16 23:50:23 +03:00
  • 662a846d2d type node refactoring ProgramSnail 2024-09-15 17:24:15 +03:00
  • 361a267054 func name fix, move name expr and constructor type checks to separated files ProgramSnail 2024-09-15 15:02:25 +03:00
  • 00bf9705a9 typecheck refactoring start ProgramSnail 2024-09-13 23:13:44 +03:00
  • 0088f2b4e3 type check minor refactoring, is_scoped fix ProgramSnail 2024-09-13 15:16:45 +03:00
  • 3445a604f7 initial shared executor ProgramSnail 2024-09-12 21:41:33 +03:00
  • 331d97ab48 replace executor, task namespace: utils -> core ProgramSnail 2024-09-12 19:07:22 +03:00
  • 4bf3406892 match builder fix ProgramSnail 2024-09-09 00:09:26 +03:00
  • 7be3722824 Typecheck: build working ProgramSnail 2024-09-08 23:40:51 +03:00
  • 5891066414 Most fixes done, build working (without typecheck fixes, is_scoped proper propogation and executor views) ProgramSnail 2024-09-01 14:19:56 +03:00
  • d02c3a637b [PART] most of builders and nodes changed to use new system ProgramSnail 2024-08-29 14:56:49 +03:00
  • 8f96a818ff arguments -> args ProgramSnail 2024-08-26 21:38:02 +03:00
  • 76bd92e9fb shorter names ProgramSnail 2024-08-25 21:14:05 +03:00
  • edf7db284c new builders fixes, print fix ProgramSnail 2024-08-25 15:41:20 +03:00
  • 3446d599d7 part of statements builders func -> task change dragon 2024-08-16 21:45:45 +03:00
  • cbbf626232 better expr proxy builder task dragon 2024-08-16 21:27:57 +03:00
  • f5856734c6 expression builders: func -> task dragon 2024-08-15 22:25:16 +03:00
  • 49d9a95fd9 base of builders modernization: functions -> tasks dragon 2024-08-15 21:02:18 +03:00
  • d28050ed23 part of new nodes storage implementation dragon 2024-08-15 20:36:55 +03:00
  • 3de131623c build fixes ProgramSnail 2024-08-09 18:33:07 +03:00
  • 61ab01b6fd type check: migrate to executor and task structure ProgramSnail 2024-08-09 02:31:52 +03:00
  • 9ee8d5c849 start of expression type check reconstruction programsnail 2024-07-28 20:29:23 +03:00
  • fefe3a910d type_check_utils: old version of log replaced programsnail 2024-07-28 20:19:42 +03:00
  • 831cfa36f3 new deps (termcolor, magic enum), log fixes programsnail 2024-07-28 18:53:25 +03:00
  • 49edbfb60c project structure change programsnail 2024-07-20 11:30:05 +03:00
  • 0876ce8c76 remove CMake programsnail 2024-07-20 10:42:54 +03:00
  • beca0da53a xmake programsnail 2024-07-20 10:42:03 +03:00
  • e27cc09b4d build fix programsnail 2024-06-30 11:36:33 +03:00
  • 7fe9040449 new typecheck start ProgramSnail 2024-05-01 22:23:44 +03:00
  • fbe486d25a refactoring, move type storage functctions to .cpp ProgramSnail 2024-05-01 16:51:21 +03:00
  • 555e69a298 fix ProgramSnail 2024-05-01 16:26:48 +03:00
  • f58bfd938c fixes, refactoring (shorter names, visitor) ProgramSnail 2024-05-01 14:05:29 +03:00
  • 57b1172a4f type check utils: optional error handling, name expression type check part ProgramSnail 2024-04-11 22:34:45 +03:00
  • c969dac7cc utils to typecheck name expression, ccls config ProgramSnail 2024-04-07 21:45:59 +03:00
  • f688dd99a2 part of name expession type check plan programsnail 2024-04-06 14:04:15 +03:00
  • d6a3ce1946 utils functions, expect, ensure, error handling refactoring (string -> string_view), std::source_location ProgramSnail 2024-03-11 00:33:53 +03:00
  • 5afbaf06ae type check: lambda fixes, name expression part ProgramSnail 2024-02-24 00:01:18 +03:00
  • d8ef39b2bd printing fixes, simple type annotations fix, Function and Array type shortcuts removed, '=' in function definition for block/array removed ProgramSnail 2024-02-23 16:20:02 +03:00
  • d7f1b6c377 part of constuctor typecheck (constructors for different types) ProgramSnail 2024-02-22 21:57:54 +03:00
  • 005fb6aaf3 ERROR type, check of passed type, many expected types in Arguments ProgramSnail 2024-02-22 18:46:01 +03:00
  • a5fc0c7ee7 type check expressions: type_check_name_expression and type_check_constructor parts ProgramSnail 2024-02-20 23:25:51 +03:00
  • ed4b984b81 check_no_pass_type_in_argumets func ProgramSnail 2024-02-17 00:11:54 +03:00
  • 1a9408c2f6 type check error function ProgramSnail 2024-02-16 16:12:22 +03:00
  • 61fa3a19a0 typecheck for some expressions ProgramSnail 2024-02-16 00:47:40 +03:00
  • 070b08dba4 Arguments: change structure, pass in match (v0) ProgramSnail 2024-02-12 23:43:43 +03:00
  • cf9311eb8b refactor type check Arguments, add posibility to pass type into arguments ProgramSnail 2024-02-12 23:09:42 +03:00
  • 0da0c9f6f5 part of match type check ProgramSnail 2024-02-07 23:20:45 +03:00
  • 63d0335188 fixes, conditions typecheck ProgramSnail 2024-02-07 22:45:54 +03:00
  • fe652bc1c2 fixes, name refactoring ProgramSnail 2024-01-04 19:29:29 +03:00
  • 4f04dd9995 type check utils cpp, part of expressions type check, name tree type/name definitions extraction ProgramSnail 2024-01-04 17:06:09 +03:00
  • 512d011f72 api improvements, part of expression type checks ProgramSnail 2024-01-04 14:30:57 +03:00
  • a2abb598ac type check arguments added ProgramSnail 2024-01-04 11:44:48 +03:00
  • 3907da619e part of expected type type check process modification: fixes, check function ProgramSnail 2024-01-04 00:13:19 +03:00
  • ffa9c47107 es_builtin for type, type utils state fixes ProgramSnail 2024-01-03 21:55:24 +03:00
  • f03f77191f RAII context handling for type check state, type proxy comparasion fixes ProgramSnail 2024-01-02 23:45:41 +03:00
  • f36ff3638b fixes, part of == for TypeProxy done, cotex enchantments, type chack arguments ProgramSnail 2024-01-01 23:58:47 +03:00
  • 6dc9c9b5af generate compile_commands.json by default ProgramSnail 2023-12-30 15:00:18 +03:00
  • 17b409fe51 TypeStorage extensions: generic types, local types ProgramSnail 2023-08-14 21:30:06 +03:00
  • fa01d36a84 function type ProgramSnail 2023-08-14 18:14:05 +03:00
  • 7f3dfd71a1 other symbol for reference types, any references in reference type ProgramSnail 2023-08-13 16:19:47 +03:00
  • fe6507ae12 TypeProxy changed to handle modifiers internally ProgramSnail 2023-08-13 12:47:32 +03:00
  • 5f8d5c5569 literals type check ProgramSnail 2023-08-12 22:18:54 +03:00
  • 43dfa75b74 change in literals, literal types ProgramSnail 2023-08-12 15:55:33 +03:00
  • 17ff590048 part of type checker, type heck result type ProgramSnail 2023-08-12 14:36:00 +03:00
  • 48c9e200be type check, some additions ProgramSnail 2023-08-08 20:27:41 +03:00
  • 8bce645431 type node added (for type deduction) ProgramSnail 2023-08-08 20:21:48 +03:00
  • a7c1e3f658 type structure change, mostly done ProgramSnail 2023-08-08 12:48:36 +03:00
  • 522dd16f79 type structure change, part done ProgramSnail 2023-08-08 10:30:16 +03:00
  • 78c696b99a folder structure refactoring ProgramSnail 2023-08-02 18:19:11 +03:00
  • ef88e6af86 types for typecheck, sources manager ProgramSnail 2023-08-02 17:54:39 +03:00
  • 4714a05467 combine functions fixes ProgramSnail 2023-08-02 13:10:16 +03:00
  • 5e70f0015f or references, prining improvements, comments now printed, fixes ProgramSnail 2023-07-31 22:07:32 +03:00
  • 73263193a9 highlighting improvements ProgramSnail 2023-07-31 13:52:31 +03:00
  • bf7fe1f821 highlighting improvements ProgramSnail 2023-07-31 13:52:03 +03:00
  • 195a26f9b7 result / optional return type modifiers for functions (one for all returns) ProgramSnail 2023-07-29 14:48:45 +03:00
  • 68463509d8 or_in or_out references added ProgramSnail 2023-07-29 12:19:37 +03:00
  • fc114ff959 name tree mostly finished ProgramSnail 2023-07-28 19:42:09 +03:00
  • 263b58a17c combine functions for statements part done ProgramSnail 2023-07-28 17:58:45 +03:00
  • 437c9692ec combine functions for statements partially implemented ProgramSnail 2023-07-26 23:17:14 +03:00
  • 6b74398f8c statement node added ProgramSnail 2023-07-26 14:21:33 +03:00
  • b4ce56b5f7 function definition class structure changed, corresponding builders and printers fixes, fixes ProgramSnail 2023-07-26 13:43:14 +03:00
  • 18d7bdf5c1 printing fixes ProgramSnail 2023-07-26 11:13:26 +03:00
  • 469cb3581f printing fixes ProgramSnail 2023-07-25 21:33:57 +03:00
  • 0bb72e0b10 most part of statement printers done ProgramSnail 2023-07-24 23:55:11 +03:00
  • c176d1b11d fixes, part of statement printers done ProgramSnail 2023-07-24 22:50:18 +03:00
  • bf49f4030c fixes, expression printers ProgramSnail 2023-07-24 21:23:18 +03:00
  • 3669084f55 basic printers, type printers, some fixes, part of expression printers ProgramSnail 2023-07-24 18:47:57 +03:00
  • 3914ff7d8b bug fixes, tests passed, result modifier (!) added to function arguments and to types ProgramSnail 2023-07-24 13:01:34 +03:00
  • 4470454838 statement builders finished ProgramSnail 2023-07-23 19:40:27 +03:00
  • 64a91299ff statements builders start ProgramSnail 2023-07-22 19:49:52 +03:00
  • 0e6d4bd67f type builders ProgramSnail 2023-07-22 16:44:32 +03:00
  • 535d8d26c3 expression builders finished, type builders started ProgramSnail 2023-07-22 13:33:33 +03:00
  • 6682e0beb1 doc builders (no annotation check support) ProgramSnail 2023-07-20 22:21:51 +03:00
  • 696a9c3a1a basic node builders ProgramSnail 2023-07-20 14:38:44 +03:00
  • 1b28f41810 fixes for updated grammar ProgramSnail 2023-07-19 11:02:11 +03:00
  • f848c0a1d6 token constants ProgramSnail 2023-07-18 17:28:55 +03:00
  • 4276a966a7 expression nodes finished ProgramSnail 2023-07-18 16:45:35 +03:00
  • 100779d2d4 symbol docs module implemented, part of file tree implemented ProgramSnail 2023-07-17 23:15:12 +03:00
  • b56b72c98e . ProgramSnail 2023-07-16 21:03:16 +03:00