Jarvis Carroll spivee
1 Followers · 0 Following
  • Joined on 2025-01-21
Repositories
2
 Projects Packages Public Activity Starred Repositories
spivee pushed to spivee/coerce-fixes at QPQ-AG/hakuzaru 2025-01-24 17:20:04 +09:00
f54a33a293 Fix type substitution into variants and records
1d71c16d6a Also prepare AACI for namespace types
28dba962af Even more unit tests
6e335067f9 Add unit tests for some simple coercions
b69ababf0f Remove oracles, update deps (except sophia)
Compare 5 commits »
spivee created pull request QPQ-AG/hakuzaru#1 2025-01-24 17:05:16 +09:00
Fix coerce/3 when applied to namespace types, and type parameters inside record types.
spivee pushed to spivee/coerce-fixes at QPQ-AG/hakuzaru 2025-01-24 17:01:33 +09:00
87477e8c9c Fix type substitution into variants and records
72fe195bff Also prepare AACI for namespace types
8eb907091a Even more unit tests
560cdb8cea Add unit tests for some simple coercions
Compare 4 commits »
spivee created branch spivee/coerce-fixes in QPQ-AG/hakuzaru 2025-01-24 17:01:33 +09:00