[Why3-club] matrix import
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".
More information about the Why3-club