BlockstreamResearch / rust-simplicity

Creative Commons Zero v1.0 Universal
58 stars 12 forks source link

Some type inference cleanups #227

Closed apoelstra closed 4 months ago

apoelstra commented 4 months ago

Over the weekend I largely rewrote the type inference API to allocate bounds using a slab allocator so that we don't leak memory when we construct reference cycles. These changes seemed independently useful and could be PR'd on their own.