Jarvis Carroll spivee
1 Followers · 0 Following
  • Joined on 2025-01-21
Repositories
2
 Projects Packages Public Activity Starred Repositories
spivee pushed to spivee/convert-arg-fix at QPQ-AG/hakuzaru 2025-02-28 22:01:11 +09:00
4cdf59092d Fix function spec AACI preparation
spivee created branch spivee/convert-arg-fix in QPQ-AG/hakuzaru 2025-02-28 21:59:58 +09:00
spivee pushed to spivee/convert-arg-fix at QPQ-AG/hakuzaru 2025-02-28 21:59:58 +09:00
spivee pushed to master at QPQ-AG/hakuzaru 2025-02-27 21:17:12 +09:00
36a9b17b78 Clean up try_coerce slightly
4e71d3215b Factor handling of different ACI typedef cases
c27005c424 Rename 'flatten' and so on to 'annotate'
ad7be7c8db Break up prepare_aaci logic
7eb29827a6 Fix type substitution into variants and records
Compare 8 commits »
spivee deleted branch spivee/coerce-fixes from QPQ-AG/hakuzaru 2025-02-27 21:17:12 +09:00
spivee merged pull request QPQ-AG/hakuzaru#1 2025-02-27 21:17:11 +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-02-27 21:16:49 +09:00
36a9b17b78 Clean up try_coerce slightly
spivee commented on pull request QPQ-AG/hakuzaru#1 2025-02-27 21:16:05 +09:00
Fix coerce/3 when applied to namespace types, and type parameters inside record types.

Yeah, it's just to crash eunit tests that aren't giving the correct results. I have fixed up the redundant case A == B of true bit though, something you pointed out a while ago.

spivee commented on pull request QPQ-AG/hakuzaru#1 2025-02-26 10:06:56 +09:00
Fix coerce/3 when applied to namespace types, and type parameters inside record types.

Rebased onto 0.3.0, and the tests still pass. This should be good to go.

spivee pushed to spivee/coerce-fixes at QPQ-AG/hakuzaru 2025-02-26 10:04:56 +09:00
4e71d3215b Factor handling of different ACI typedef cases
c27005c424 Rename 'flatten' and so on to 'annotate'
ad7be7c8db Break up prepare_aaci logic
7eb29827a6 Fix type substitution into variants and records
4441f6ff37 Also prepare AACI for namespace types
Compare 9 commits »
spivee pushed to spivee/coerce-fixes at QPQ-AG/hakuzaru 2025-01-31 12:00:24 +09:00
77c30abf4a Factor handling of different ACI typedef cases
f2cf25a0f3 Rename 'flatten' and so on to 'annotate'
7a410b08e0 Break up prepare_aaci logic
Compare 3 commits »
spivee pushed to spivee/coerce-fixes at QPQ-AG/hakuzaru 2025-01-31 11:57:42 +09:00
e5d77ea1b2 Fix type substitution into variants and records
f0e2d04586 Also prepare AACI for namespace types
a81bdee4f7 Even more unit tests
8259ee538a Add unit tests for some simple coercions
Compare 4 commits »
spivee deleted branch spivee/new-deps from QPQ-AG/hakuzaru 2025-01-31 11:44:15 +09:00
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 »