You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
(Warning 290) - SMT may not be able to prove the types of l1 at <input>(10,21-10,23)
(Prims.list Value.value) and v1 at <input>(15,11-15,13) (Value.value) to be
equal, if the proof fails, try annotating these with the same type
- See also <input>(10,21-10,23)
I think I've noticed this before from inferred decreases clauses, but this warning remains even if you add explicit decreases annotations.
Produces
I think I've noticed this before from inferred decreases clauses, but this warning remains even if you add explicit decreases annotations.
Thanks to @anakrish
The text was updated successfully, but these errors were encountered: