7 Commits

Author	SHA1	Message	Date
KtorZ	84c4ccaf4c	Forbid opaque types in the application binary interface. ... We cannot enforce internal invariants on opaque types from only structural checks on Data. Thus, it is forbidden to find an opaque type in an outward-facing interface. Instead, users should rely on intermediate representations and lift them into opaque types using constructors and methods provided by the type (e.g. Dict.from_list, Rational.from_int, Rational.new, ...)	2024-03-03 13:55:10 +01:00
microproofs	6e2f9b9eb9	fix tests	2024-02-07 12:48:07 -05:00
microproofs	713b16e25d	we now build forwards when it comes to piplines and expressions ... so this test got reordered	2024-02-07 12:36:35 -05:00
KtorZ	3c8460e6af	Allow annotating Data for blueprint ... This commit allows Data to be optionally annotated with a phantom-type. This doesn't change anything in codegen but we can now leverage this information to generate better blueprint schemas.	2024-02-07 11:48:52 -05:00
microproofs	ae0b428658	update tests to account for new verbose tracing	2024-01-24 16:29:40 -05:00
microproofs	394cac86b8	feat: expect on a type now can take in a msg when in trace mode	2024-01-04 16:03:51 -05:00
microproofs	2f694b01cb	chore: use insta snapshot for blueprint validator tests	2023-11-06 15:37:04 -05:00