Louis Heredero HEL
6 Followers · 3 Following
Overview Repositories
38
 Projects Packages Code Public Activity Starred Repositories
HEL pushed to feat/unification at HEL/midas 2026-06-21 11:19:20 +00:00
29e601128d tests: add unification test
b591f5508f fix(checker): make map definition generic
41d0c84bbe feat(checker): add unifier
Compare 3 commits »
HEL deleted branch feat/stubs-gen from HEL/midas 2026-06-20 15:44:36 +00:00
HEL pushed to main at HEL/midas 2026-06-20 15:44:36 +00:00
cccf2f8f9f Merge pull request 'Stubs generator' (#17) from feat/stubs-gen into main
3f48c2138f chore: add stubs command to README
e4ab27673d fix(gen): handle TypeVar variance in stubs generator
b02ecc6326 fix(gen): handle ConstraintType in stubs generator
9e83079910 fix(cli): add missing methods to highlighter
Compare 10 commits »
HEL merged pull request HEL/midas#17 2026-06-20 15:44:35 +00:00
Stubs generator
HEL pushed to feat/stubs-gen at HEL/midas 2026-06-20 15:44:27 +00:00
3f48c2138f chore: add stubs command to README
HEL created pull request HEL/midas#17 2026-06-20 15:42:12 +00:00
Stubs generator
HEL pushed to feat/stubs-gen at HEL/midas 2026-06-20 15:34:48 +00:00
e4ab27673d fix(gen): handle TypeVar variance in stubs generator
b02ecc6326 fix(gen): handle ConstraintType in stubs generator
9e83079910 fix(cli): add missing methods to highlighter
Compare 3 commits »
HEL pushed to feat/stubs-gen at HEL/midas 2026-06-20 15:12:02 +00:00
ec468dd982 feat(cli): add stubs command
3edc25d778 feat(gen): add base for stubs generator
451e54b009 fix(checker): handle calls to AliasType
0dc14f67aa fix(checker): allow substitutyping type vars in GenericType and TopType
ff79f25628 fix(checker): store member kind in registry
Compare 38 commits »
HEL deleted branch feat/variance from HEL/midas 2026-06-20 14:55:03 +00:00
HEL pushed to main at HEL/midas 2026-06-20 14:55:03 +00:00
12782dda1e Merge pull request 'Variance inference and subtyping' (#16) from feat/variance into main
48a20b4aa0 tests: add tests for variance inference and subtyping
9467187313 feat(checker): use variance in subtype check
cd8f14153d feat(checker): infer type variables variance
Compare 4 commits »
HEL merged pull request HEL/midas#16 2026-06-20 14:55:02 +00:00
Variance inference and subtyping
HEL created pull request HEL/midas#16 2026-06-20 14:54:56 +00:00
Variance inference and subtyping
HEL created branch feat/variance in HEL/midas 2026-06-20 14:48:23 +00:00
HEL pushed to feat/variance at HEL/midas 2026-06-20 14:48:23 +00:00
48a20b4aa0 tests: add tests for variance inference and subtyping
9467187313 feat(checker): use variance in subtype check
cd8f14153d feat(checker): infer type variables variance
Compare 3 commits »
HEL deleted branch feat/constraint-type from HEL/midas 2026-06-19 20:21:05 +00:00
HEL merged pull request HEL/midas#15 2026-06-19 20:21:04 +00:00
Constraint types
HEL pushed to main at HEL/midas 2026-06-19 20:21:04 +00:00
6eea0c02e0 Merge pull request 'Constraint types' (#15) from feat/constraint-type into main
3205e7b961 fix(checker): change back warning to errors
0aba134290 tests: add predicates and constraints test
1f0bcab2ca fix(checker) minor tweaks
db8d88ef35 feat(parser): parse strings in Midas files
Compare 27 commits »
HEL pushed to feat/constraint-type at HEL/midas 2026-06-19 20:20:41 +00:00
3205e7b961 fix(checker): change back warning to errors
0aba134290 tests: add predicates and constraints test
1f0bcab2ca fix(checker) minor tweaks
db8d88ef35 feat(parser): parse strings in Midas files
7695d50537 fix(parser): correctly parse keyword arguments
Compare 28 commits »
HEL created pull request HEL/midas#15 2026-06-19 20:20:32 +00:00
Constraint types
HEL pushed to feat/constraint-type at HEL/midas 2026-06-19 20:12:52 +00:00
776a3fb86c fix(checker): change back warning to errors