[Why3-club] matrix import
andrei.paskevich at lri.fr
Mon Jul 2 17:20:25 CEST 2018
On 2 July 2018 at 14:56, Julia Lawall <julia.lawall at lip6.fr> wrote:
> Previously, set was a function that returned the new matrix. Now the
> return type is unit. I think that this is the source of the problem.
Indeed, looking at stdlib/matrix.ml, there is no more pure applicative
version of "set" for matrices. This is a regression, which I've now
fixed in master. The function is called "update", to distinguish it
from the effectful "set".
More information about the Why3-club