[Iris-Club] Typo in Iris Lecture notes?

[Danila Fedorin]

Hello all!

I'm wondering if there is a typo in the Iris lecture notes, on page 81. In
particular, in the definition of `myrec`, the notes say:

    let r = \x.x in r <- ...

In the `in` portion, `r` is being assigned to as if it were a location;
however, in the `let`, `r` is initialized to a non-location value. Is this
perhaps missing a `ref`?

    let r = ref(\x. x) in r <- ...

Thanks,
Daniel
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mpi-sws.org/pipermail/iris-club/attachments/20221005/27edac23/attachment.html>