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