[Why3-club] matrix import

Andrei Paskevich 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 mailing list