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

Commit Graph

  • d79e1dee18 fix(checker): change heterogeneous errors to warnings HEL 2026-06-26 11:55:31 +02:00
  • 4ea400265c feat(checker): add mean method on frames HEL 2026-06-26 11:21:38 +02:00
  • 24bffdabd4 fix(checker): type check None literal HEL 2026-06-26 11:21:17 +02:00
  • d7bb6326de feat(checker): lookup dunders on dataframes HEL 2026-06-26 10:35:50 +02:00
  • dbf6f9e2db tests: update with reordered argument typing HEL 2026-06-26 10:27:54 +02:00
  • 3cdc9031d3 refactor: use metaclass to collect frame methods HEL 2026-06-25 22:31:10 +02:00
  • 00e2ca8fe3 refactor: add MethodResolver class HEL 2026-06-25 22:14:25 +02:00
  • 4efb01285c feat: add dummy classes for typing frames and columns HEL 2026-06-25 21:35:47 +02:00
  • f84a19159f fix(checker): improve heterogeneous error message HEL 2026-06-25 21:35:19 +02:00
  • 946b2e0d2e feat(checker): lookup dataframe methods HEL 2026-06-25 21:34:59 +02:00
  • 08dd7408ec feat(checker): defined add method of dataframes HEL 2026-06-25 21:34:00 +02:00
  • b33fadf768 feat(checker): add structural subtyping rule for dataframes HEL 2026-06-25 21:09:14 +02:00
  • 7219109e5d feat(cli): print context for multiline diagnostics HEL 2026-06-25 16:32:15 +02:00
  • cdf1725c26 feat(checker): process frame type definitions HEL 2026-06-23 16:12:27 +02:00
  • 7074b074bc feat(cli): add frame type to highlighter HEL 2026-06-23 15:58:27 +02:00
  • ede7272c09 feat(parser): add frame type to midas syntax HEL 2026-06-23 15:56:07 +02:00
  • 87d5e286d2 feat(gen): add support for tuples and dataframes HEL 2026-06-23 14:45:19 +02:00
  • c91b206791 feat(checker): handle setting dataframe column HEL 2026-06-23 14:02:13 +02:00
  • a31d295eb1 feat(checker): type check subscript on dataframes HEL 2026-06-23 12:27:31 +02:00
  • 0d20993f02 feat(types): add TupleType HEL 2026-06-23 12:26:39 +02:00
  • 5357ca8e58 fix(types): add str methods to dataframe types HEL 2026-06-23 10:58:45 +02:00
  • 556765fd35 feat(types): add DataFrameType and ColumnType HEL 2026-06-22 10:29:06 +02:00
  • d039a8e4b3 Merge pull request 'Type aliases vs. Derived types' (#24) from feat/subtypes-and-aliases into main HEL 2026-07-01 08:09:13 +00:00
  • c4533421eb feat(checker): process alias definitions HEL 2026-07-01 09:59:58 +02:00
  • 73769b42c1 feat(parser): add alias keyword and statement HEL 2026-07-01 09:16:37 +02:00
  • 087f6b4669 refactor(types): rename AliasType to DerivedType HEL 2026-06-30 16:28:16 +02:00
  • d582df5927 Merge pull request 'User manual' (#23) from feat/manual into main HEL 2026-06-30 14:11:45 +00:00
  • 6a0401833c feat(manual): add strings to midas syntax def HEL 2026-06-30 14:10:32 +02:00
  • e15607b763 fix(manual): end syntax highlighting of extend body HEL 2026-06-30 14:03:42 +02:00
  • e28f324a85 fix(manual): typos HEL 2026-06-28 22:30:09 +02:00
  • 31e696c938 feat(manual): add listings outline and tweak template HEL 2026-06-28 22:28:13 +02:00
  • 759b416bf3 feat(manual): wrap all code in figures HEL 2026-06-28 22:20:15 +02:00
  • 4b2b0fe476 feat(manual): document supported Python syntax HEL 2026-06-28 21:41:39 +02:00
  • 4c39504750 feat(manual): document predicate and constraints HEL 2026-06-28 14:12:41 +02:00
  • f9f3ade6c7 feat(manual): document type statement HEL 2026-06-28 12:37:44 +02:00
  • 386018b956 feat(manual): add sublime syntax for Midas HEL 2026-06-28 12:36:02 +02:00
  • bd47d33355 feat(manual): complete introduction and quick start HEL 2026-06-26 17:52:54 +02:00
  • 93ddb28802 docs: setup user manual HEL 2026-06-24 15:53:52 +02:00
  • f7c43837b5 Merge pull request 'CLI tweaks' (#22) from fix/cli-tweaks into main HEL 2026-06-24 12:18:07 +00:00
  • 32ed62a6f1 fix(cli): show summary of diagnostic counts HEL 2026-06-24 14:11:39 +02:00
  • 66f39acec0 fix(cli): show all diagnostics in types command HEL 2026-06-24 14:11:15 +02:00
  • 6c04e2fee4 feat(cli): add compile option to ignore errors HEL 2026-06-24 14:10:30 +02:00
  • 2bb2e0a684 Merge pull request 'Unsafe cast' (#21) from feat/unsafe-cast into main HEL 2026-06-24 12:00:03 +00:00
  • 5630320d21 chore: use unsafe_cast in demo script HEL 2026-06-24 13:57:38 +02:00
  • 9f05ba3224 feat: handle unsafe casts HEL 2026-06-24 13:51:01 +02:00
  • 5fbe965919 feat(checker): add typing submodule with cast functions HEL 2026-06-24 13:40:23 +02:00
  • 252a5abdfd Merge pull request 'Static evalution of casts on literals' (#20) from feat/literal-static-constraints into main HEL 2026-06-24 09:32:54 +00:00
  • 55fba6a088 tests: update test without evaluated casts HEL 2026-06-24 11:26:31 +02:00
  • 70ce263ea2 feat(gen): skip assertions for evaluated casts HEL 2026-06-24 11:24:08 +02:00
  • e1d5eac8b8 feat(checker): evaluate constraints statically on literals HEL 2026-06-24 11:09:03 +02:00
  • 82666a4918 feat(checker): add evaluator HEL 2026-06-24 11:08:15 +02:00
  • 45f84a2f23 feat(checker): add debug diagnostics HEL 2026-06-24 11:06:48 +02:00
  • dedfcb4dbb feat(checker): store builtin python functions in preamble HEL 2026-06-24 11:05:36 +02:00
  • d9ea6365ea tests: update with cast expression judgement HEL 2026-06-23 16:49:38 +02:00
  • 9c7a93412c Merge pull request 'Fixes and small demo' (#19) from feat/demonstration into main HEL 2026-06-23 08:15:56 +00:00
  • d6b8fbfb60 chore: improve demo example HEL 2026-06-23 10:03:24 +02:00
  • b290c59ac4 fix(gen): add bases for ConstraintType and TypeVar HEL 2026-06-23 00:25:43 +02:00
  • 093f2bc477 fix(checker): lookup member on typevar bound HEL 2026-06-23 00:24:37 +02:00
  • 7c771c4070 feat(checker): add input function to preamble HEL 2026-06-23 00:22:38 +02:00
  • a50a207385 fix(gen): don't generate stubs for builtin types HEL 2026-06-22 15:40:31 +02:00
  • 7e5ea5e414 chore: add example to demonstrate some features HEL 2026-06-22 15:29:39 +02:00
  • 0ba0266bae fix(checker): check general subtype case for AppliedType HEL 2026-06-22 15:27:06 +02:00
  • 216c80f08c fix(checker): produce judgement for expression in cast HEL 2026-06-22 15:24:51 +02:00
  • f75d7722a1 fix(checker): look up members on constraint type HEL 2026-06-22 15:24:18 +02:00
  • 2f29c47274 fix(gen): assert type var bound HEL 2026-06-22 15:23:53 +02:00
  • 80af2b9048 fix(checker): handle is_subtype of TypeVar HEL 2026-06-22 14:44:51 +02:00
  • 577454ee7e fix(checker): make UnknownType a top type for subtyping HEL 2026-06-22 14:15:04 +02:00
  • 878693383e feat(cli): add watch option to stubs command HEL 2026-06-22 14:14:05 +02:00
  • 0b91de75a8 feat(checker): handle type vars in python functions HEL 2026-06-22 14:13:25 +02:00
  • 739871c101 Merge pull request 'Generic call unification' (#18) from feat/unification into main HEL 2026-06-21 11:41:48 +00:00
  • 4395e9339b fix(checker): abort unification on conflict HEL 2026-06-21 13:35:44 +02:00
  • 29e601128d tests: add unification test HEL 2026-06-21 13:19:17 +02:00
  • b591f5508f fix(checker): make map definition generic HEL 2026-06-21 13:17:35 +02:00
  • 41d0c84bbe feat(checker): add unifier HEL 2026-06-21 13:12:27 +02:00
  • cccf2f8f9f Merge pull request 'Stubs generator' (#17) from feat/stubs-gen into main HEL 2026-06-20 15:44:34 +00:00
  • 3f48c2138f chore: add stubs command to README HEL 2026-06-20 17:44:15 +02:00
  • e4ab27673d fix(gen): handle TypeVar variance in stubs generator HEL 2026-06-20 17:34:40 +02:00
  • b02ecc6326 fix(gen): handle ConstraintType in stubs generator HEL 2026-06-20 17:34:22 +02:00
  • 9e83079910 fix(cli): add missing methods to highlighter HEL 2026-06-20 17:23:18 +02:00
  • ec468dd982 feat(cli): add stubs command HEL 2026-06-17 12:19:54 +02:00
  • 3edc25d778 feat(gen): add base for stubs generator HEL 2026-06-17 12:19:32 +02:00
  • 451e54b009 fix(checker): handle calls to AliasType HEL 2026-06-17 12:14:20 +02:00
  • 0dc14f67aa fix(checker): allow substitutyping type vars in GenericType and TopType HEL 2026-06-17 12:12:07 +02:00
  • ff79f25628 fix(checker): store member kind in registry HEL 2026-06-17 12:11:16 +02:00
  • 12782dda1e Merge pull request 'Variance inference and subtyping' (#16) from feat/variance into main HEL 2026-06-20 14:55:01 +00:00
  • 48a20b4aa0 tests: add tests for variance inference and subtyping HEL 2026-06-20 16:48:19 +02:00
  • 9467187313 feat(checker): use variance in subtype check HEL 2026-06-20 16:30:30 +02:00
  • cd8f14153d feat(checker): infer type variables variance HEL 2026-06-20 13:39:32 +02:00
  • 6eea0c02e0 Merge pull request 'Constraint types' (#15) from feat/constraint-type into main HEL 2026-06-19 20:21:04 +00:00
  • 3205e7b961 fix(checker): change back warning to errors HEL 2026-06-19 22:12:47 +02:00
  • 0aba134290 tests: add predicates and constraints test HEL 2026-06-19 22:09:16 +02:00
  • 1f0bcab2ca fix(checker) minor tweaks HEL 2026-06-19 21:54:13 +02:00
  • db8d88ef35 feat(parser): parse strings in Midas files HEL 2026-06-19 21:53:35 +02:00
  • 7695d50537 fix(parser): correctly parse keyword arguments HEL 2026-06-19 21:10:59 +02:00
  • 8461d05fa6 fix(checker): handle all operations and calls in predicates HEL 2026-06-19 21:10:33 +02:00
  • 43d2118db7 fix(checker): lookup predicate variables in preamble HEL 2026-06-19 21:09:02 +02:00
  • 6a87b5396f feat(cli): print predicate with dump-registry HEL 2026-06-19 15:06:55 +02:00
  • e6a581ba6e fix(checker): typo in docstring HEL 2026-06-19 15:05:49 +02:00
  • 2a7aac69ed fix(checker): change some diagnostics to warnings HEL 2026-06-19 14:41:43 +02:00
  • eb5bf19c61 feat(gen): generate type hints for functions HEL 2026-06-19 14:11:38 +02:00