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-17 18:46:44 +00:00
9b26a854e2
typecheck: clarify extra CHECK TYPE tokens
RayPals
pushed to
main
at
RayPals/Claro
2026-09-17 16:43:01 +00:00
1204731785
typecheck: clarify missing CHECK TYPE IS
RayPals
pushed to
main
at
RayPals/Claro
2026-09-17 14:38:49 +00:00
67ba1b1403
typecheck: diagnose missing class field names
RayPals
pushed to
main
at
RayPals/Claro
2026-09-17 12:36:06 +00:00
78a83238df
typecheck: diagnose missing method names
RayPals
pushed to
main
at
RayPals/Claro
2026-09-17 10:32:09 +00:00
885c837593
typecheck: diagnose missing NEW class names
RayPals
pushed to
main
at
RayPals/Claro
2026-09-17 08:28:30 +00:00
6dcb86b920
typecheck: diagnose missing object names
RayPals
pushed to
main
at
RayPals/Claro
2026-09-17 06:25:10 +00:00
b0dbe976de
typecheck: diagnose missing class names
RayPals
pushed to
main
at
RayPals/Claro
2026-09-17 04:21:41 +00:00
649b327f52
typecheck: diagnose missing function names
RayPals
pushed to
main
at
RayPals/Claro
2026-09-17 02:17:36 +00:00
b59945b14f
typecheck: reject duplicate function names
RayPals
pushed to
main
at
RayPals/Claro
2026-09-17 00:14:09 +00:00
eda28f1699
typecheck: reject extra NEW tokens
RayPals
pushed to
main
at
RayPals/Claro
2026-09-16 22:09:21 +00:00
15d7145ca7
typecheck: reject extra class name tokens
RayPals
pushed to
main
at
RayPals/Claro
2026-09-16 20:05:31 +00:00
638dd8e763
typecheck: reject extra class field tokens
RayPals
pushed to
main
at
RayPals/Claro
2026-09-16 17:58:50 +00:00
d9c32ca973
typecheck: explain missing class field types
RayPals
pushed to
main
at
RayPals/Claro
2026-09-16 15:54:33 +00:00
31d87c7a5d
typecheck: reject unknown class field types
RayPals
pushed to
main
at
RayPals/Claro
2026-09-16 13:50:09 +00:00
139838d56e
typecheck: diagnose unknown NEW classes
RayPals
pushed to
main
at
RayPals/Claro
2026-09-16 11:45:28 +00:00
7eff213a78
test: cover compatibility duplicate method names
RayPals
pushed to
main
at
RayPals/Claro
2026-09-16 09:41:41 +00:00
50ef925367
test: cover same-named fields across classes
RayPals
pushed to
main
at
RayPals/Claro
2026-09-16 07:38:27 +00:00
bb21a1e3a4
typecheck: reject duplicate object names
RayPals
pushed to
main
at
RayPals/Claro
2026-09-16 05:35:45 +00:00
c713d2b86e
typecheck: reject duplicate class declarations
RayPals
pushed to
main
at
RayPals/Claro
2026-09-16 03:31:05 +00:00
eddb3ba067
typecheck: reject duplicate class fields
Previous
5
Next
