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 deleted branch feat/subtyping from HEL/midas 2026-06-15 00:01:47 +02:00
HEL merged pull request HEL/midas#8 2026-06-15 00:01:45 +02:00
Subtyping
HEL pushed to feat/generics at HEL/midas 2026-06-14 17:05:19 +02:00
2886ffe00b feat(checker): add slice overloads on lists
def38e720b fix(checker): handle generic overloads
49274be2f4 feat(checker): type check slice expressions
aec6b7aa7b feat(parser): add slice expression
530d93723e tests: update with new subscript and call checks
Compare 5 commits »
HEL pushed to feat/generics at HEL/midas 2026-06-14 16:36:48 +02:00
905132a18e feat(checker): resolve overloads with subtypes
9594c74952 doc(checker): add docstrings to new call checks
8df5607461 refactor(checker): unify call check for subscript
757054d7af chore: add examples for functions and overloads
25a96d20e1 feat(checker): handle overloaded function calls
Compare 5 commits »
HEL pushed to release/v0.3.1 at HEL/rivet-typst 2026-06-14 13:34:03 +02:00
2228f22352 chore: update changelog
a909398fbd chore: bump version to 0.3.1
Compare 2 commits »
HEL created branch release/v0.3.1 in HEL/rivet-typst 2026-06-14 13:11:41 +02:00
HEL pushed to release/v0.3.1 at HEL/rivet-typst 2026-06-14 13:11:41 +02:00
HEL pushed to feat/generics at HEL/midas 2026-06-13 19:05:28 +02:00
04c0d683de fix(types): remove unused operation structures
HEL pushed to feat/generics at HEL/midas 2026-06-13 18:49:01 +02:00
ac620f318b feat(checker): type check subscripts
947e9f0149 feat(parser): add subscript expressions
Compare 2 commits »
HEL pushed to feat/generics at HEL/midas 2026-06-13 18:20:03 +02:00
c1ca254b51 feat(checker): handle unary operations
0bb862a1db fix(checker): report unsupported features
Compare 2 commits »
HEL pushed to feat/generics at HEL/midas 2026-06-13 18:01:46 +02:00
54919a3565 tests: update with newly reported judgements
a5f0140013 refactor(checker): replace all accept calls
b0af01d906 tests: update tests
6048ee020f fix(checker): adapt comparison to lookup method
f815faa2f8 fix(checker): remove in.to_bytes
Compare 6 commits »
HEL pushed to feat/generics at HEL/midas 2026-06-13 13:50:03 +02:00
503f2b6a0a fix: remove unused op statement
HEL pushed to feat/generics at HEL/midas 2026-06-13 13:44:14 +02:00
778117664f fix(checker): forward parsing errors as diagnostics
afe3eefbbf fix(checker): gravefully handle unknown type
96495e9f79 fix(parser): make name required for mixed and keyword args
77263139f6 feat(parser): add mixed arguments in midas functions
Compare 4 commits »
HEL pushed to feat/generics at HEL/midas 2026-06-13 12:46:59 +02:00
4f5967a151 feat(checker): add top type (Any)
2a714a1021 fix: extend example of complex types
dafe0b471a feat(checker): define members on builtin types
Compare 3 commits »
HEL pushed to feat/generics at HEL/midas 2026-06-12 17:01:35 +02:00
a1f2937e16 feat(tests): update serializer
2063d94dce fix(checker): give warning on unknown variable
22fc8010d8 fix(checker): minor fix when using base type in generic
aff1097d91 fix(checker): update binary operation lookup
12d034fd1e fix(checker): handle nested generic members
Compare 15 commits »
HEL pushed to main at HEL/TB-Docs 2026-06-11 09:46:40 +02:00
93a3331a87 feat(journal): update week 5
78ecda082e feat(design): add if-else and base midas syntax
Compare 2 commits »
HEL pushed to refactor/renderer-redesign at HEL/rivet-typst 2026-06-11 00:20:37 +02:00
26d11301a2 added range names and bit ranks
aeb413abb4 added bit separators
6095b5784e reimplemented struct frame rendering
Compare 3 commits »
HEL pushed to feat/generics at HEL/midas 2026-06-10 00:09:35 +02:00
c6ead886ec feat: add function type to midas syntax
9de03bf2b5 feat(types): add type params to extend statement
a26b9293be refactor(types): extract TypeParams
Compare 3 commits »
HEL pushed to feat/generics at HEL/midas 2026-06-09 15:00:02 +02:00
efa5454776 feat(types): add human-friendly string rep
HEL pushed to main at HEL/TB-Docs 2026-06-09 12:45:44 +02:00
a8a6da5661 feat(design): add statement typing rules