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/generics at HEL/midas 2026-06-09 08:38:18 +02:00
b8bb8190c4 fix(resolver): define variable on assignment
a4f5db7ece fix(checker): use reduce_types to infer return type
fc67f01f34 refactor(checker): extract reduce_types function
Compare 3 commits »
HEL pushed to feat/generics at HEL/midas 2026-06-08 18:26:22 +02:00
0a748a36a3 feat(types): WIP add AppliedType
89fdd1b47e feat(checker): WIP add lists
0cde53ac6e feat(types): add name to generic type
Compare 3 commits »
HEL pushed to feat/generics at HEL/midas 2026-06-08 13:48:55 +02:00
f3ec3606c2 fix: avoid circular import in builtins.py
HEL pushed to feat/generics at HEL/midas 2026-06-08 13:46:00 +02:00
67ec029529 refactor(resolver): move resolver to checker module
e2aef7a811 refactor(checker): unify builtins definitions
Compare 2 commits »
HEL pushed to feat/generics at HEL/midas 2026-06-08 13:41:50 +02:00
86ba4e658a refactor(checker): restructure around shared registry
7eccf59558 feat(checker): add reporter class
Compare 2 commits »
HEL pushed to main at HEL/TB-Docs 2026-06-08 11:08:26 +02:00
4014f6f4e5 feat(journal): update end of week 4
HEL pushed to feat/generics at HEL/midas 2026-06-08 11:08:09 +02:00
9dd7801d2d feat(resolver): handle generic application
154cb8b314 refactor(checker): move is_subtype to resolver
c64ab434b5 refactor(checker): move unfold_type to types.py
25e6410546 feat(resolver): handle generics definition
8a22acc17c feat(checker): add generic type structure
Compare 5 commits »
HEL created branch feat/generics in HEL/midas 2026-06-08 09:14:21 +02:00
HEL pushed to feat/generics at HEL/midas 2026-06-08 09:14:21 +02:00
HEL created pull request HEL/midas#8 2026-06-08 09:13:28 +02:00
Subtyping
HEL pushed to feat/subtyping at HEL/midas 2026-06-08 08:37:47 +02:00
e0179bc442 feat(checker): handle assignments to attributes
e665d03533 fix: remove unused SetExpr
b8cb2b4273 feat(checker): handle attribute getter
Compare 3 commits »
HEL pushed to feat/subtyping at HEL/midas 2026-06-07 14:29:23 +02:00
d278dc5f5b tests: update tests with operation overloads
59e73f0fd9 fix(checker): invert property subtype check
3e0dc60283 fix(checker): only unfold alias on subtype
c24eb5125e feat(checker): resolve operation overloads with subtypes
25bd895dde feat(cli): improve diagnostic printing
Compare 5 commits »
HEL pushed to feat/subtyping at HEL/midas 2026-06-06 16:59:54 +02:00
bccd75317e tests: add subtyping test
f0e3f7574f feat(tests): add judgements to test results
Compare 2 commits »
HEL pushed to feat/subtyping at HEL/midas 2026-06-06 16:54:25 +02:00
5d44081847 feat(checker): implement function subtyping
2a2bb0aec7 feat(checker): store function param position
67c40a3909 feat(checker): add is_subtype method
1c30188122 feat(checker): record type judgements
82a0f13242 feat(cli): add verbose flag to compile
Compare 5 commits »
HEL pushed to dev at HEL/rivet-typst 2026-06-05 16:43:49 +02:00
05de90890f Merge pull request 'fix end line on non-consecutive ranges ending at the highest bit not being drawn' (#18) from ALVAROPING1/rivet-typst:dev into dev
9b83b4c4a8 fix end line on non-consecutive ranges ending at the highest bit not being drawn
Compare 2 commits »
HEL merged pull request HEL/rivet-typst#18 2026-06-05 16:43:48 +02:00
fix end line on non-consecutive ranges ending at the highest bit not being drawn
HEL approved HEL/rivet-typst#18 2026-06-05 16:43:39 +02:00
fix end line on non-consecutive ranges ending at the highest bit not being drawn

Thanks for your contribution 👍

HEL commented on pull request HEL/rivet-typst#18 2026-06-05 16:38:29 +02:00
fix end line on non-consecutive ranges ending at the highest bit not being drawn

My bad, there is still a bug indeed

HEL reopened pull request HEL/rivet-typst#18 2026-06-05 16:38:29 +02:00
fix end line on non-consecutive ranges ending at the highest bit not being drawn
HEL commented on pull request HEL/rivet-typst#18 2026-06-05 16:34:56 +02:00
fix end line on non-consecutive ranges ending at the highest bit not being drawn

😬 This has already been fixed but I forgot to make a release... See #13 I'll try making one in a couple of days