HEL Louis Heredero
6 Followers · 3 Following
Suisse
https://github.com/LordBaryhobal
Joined on 2023-02-15
Overview Repositories
38
 Projects Packages Code Public Activity Starred Repositories
HEL pushed to feat/demonstration at HEL/midas 2026-06-23 00:26:06 +02:00
b290c59ac4 fix(gen): add bases for ConstraintType and TypeVar
093f2bc477 fix(checker): lookup member on typevar bound
7c771c4070 feat(checker): add input function to preamble
Compare 3 commits »
HEL pushed to feat/demonstration at HEL/midas 2026-06-22 15:40:50 +02:00
a50a207385 fix(gen): don't generate stubs for builtin types
HEL pushed to feat/demonstration at HEL/midas 2026-06-22 15:29:56 +02:00
7e5ea5e414 chore: add example to demonstrate some features
HEL created branch feat/demonstration in HEL/midas 2026-06-22 15:27:19 +02:00
HEL pushed to feat/demonstration at HEL/midas 2026-06-22 15:27:19 +02:00
0ba0266bae fix(checker): check general subtype case for AppliedType
216c80f08c fix(checker): produce judgement for expression in cast
f75d7722a1 fix(checker): look up members on constraint type
2f29c47274 fix(gen): assert type var bound
80af2b9048 fix(checker): handle is_subtype of TypeVar
Compare 8 commits »
HEL pushed to main at HEL/TB-Docs 2026-06-22 11:24:51 +02:00
95e166a058 feat(admin): update planning with current progress
9620e35838 feat(journal): update end of week 6
Compare 2 commits »
HEL merged pull request HEL/midas#18 2026-06-21 13:41:48 +02:00
Generic call unification
HEL pushed to main at HEL/midas 2026-06-21 13:41:48 +02:00
739871c101 Merge pull request 'Generic call unification' (#18) from feat/unification into main
4395e9339b fix(checker): abort unification on conflict
29e601128d tests: add unification test
b591f5508f fix(checker): make map definition generic
41d0c84bbe feat(checker): add unifier
Compare 5 commits »
HEL deleted branch feat/unification from HEL/midas 2026-06-21 13:41:48 +02:00
HEL created pull request HEL/midas#18 2026-06-21 13:41:43 +02:00
Generic call unification
HEL pushed to feat/unification at HEL/midas 2026-06-21 13:36:13 +02:00
4395e9339b fix(checker): abort unification on conflict
HEL created branch feat/unification in HEL/midas 2026-06-21 13:19:20 +02:00
HEL pushed to feat/unification at HEL/midas 2026-06-21 13:19:20 +02:00
29e601128d tests: add unification test
b591f5508f fix(checker): make map definition generic
41d0c84bbe feat(checker): add unifier
Compare 3 commits »
HEL pushed to main at HEL/midas 2026-06-20 17:44:36 +02: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 deleted branch feat/stubs-gen from HEL/midas 2026-06-20 17:44:36 +02:00
HEL merged pull request HEL/midas#17 2026-06-20 17:44:35 +02:00
Stubs generator
HEL pushed to feat/stubs-gen at HEL/midas 2026-06-20 17:44:27 +02:00
3f48c2138f chore: add stubs command to README
HEL created pull request HEL/midas#17 2026-06-20 17:42:12 +02:00
Stubs generator
HEL pushed to feat/stubs-gen at HEL/midas 2026-06-20 17:34:48 +02: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 17:12:02 +02: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 »