Open liesnikov opened 1 year ago
The workaround I settled for is using unbind
separately on the two terms, i.e.
let (lv, lb) <- Unbound.unbind lterm
(rv, rb) <- Unbound.unbind rterm
in ...
instead of (lv, lb, rv, rb) <- Unbound.unbind2Plus lbind rbind
.
using unbind2Plus on two different term types results in an error when printing the terms out, see an example below.
Using it on two terms of the same type doesn't cause errors, as far as I can see.
Example
Error
The error I'm getting while printing the right subterm is
Version
this is using GHC 9.02, but also works on at least 9.2.2 unbound-generics version is the current revision a2a5580580
How to build the example
I have this example in a reproducible build. Here is a gist with all relevant files.