8 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
SpiveeWorks	f54a33a293	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-24 19:14:16 +11:00
SpiveeWorks	1d71c16d6a	Also prepare AACI for namespace types	2025-01-24 19:14:16 +11:00
SpiveeWorks	28dba962af	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-24 19:14:16 +11:00
SpiveeWorks	6e335067f9	Add unit tests for some simple coercions	2025-01-24 19:14:15 +11:00
Craig Everett	b69ababf0f	Remove oracles, update deps (except sophia)	2025-01-23 23:51:18 +09:00
Craig Everett	06fc0ac403	WIP: Adding contract_create_built/3	2024-12-09 15:00:21 +09:00
Craig Everett	dbf4f6bdb2	Updates necessary for the nwe poop	2024-11-12 18:52:08 +09:00
Craig Everett	3f80b11d63	Initial	2024-03-27 14:45:50 +09:00