MMB changes: ConvRef has been merged with Ref
digama0 opened this issue · comments
Just a heads-up, the MMB format has changed to eliminate ConvRef
. Ref
should pop a conversion obligation if the heap element is a conversion.
Lines 179 to 182 in 491ab31
Unfold
also no longer pops three elements from the stack. See https://github.com/digama0/mm0/blob/master/mm0-c/mmb.md