rhi
0 Followers · 0 Following
  • Joined on 2020-06-10
Repositories
22
 Projects Packages Public Activity Starred Repositories
rhi closed issue rhi/quox#37 2024-04-14 15:15:35 -04:00
check the #[main] function is the right type
rhi merged pull request rhi/quox#42 2024-04-14 15:15:35 -04:00
check type of #[main]
rhi pushed to maincheck at rhi/quox 2024-04-14 14:50:06 -04:00
8823154973 add golden test stuff
rhi created pull request rhi/quox#42 2024-04-14 10:21:06 -04:00
check type of #[main]
rhi pushed to maincheck at rhi/quox 2024-04-14 10:20:56 -04:00
b7dc5ffdc4 add check for #[main] type
dd697ba56e add CheckBuiltin
32b9fe124f minor tweaks in Q.Typing.Context
Compare 3 commits »
rhi created branch maincheck in rhi/quox 2024-04-14 10:20:56 -04:00
rhi deleted branch log from rhi/quox 2024-04-14 06:14:09 -04:00
rhi commented on pull request rhi/quox#40 2024-04-14 06:13:57 -04:00
debug logging

👉 #41

rhi opened issue rhi/quox#41 2024-04-14 06:13:41 -04:00
add debug logging to the rest of the compiler
rhi pushed to 🐉 at rhi/quox 2024-04-14 06:13:26 -04:00
95a0b38d74 update pretty-printing tests
7883a3cae7 pretty printing fixes
a1d8fd4ab5 %inline
9d60f366cf add #![log] pragma
f56f594839 push multiple loglevel changes at once
Compare 14 commits »
rhi merged pull request rhi/quox#40 2024-04-14 06:13:24 -04:00
log
rhi pushed to log at rhi/quox 2024-04-12 16:00:14 -04:00
95a0b38d74 update pretty-printing tests
rhi pushed to log at rhi/quox 2024-04-12 15:55:55 -04:00
7883a3cae7 pretty printing fixes
a1d8fd4ab5 %inline
9d60f366cf add #![log] pragma
f56f594839 push multiple loglevel changes at once
fca75377a0 MakeName ⇒ MkName for consistency
Compare 8 commits »
rhi created pull request rhi/quox#40 2024-04-04 13:27:45 -04:00
WIP: log
rhi closed pull request rhi/quox#39 2024-04-04 13:27:13 -04:00
WIP: log
rhi pushed to log at rhi/quox 2024-04-04 13:26:47 -04:00
3b6ae36e4e add logging to core
861bd55f94 add log effects to FromParser
e6ad16813e add log effects to executable
78555711ce add Q.Log
ec839a1d48 big Main refactor
Compare 7 commits »
rhi pushed to 🐉 at rhi/quox 2024-04-04 13:26:37 -04:00
727f968afb add delimited continuations to bib
41c8a92c97 bib fixes
efddb1aea1 skip broken pretty-printing tests till i fix them
8cba73f741 bump pack collection
582666a254 comments in infer for coercions
Compare 6 commits »
rhi pushed to log at rhi/quox 2024-04-04 13:24:10 -04:00
271e7f4519 add logging to core
95fe6e3bdf add log effects to FromParser
56879df32e add log effects to executable
0cc2af9bd8 add Q.Log
77cd5a0db6 big Main refactor
Compare 7 commits »
rhi pushed to log at rhi/quox 2024-03-27 13:01:26 -04:00
979f972759 wip
c5e157a169 wip
582666a254 comments in infer for coercions
a9e8f14ad5 fix a small bug in Q.Whnf.Coercion
a8ac6f11f7 fix a quantity in CaseBox
Compare 8 commits »
rhi pushed to main at rhi/lang 2024-03-14 19:56:59 -04:00
cb6a976608 new šj ligature