these should be boxed slices, as their size is not changed - Githubissues

ch-systems / petr

the petr programming language -- Programmable Effects TRacking

https://playground.petr.sh

5 stars 0 forks source link

these should be boxed slices, as their size is not changed #141

Open sezna opened 1 month ago

sezna commented 1 month ago

https://github.com/ch-systems/petr/blob/6c2873ba8cc2d900ed0ca7fea1ef683ea035d17b/petr-typecheck/src/lib.rs#L225-L230

This issue was generated by todo-issue based on a `TODO` comment in 6c2873ba8cc2d900ed0ca7fea1ef683ea035d17b. It's been assigned to @sezna because they committed the code.

sezna commented 1 month ago

these should be boxed slices, as their size is not changed

https://github.com/ch-systems/petr/blob/6c2873ba8cc2d900ed0ca7fea1ef683ea035d17b/petr-typecheck/src/lib.rs#L198-L203

This comment was generated by todo-issue based on a `TODO` comment in 6c2873ba8cc2d900ed0ca7fea1ef683ea035d17b. It's been assigned to @sezna because they committed the code.