This website requires JavaScript.
Explore
Help
Sign In
RayPals
0 Followers
·
0 Following
Joined on
2026-08-13
Block a user
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues.
Learn more about blocking a user.
User to block:
Optional note:
The note is not visible to the blocked user.
Cancel
Block
Repositories
4
Projects
Packages
Public Activity
Starred Repositories
RayPals
pushed to
main
at
RayPals/Claro
2026-09-20 23:11:49 +00:00
9622f99fb1
typecheck: diagnose unknown short field annotations
RayPals
pushed to
main
at
RayPals/Claro
2026-09-20 21:07:38 +00:00
6be5088000
typecheck: clarify unknown object field annotations
RayPals
pushed to
main
at
RayPals/Claro
2026-09-20 19:02:33 +00:00
e652ad0ae3
typecheck: reject conflicting object field annotations
RayPals
pushed to
main
at
RayPals/Claro
2026-09-20 16:57:08 +00:00
283c3dfcb1
test: cover explicitly typed yesno object fields
RayPals
pushed to
main
at
RayPals/Claro
2026-09-20 14:52:59 +00:00
b2614a3901
test: cover explicitly typed text object fields
RayPals
pushed to
main
at
RayPals/Claro
2026-09-20 12:48:26 +00:00
e3f1a53130
test: cover typed text object-field assignments
RayPals
pushed to
main
at
RayPals/Claro
2026-09-20 10:44:16 +00:00
b30cf44b04
test: cover typed object-field assignments
RayPals
pushed to
main
at
RayPals/Claro
2026-09-20 08:41:13 +00:00
1c1e3e4607
docs: mark inline field annotation checks ready
RayPals
pushed to
main
at
RayPals/Claro
2026-09-20 06:37:42 +00:00
40145e5c74
test: cover lowercase CHECK TYPE syntax
RayPals
pushed to
main
at
RayPals/Claro
2026-09-20 04:34:22 +00:00
bdc56d4aa1
test: cover lowercase TYPE OF syntax
RayPals
pushed to
main
at
RayPals/Claro
2026-09-20 02:31:08 +00:00
1a2de275d1
typecheck: prioritize missing TYPE OF expressions
RayPals
pushed to
main
at
RayPals/Claro
2026-09-20 00:27:29 +00:00
bcaadf0423
typecheck: clarify bare TYPE OF diagnostics
RayPals
pushed to
main
at
RayPals/Claro
2026-09-19 22:22:58 +00:00
5cdb88b30a
test: cover complete TYPE OF syntax
RayPals
pushed to
main
at
RayPals/Claro
2026-09-19 20:19:20 +00:00
7d081f346c
typecheck: diagnose missing TYPE OF result names
RayPals
pushed to
main
at
RayPals/Claro
2026-09-19 18:35:35 +00:00
cdb5b75c62
Merge remote-tracking branch 'origin/main'
ba50b3c789
docs: clean up Claro README
Compare 2 commits »
RayPals
pushed to
main
at
RayPals/Python3-Win9x
2026-09-19 18:28:16 +00:00
df99608491
port: record MSVC6 frontier through md5module
RayPals
pushed to
main
at
RayPals/Claro
2026-09-19 18:14:54 +00:00
9beb0e167e
typecheck: diagnose missing TYPE OF expressions
RayPals
pushed to
main
at
RayPals/Claro
2026-09-19 16:09:50 +00:00
deb09cff8b
test: cover compatibility complete branch returns
RayPals
pushed to
main
at
RayPals/Claro
2026-09-19 14:06:35 +00:00
74edbdb10e
test: cover compatibility branch returns
RayPals
pushed to
main
at
RayPals/Claro
2026-09-19 12:01:32 +00:00
1bc11207ef
test: cover compatibility function missing returns
Previous
3
Next