Jarvis Carroll spivee
1 Followers · 0 Following
  • Joined on 2025-01-21
Repositories
2
 Projects Packages Public Activity Starred Repositories
spivee pushed to parser at QPQ-AG/hakuzaru 2026-02-26 21:54:51 +09:00
540b2c513b Fill AACI and coerce type specs
spivee pushed to parser at QPQ-AG/hakuzaru 2026-02-24 18:49:24 +09:00
ddec3bfa74 add more format options to decode_bytearray
spivee pushed to parser at QPQ-AG/hakuzaru 2026-02-17 16:38:36 +09:00
a0fbeebcdb Pretty print Sophia expressions.
spivee pushed to parser at QPQ-AG/hakuzaru 2026-02-13 15:22:53 +09:00
78c9c67f38 typecheck bits
9bc0ffafd1 bool/char literals
Compare 2 commits »
spivee pushed to parser at QPQ-AG/hakuzaru 2026-02-13 13:06:15 +09:00
60985130cb Refine tuple parsing errors
spivee pushed to parser at QPQ-AG/hakuzaru 2026-02-05 16:27:35 +09:00
3838a7e3c5 Parse qualified names.
d014ae0982 Handle token/parse errors more carefully
bb4bcbb7de remove 'tk' atom from file positions
Compare 3 commits »
spivee pushed to parser at QPQ-AG/hakuzaru 2026-02-03 14:58:48 +09:00
a695c21fc9 Parse address literals.
493bdb990c Fix lexer row/column calculations.
17f635af61 Parse long hex escape codes
Compare 3 commits »
spivee pushed to parser at QPQ-AG/hakuzaru 2026-01-30 19:29:44 +09:00
272ed01fdc Singleton record/tuple parsing.
spivee commented on issue QPQ-AG/sophia#989 2026-01-29 16:42:00 +09:00
Escape codes \x80 through \xFF get encoded as two bytes

It seems the design is that U+0100 is written as "\x{0100}", with curly braces included explicitly in the string literal. That doesn't work in this compiler, though, so maybe there should be a…

spivee pushed to parser at QPQ-AG/hakuzaru 2026-01-29 16:02:00 +09:00
49cd8b6687 Parse strings
966b4b2748 Calculate scalar values during lexing
fe182a5233 Handle underscores in integers/bytes
f1696e2b9e Bytes lexing
Compare 4 commits »
spivee opened issue QPQ-AG/sophia#989 2026-01-29 15:44:50 +09:00
Escape codes \x80 through \xFF get encoded as two bytes
spivee opened issue QPQ-AG/sophia#988 2026-01-29 15:18:29 +09:00
Compiler throws exceptions during escape code handling
spivee pushed to parser at QPQ-AG/hakuzaru 2026-01-27 15:48:45 +09:00
2bf384ca82 Infer correct values for tests automatically
spivee pushed to parser at QPQ-AG/hakuzaru 2026-01-23 15:16:37 +09:00
4f2a3c6c6f Variant parsing
7df04a81be Tuple parsing
6f02d4c4e6 Record parsing
Compare 3 commits »
spivee pushed to parser at QPQ-AG/hakuzaru 2026-01-16 14:44:31 +09:00
56e63051bc Map parsing
spivee created branch parser in QPQ-AG/hakuzaru 2026-01-15 18:36:44 +09:00
spivee pushed to parser at QPQ-AG/hakuzaru 2026-01-15 18:36:44 +09:00
3f1c9bd626 List parsing
97e32574c4 set up parsing structure
Compare 2 commits »
spivee pushed to hz_aaci at QPQ-AG/hakuzaru 2026-01-15 10:49:03 +09:00
6f5525afcf Rename get_function_signature
spivee created pull request QPQ-AG/hakuzaru#17 2026-01-13 10:40:11 +09:00
Move AACI and coerce logic to hz_aaci.erl
spivee pushed to hz_aaci at QPQ-AG/hakuzaru 2026-01-13 10:28:26 +09:00
4f1958b210 use lists:unzip/1
3da9bd570b split coerce/3 into two functions
d2163c1ff8 split AACI out of hz.erl
Compare 3 commits »