[Why3-club] matrix import

Julia Lawall julia.lawall at lip6.fr
Mon Jul 2 17:23:20 CEST 2018

On Mon, 2 Jul 2018, Andrei Paskevich wrote:

> 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".

Great.  Thanks!


More information about the Why3-club mailing list