7 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
SpiveeWorks	87477e8c9c	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 18:50:41 +11:00
SpiveeWorks	72fe195bff	Also prepare AACI for namespace types	2025-01-24 18:33:47 +11:00
SpiveeWorks	8eb907091a	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 18:24:08 +11:00
SpiveeWorks	560cdb8cea	Add unit tests for some simple coercions	2025-01-24 16:17:25 +11: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