13 Commits

Author SHA1 Message Date
SpiveeWorks
6ebfc0d8b9 Rename 'flatten' and so on to 'annotate' 2025-01-31 13:36:55 +11:00
SpiveeWorks
532431cc36 Break up prepare_aaci logic
Now we convert the ACI into trees of opaque types, then flatten the tree
into a map and a list of function specs, and only then dereference the
types in the function specs down to our accelerated annotated types.
2025-01-31 13:36:55 +11:00
SpiveeWorks
fb21e7f106 Fix type substitution into variants and records
Variants were working by accident, since
{variant, [{"VariantName", [Element]}]} had a similar enough form to
the opaque types that would come from something like
`type1(type2(int))`, but records were not working, since they have a
different form. Now both are handled explicitly so that only the
intended forms of each are handled.
2025-01-31 13:36:55 +11:00
SpiveeWorks
d0da6c4beb Also prepare AACI for namespace types 2025-01-31 13:36:55 +11:00
SpiveeWorks
c28185082d Even more unit tests
Trying to test all the basic types that coerce covers, and a couple more
type parameter and nested cases.
2025-01-31 13:36:55 +11:00
SpiveeWorks
5fcece2c8e Add unit tests for some simple coercions 2025-01-31 13:36:55 +11:00
3a444daa6d Module fixes 2025-01-29 17:23:50 +09:00
1dc686215e Whoops! 2025-01-24 00:05:44 +09:00
c8670ae1b9 Static log fun 2025-01-23 23:53:43 +09:00
b69ababf0f Remove oracles, update deps (except sophia) 2025-01-23 23:51:18 +09:00
06fc0ac403 WIP: Adding contract_create_built/3 2024-12-09 15:00:21 +09:00
dbf4f6bdb2 Updates necessary for the nwe poop 2024-11-12 18:52:08 +09:00
3f80b11d63 Initial 2024-03-27 14:45:50 +09:00