Invalid_argument('Expr.let_rec") in clone declarations
In a large clone declaration containing
val x = y where
x is a
val constant and y is a
let ghost constant , I received the error
Invalid_argument("Expr.let_rec"). My attempts to reproduce on smaller examples were not rejected at all.
To upload designs, you'll need to enable LFS and have admin enable hashed storage. More information