Jarvis Carroll spivee
1 Followers · 0 Following
  • Joined on 2025-01-21
Repositories Projects Packages Public Activity Starred Repositories
spivee pushed to spivee/coerce-fixes at QPQ-AG/hakuzaru 2025-01-31 11:41:44 +09:00
558c4879fa Factor handling of different ACI typedef cases
6ebfc0d8b9 Rename 'flatten' and so on to 'annotate'
532431cc36 Break up prepare_aaci logic
fb21e7f106 Fix type substitution into variants and records
d0da6c4beb Also prepare AACI for namespace types
Compare 10 commits »
spivee pushed to spivee/new-deps at QPQ-AG/hakuzaru 2025-01-31 11:31:28 +09:00
e0860f72ca Module fixes
f5ece9946d Whoops!
ab6442daa4 Static log fun
Compare 3 commits »
spivee created branch spivee/new-deps in QPQ-AG/hakuzaru 2025-01-31 11:31:28 +09:00
spivee commented on pull request QPQ-AG/hakuzaru#1 2025-01-24 17:21:19 +09:00
Fix coerce/3 when applied to namespace types, and type parameters inside record types.
  • Force-pushed a rebased version of the branch, on top of b69ababf0f.
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