Louis Heredero HEL
6 Followers · 3 Following
Overview Repositories
38
 Projects Packages Code Public Activity Starred Repositories
HEL pushed to feat/basic-type-checker at HEL/midas 2026-05-29 20:04:10 +00:00
4a3363a3d6 feat(checker): add cast expression
0a3216e07d feat(parser):add cast expression
Compare 2 commits »
HEL pushed to feat/basic-type-checker at HEL/midas 2026-05-29 17:09:05 +00:00
c29c0ed3ec tests: add tests for type checker
fa7e56cb77 tests: add checker tester
13c19db818 fix(checker): stabilize call error message
Compare 3 commits »
HEL pushed to feat/basic-type-checker at HEL/midas 2026-05-29 16:45:17 +00:00
95b218fbed tests: add tests for python parser
c3722c7438 tests: add python parser tester
9dd547d6c1 fix(tests): handle new tests with no snapshot
e2d5943517 tests: move midas parser tests in subfolder
86e4763a12 refactor(tests): make cases dir configurable in subclass
Compare 6 commits »
HEL pushed to feat/basic-type-checker at HEL/midas 2026-05-29 15:25:28 +00:00
e6375f1aa9 chore: tidy
d16e192a3a feat(checker): map and check function call arguments
3f61f84e5a feat(parser): parse function param defaults and sinks
Compare 3 commits »
HEL pushed to feat/basic-type-checker at HEL/midas 2026-05-29 10:10:37 +00:00
fd5399f50a feat(checker): evaluate function definitions
8906ac3db8 feat(parser): add return statements
022aebf55b fix(parser): prevent duplicate properties in complex types
5dc6903425 fix(cli): enable midas ast dump
Compare 4 commits »
HEL pushed to main at HEL/TB-Docs 2026-05-28 20:47:06 +00:00
d6f2d52387 feat(journal): add list of topic for TAPL chapters
HEL pushed to main at HEL/TB-Docs 2026-05-28 20:34:23 +00:00
68175f71e4 feat(journal): add TAPL reading status diagram
5d9e19359f feat(journal): update week 3
Compare 2 commits »
HEL pushed to feat/basic-type-checker at HEL/midas 2026-05-28 16:32:45 +00:00
1b078b832c chore: add some operations in the example
7515716864 feat(checker): add diagnostics
218b0c5b78 fix(parser): add location in all AST nodes
Compare 3 commits »
HEL pushed to feat/basic-type-checker at HEL/midas 2026-05-28 16:19:15 +00:00
4dd76e30cc feat(checker): add diagnostics
9f31ab623e fix(parser): add location in all AST nodes
928901ef9c fix(checker): get literal types from context
4b62c78874 feat(cli): integrate checker in compile command
f882eebaf5 feat(checker): add basic checker
Compare 12 commits »
HEL created branch feat/basic-type-checker in HEL/midas 2026-05-27 06:17:17 +00:00
HEL pushed to feat/basic-type-checker at HEL/midas 2026-05-27 06:17:17 +00:00
HEL pushed to main at HEL/TB-Docs 2026-05-26 08:43:57 +00:00
6c8c306da7 feat(journal): update day 4 and 5 of week 2
HEL pushed to main at HEL/midas 2026-05-26 08:28:43 +00:00
ec079f32ca Merge pull request 'Python parser' (#4) from feat/python-parser into main
6524b3591a feat(cli): highlight midas keywords
170101aa37 fix(parser): add call keywords attribute in gen definition
0b3f33d7fe feat(parser): parse python expressions
8a9b4f3989 feat(parser): parse assignments
Compare 28 commits »
HEL deleted branch feat/python-parser from HEL/midas 2026-05-26 08:28:43 +00:00
HEL merged pull request HEL/midas#4 2026-05-26 08:28:42 +00:00
Python parser
HEL created pull request HEL/midas#4 2026-05-26 08:27:49 +00:00
Python parser
HEL pushed to feat/python-parser at HEL/midas 2026-05-26 08:18:00 +00:00
6524b3591a feat(cli): highlight midas keywords
170101aa37 fix(parser): add call keywords attribute in gen definition
Compare 2 commits »
HEL pushed to feat/python-parser at HEL/midas 2026-05-25 21:18:39 +00:00
0b3f33d7fe feat(parser): parse python expressions
8a9b4f3989 feat(parser): parse assignments
Compare 2 commits »
HEL pushed to feat/python-parser at HEL/midas 2026-05-25 20:14:50 +00:00
bbd0e3ae8d feat(cli): update highlighter with new nodes
HEL pushed to feat/python-parser at HEL/midas 2026-05-25 20:06:39 +00:00
4d23e8840e feat(parser): adapt AST printer with new nodes
c64d626d1c refactor(parser): remove inheritance from NodeVisitor
ecab1b74a4 feat(parser): add Python AST nodes
0bbdf04621 feat(parser): generate python AST classes
939e5af4ce refactor(parser): improve AST class generator
Compare 5 commits »