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

Initial dataframe implementation #25

Merged
HEL merged 39 commits from feat/dataframes into main 2026-07-01 08:24:36 +00:00
Conversation 0 Commits 39 Files Changed 37
+1990 -744
39 Commits
Author SHA1 Message Date
HEL ffccc1bedd feat(cli): generate stubs in build dir when compiling 2026-07-01 10:16:13 +02:00
HEL d14f208897 feat(gen): add tuple expr to generator 2026-07-01 10:16:13 +02:00
HEL 293953a078 tests: update with multi-parameter generics 2026-07-01 10:16:12 +02:00
HEL bccc96e4d0 fix: minor fixes 2026-07-01 10:16:11 +02:00
HEL 9db56adf56 feat: add Python tuple expression 2026-07-01 10:16:10 +02:00
HEL 3f99563ac8 feat: handle multi-parameter generic in Python 2026-07-01 10:16:10 +02:00
HEL b36896cc7b feat(checker): add len() 2026-07-01 10:16:09 +02:00
HEL cb75878ae9 fix(checker): allow some assignments to unknown 2026-07-01 10:16:08 +02:00
HEL a5fe985eb2 feat(checker): add methods on str 2026-07-01 10:16:08 +02:00
HEL e324f414e6 feat(checker): type check tuple instantiation in Midas 2026-07-01 10:16:07 +02:00
HEL 256536562f fix(parser): parse empty calls 2026-07-01 10:16:06 +02:00
HEL 64f4314f0d fix(gen): prevent empty loop for column asserts 2026-07-01 10:16:06 +02:00
HEL 6f6245d283 fix(checker): allow iterating on unknown 2026-07-01 10:16:05 +02:00
HEL 3392bc347d fix(checker): allow subtypes and unknown as if test 2026-07-01 10:16:04 +02:00
HEL 7e0319906a feat(gen): assertions for column values 2026-07-01 10:16:03 +02:00
HEL 75bd203d4a fix(checker): allow calling unknown method on dataframes 2026-07-01 10:15:16 +02:00
HEL db40198357 feat(gen): generate asserts for dataframes and columns 2026-07-01 10:15:16 +02:00
HEL d79e1dee18 fix(checker): change heterogeneous errors to warnings 2026-07-01 10:15:15 +02:00
HEL 4ea400265c feat(checker): add mean method on frames 2026-07-01 10:15:14 +02:00
HEL 24bffdabd4 fix(checker): type check None literal 2026-07-01 10:15:13 +02:00
HEL d7bb6326de feat(checker): lookup dunders on dataframes 2026-07-01 10:15:12 +02:00
HEL dbf6f9e2db tests: update with reordered argument typing 2026-07-01 10:15:12 +02:00
HEL 3cdc9031d3 refactor: use metaclass to collect frame methods 2026-07-01 10:15:11 +02:00
HEL 00e2ca8fe3 refactor: add MethodResolver class 2026-07-01 10:15:10 +02:00
HEL 4efb01285c feat: add dummy classes for typing frames and columns 2026-07-01 10:15:10 +02:00
HEL f84a19159f fix(checker): improve heterogeneous error message 2026-07-01 10:15:09 +02:00
HEL 946b2e0d2e feat(checker): lookup dataframe methods 2026-07-01 10:15:08 +02:00
HEL 08dd7408ec feat(checker): defined add method of dataframes 2026-07-01 10:15:07 +02:00
HEL b33fadf768 feat(checker): add structural subtyping rule for dataframes 2026-07-01 10:15:06 +02:00
HEL 7219109e5d feat(cli): print context for multiline diagnostics 2026-07-01 10:14:48 +02:00
HEL cdf1725c26 feat(checker): process frame type definitions 2026-07-01 10:14:48 +02:00
HEL 7074b074bc feat(cli): add frame type to highlighter 2026-07-01 10:14:17 +02:00
HEL ede7272c09 feat(parser): add frame type to midas syntax 2026-07-01 10:14:16 +02:00
HEL 87d5e286d2 feat(gen): add support for tuples and dataframes 2026-07-01 10:14:16 +02:00
HEL c91b206791 feat(checker): handle setting dataframe column 2026-07-01 10:13:30 +02:00
HEL a31d295eb1 feat(checker): type check subscript on dataframes 2026-07-01 10:13:30 +02:00
HEL 0d20993f02 feat(types): add TupleType 2026-07-01 10:13:28 +02:00
HEL 5357ca8e58 fix(types): add str methods to dataframe types 2026-07-01 10:13:28 +02:00
HEL 556765fd35 feat(types): add DataFrameType and ColumnType 2026-07-01 10:13:27 +02:00