Jarvis Carroll spivee
1 Followers · 0 Following
  • Joined on 2025-01-21
Repositories Projects Packages Public Activity Starred Repositories
spivee merged pull request QPQ-AG/hakuzaru#2 2025-03-01 13:11:13 +09:00
Fix function spec AACI preparation
spivee pushed to master at QPQ-AG/hakuzaru 2025-03-01 13:11:13 +09:00
23b6256aae verup
4efc38d319 Make dryrun operate on the top block.
ede98b9e96 Fix function spec AACI preparation
Compare 3 commits »
spivee deleted branch dryrun-fix from QPQ-AG/hakuzaru 2025-03-01 13:10:46 +09:00
spivee pushed to spivee/convert-arg-fix at QPQ-AG/hakuzaru 2025-03-01 13:10:46 +09:00
23b6256aae verup
4efc38d319 Make dryrun operate on the top block.
Compare 2 commits »
spivee merged pull request QPQ-AG/hakuzaru#3 2025-03-01 13:10:45 +09:00
Make dryrun operate on the top block.
spivee pushed to spivee/convert-arg-fix at QPQ-AG/hakuzaru 2025-02-28 22:03:00 +09:00
ede98b9e96 Fix function spec AACI preparation
spivee created pull request QPQ-AG/hakuzaru#2 2025-02-28 22:01:29 +09:00
Fix function spec AACI preparation
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 pushed to spivee/convert-arg-fix at QPQ-AG/hakuzaru 2025-02-28 21:59:58 +09:00
spivee created branch spivee/convert-arg-fix in QPQ-AG/hakuzaru 2025-02-28 21:59:58 +09:00
spivee deleted branch spivee/coerce-fixes from QPQ-AG/hakuzaru 2025-02-27 21:17:12 +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 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