Check that function return values are not self-aliased

DiffMu / DiffPrivacyInferenceHs

BSD 3-Clause "New" or "Revised" License

0 stars 0 forks source link

Check that function return values are not self-aliased #272

Closed MxmUrw closed 2 years ago

MxmUrw commented 2 years ago

We currently allow the following:

julia> typecheck_hs_from_string("module L
         function make_3tuple(a)
           b = clone(a)
           (b,b,b)
         end
         function bad(x)
            (a,b,c) = make_3tuple(x)
            internal_mutate!(a)
         end
       end
       ")