Closed uhbif19 closed 3 months ago
Seems like the only problem is change of some lifiting error datatype. AFAIU it does not change semantics, but I am not quite sure.
I make hack to compile plutach by commenting this datatype out and it seem to work for me.
Fixed in #677 .
Seems like the only problem is change of some lifiting error datatype. AFAIU it does not change semantics, but I am not quite sure.
I make hack to compile plutach by commenting this datatype out and it seem to work for me.