HEL/midas
1
0 Fork 0
Code Issues Pull Requests Actions Releases 3 Activity

Commit Graph

  • 657406ea01 feat(gen): handle predicate aliases HEL 2026-06-19 14:05:34 +02:00
  • 2974386110 fix(parser): fix call expr location span HEL 2026-06-19 13:57:49 +02:00
  • 92ca6b6732 feat(types): detect constraint base subtyping HEL 2026-06-19 13:57:21 +02:00
  • 6aacdb98b7 feat(checker): type check predicate body HEL 2026-06-19 13:55:32 +02:00
  • 1b100b6ceb fix(gen): remove id from named predicate function HEL 2026-06-19 10:15:09 +02:00
  • 6b4c7d27bc fix(tests): update generator tester HEL 2026-06-18 22:49:08 +02:00
  • 2523d638f7 feat(gen): generate predicate functions HEL 2026-06-18 22:48:10 +02:00
  • 5fc7461e29 feat(gen): generate basic constraint assertion HEL 2026-06-18 13:19:17 +02:00
  • c5154bde81 feat(types): add ConstraintType HEL 2026-06-18 12:52:39 +02:00
  • d07e8ac0ca refactor: ensure exhaustiveness in some match/case HEL 2026-06-18 12:51:28 +02:00
  • 3380995082 tests: update with new predicate AST representation HEL 2026-06-18 12:43:24 +02:00
  • 7efc44c496 fix(tests): correctly serialize param name HEL 2026-06-18 12:43:02 +02:00
  • ca94443699 feat(midas): generalize param spec of predicate and parse HEL 2026-06-18 12:38:24 +02:00
  • c513a85cf2 feat(midas): add CallExpr HEL 2026-06-18 12:34:29 +02:00
  • 2a106c5d07 refactor: add param spec for FunctionType HEL 2026-06-18 11:06:02 +02:00
  • 9672dfd588 Merge pull request 'Update README' (#14) from fix/update-readme into main HEL 2026-06-19 13:25:09 +00:00
  • 7639ccc94d chore: update README with new commands HEL 2026-06-19 15:23:49 +02:00
  • a4a2ed5d64 Merge pull request 'Dictionaries' (#13) from feat/dictionaries into main HEL 2026-06-16 18:42:12 +00:00
  • e5cb90aff6 fix(checker): make builtin type constructor parameter optional HEL 2026-06-16 20:40:48 +02:00
  • 75f8e4af53 feat(checker): type check dictionaries HEL 2026-06-16 20:40:10 +02:00
  • 42c2d7a098 feat(parser): add dictionary expression HEL 2026-06-16 20:35:39 +02:00
  • 5ce3b4abed Merge pull request 'Cast assertions and generator tests' (#12) from feat/cast-assertions into main HEL 2026-06-16 12:57:49 +00:00
  • 2a8b7d559c tests: add simple gen test HEL 2026-06-16 14:36:06 +02:00
  • da38cad23d feat(tests): add generator tester HEL 2026-06-16 14:35:52 +02:00
  • 591012d059 fix(checker): allow calling AppliedType and UnknownType HEL 2026-06-16 14:04:20 +02:00
  • 4b1087d6b9 fix(cli): improve dump-registry command output HEL 2026-06-16 14:03:13 +02:00
  • 732f7b0796 feat(checker): add environment preamble HEL 2026-06-16 14:02:45 +02:00
  • c4062c9595 fix(checker): allow inferred return to be subtype of hint HEL 2026-06-16 12:55:05 +02:00
  • c3229b557c feat(gen): add basic cast assertions on base type HEL 2026-06-16 12:49:36 +02:00
  • 0a8e0fb6c2 feat(checker): handle raw expr/stmt HEL 2026-06-16 10:39:26 +02:00
  • 61514d036c feat(passer): add raw statements and expressions HEL 2026-06-16 10:38:09 +02:00
  • 2e5cf6f8a2 Merge pull request 'For loops' (#11) from feat/for-loops into main HEL 2026-06-15 22:51:12 +00:00
  • 25fabdd6c3 refactor(checker): split type computation and judgement HEL 2026-06-16 00:48:32 +02:00
  • af1aba41e7 feat(gen): handle for loops HEL 2026-06-16 00:36:43 +02:00
  • 48e13d3348 feat(checker): handle for loops HEL 2026-06-16 00:36:03 +02:00
  • faa98ce0ef feat(parser): add for loop node HEL 2026-06-16 00:35:05 +02:00
  • 274e366561 feat(cli): add help messages to all commands HEL 2026-06-15 18:55:23 +02:00
  • 119c262da4 Merge pull request 'Simple code generator and CLI redesign' (#10) from feat/code-generator into main HEL 2026-06-15 12:29:22 +00:00
  • 81181891c4 feat(gen): output compiled file in build dir HEL 2026-06-15 14:20:17 +02:00
  • 59c1a0c7b6 feat(cli): refactor CLI and add some commands HEL 2026-06-15 14:17:54 +02:00
  • 74f51f361a feat(checker): make checker return TypedAST HEL 2026-06-15 14:16:10 +02:00
  • f25341b1e7 feat: add pass statements HEL 2026-06-15 13:28:24 +02:00
  • 3281324caf feat(gen): add simple generator HEL 2026-06-15 02:10:22 +02:00
  • 5b062b46e6 Merge pull request 'Refactor, generics, methods, overloads and more' (#9) from feat/generics into main HEL 2026-06-14 22:13:14 +00:00
  • 635bf73531 feat(checker): add slice overloads on lists HEL 2026-06-14 17:04:29 +02:00
  • bd0421b5d8 fix(checker): handle generic overloads HEL 2026-06-14 17:04:10 +02:00
  • 37a464d2bc feat(checker): type check slice expressions HEL 2026-06-14 16:58:20 +02:00
  • 1eedcff5aa feat(parser): add slice expression HEL 2026-06-14 16:53:38 +02:00
  • 35798e5752 tests: update with new subscript and call checks HEL 2026-06-14 16:45:13 +02:00
  • 0a35563aaf feat(checker): resolve overloads with subtypes HEL 2026-06-14 16:36:10 +02:00
  • e1da87eaa0 doc(checker): add docstrings to new call checks HEL 2026-06-14 16:08:34 +02:00
  • 2a579c06b1 refactor(checker): unify call check for subscript HEL 2026-06-14 16:07:41 +02:00
  • 46a22797b6 chore: add examples for functions and overloads HEL 2026-06-14 15:50:20 +02:00
  • 7598681729 feat(checker): handle overloaded function calls HEL 2026-06-14 15:48:31 +02:00
  • 2df0380815 fix(types): remove unused operation structures HEL 2026-06-13 18:57:02 +02:00
  • 178e24cd02 feat(checker): type check subscripts HEL 2026-06-13 18:44:49 +02:00
  • c92b6b5c18 feat(parser): add subscript expressions HEL 2026-06-13 18:44:19 +02:00
  • 6577241af9 feat(checker): handle unary operations HEL 2026-06-13 18:19:50 +02:00
  • 1c71badf24 fix(checker): report unsupported features HEL 2026-06-13 18:11:14 +02:00
  • 064702fe13 tests: update with newly reported judgements HEL 2026-06-13 18:01:32 +02:00
  • 890e2f035a refactor(checker): replace all accept calls HEL 2026-06-13 18:01:02 +02:00
  • 0d0115534b tests: update tests HEL 2026-06-13 17:46:15 +02:00
  • 221b5ca926 fix(checker): adapt comparison to lookup method HEL 2026-06-13 17:44:40 +02:00
  • 9a227b6d4c fix(checker): remove in.to_bytes HEL 2026-06-13 14:00:50 +02:00
  • df2e609c60 fix(checker): handle members on base type HEL 2026-06-13 14:00:23 +02:00
  • 3ee1161680 fix: remove unused op statement HEL 2026-06-13 13:49:57 +02:00
  • eb223c6cb7 fix(checker): forward parsing errors as diagnostics HEL 2026-06-13 13:44:05 +02:00
  • 6f5d971c66 fix(checker): gravefully handle unknown type HEL 2026-06-13 13:43:33 +02:00
  • 109c8eb35a fix(parser): make name required for mixed and keyword args HEL 2026-06-13 13:43:16 +02:00
  • 99924ee6c2 feat(parser): add mixed arguments in midas functions HEL 2026-06-13 13:16:24 +02:00
  • 4c9cbd9faa feat(checker): add top type (Any) HEL 2026-06-13 12:45:40 +02:00
  • 84a5f41e62 fix: extend example of complex types HEL 2026-06-13 12:40:26 +02:00
  • 6d6bb66c54 feat(checker): define members on builtin types HEL 2026-06-13 12:39:46 +02:00
  • 50eaafc388 feat(tests): update serializer HEL 2026-06-12 17:01:19 +02:00
  • 2935c71366 fix(checker): give warning on unknown variable HEL 2026-06-12 17:01:02 +02:00
  • 52981f12f2 fix(checker): minor fix when using base type in generic HEL 2026-06-12 16:56:03 +02:00
  • 2e898ab1e9 fix(checker): update binary operation lookup HEL 2026-06-12 16:55:01 +02:00
  • 01ff5ca8d5 fix(checker): handle nested generic members HEL 2026-06-12 16:53:34 +02:00
  • b5de28e291 feat(checker): implement lookup_member method HEL 2026-06-12 16:51:18 +02:00
  • 179b88bfed feat(checker): add members registry HEL 2026-06-12 16:45:11 +02:00
  • b3665c6462 fix(cli): update highlighter HEL 2026-06-12 16:42:25 +02:00
  • 42284704de feat(parser): accept props and methods in extend HEL 2026-06-12 16:41:33 +02:00
  • 650f60e70c feat(cli): add option to show type judgements HEL 2026-06-12 14:44:02 +02:00
  • efea1b29e7 fix(cli): show diagnostics from different files HEL 2026-06-12 14:43:27 +02:00
  • ae0bd75f3b fix(checker): improve error for recursive type ref HEL 2026-06-11 17:15:28 +02:00
  • d9100d8300 feat(checker): adapt typers to members and extension type HEL 2026-06-11 17:12:50 +02:00
  • 900be47d34 feat(parser): add new ast nodes to parser HEL 2026-06-11 13:49:47 +02:00
  • 3d5f97a0f4 feat(parser): add extension type and rename properties HEL 2026-06-11 13:42:19 +02:00
  • 9fde115016 feat: add function type to midas syntax HEL 2026-06-09 23:48:06 +02:00
  • f8897dd075 feat(types): add type params to extend statement HEL 2026-06-09 23:22:45 +02:00
  • 380753ca7a refactor(types): extract TypeParams HEL 2026-06-09 15:30:45 +02:00
  • 4715318913 feat(types): add human-friendly string rep HEL 2026-06-09 12:59:36 +02:00
  • a78aee1639 fix(resolver): define variable on assignment HEL 2026-06-09 08:06:46 +02:00
  • 3581b7600b fix(checker): use reduce_types to infer return type HEL 2026-06-09 08:05:31 +02:00
  • 32207c3d6f refactor(checker): extract reduce_types function HEL 2026-06-09 08:04:45 +02:00
  • 9474a7336a feat(types): WIP add AppliedType HEL 2026-06-08 18:26:11 +02:00
  • 5a6a279eaf feat(checker): WIP add lists HEL 2026-06-08 18:25:37 +02:00
  • c1f95edc96 feat(types): add name to generic type HEL 2026-06-08 18:21:40 +02:00
  • 098bbc35c5 fix: avoid circular import in builtins.py HEL 2026-06-08 13:48:46 +02:00
  • 314d4d344b refactor(resolver): move resolver to checker module HEL 2026-06-08 13:45:39 +02:00