search

ch-systems / petr

the petr programming language -- Programmable Effects TRacking
https://playground.petr.sh
5 stars 0 forks source link

deduplicate monomorphized functions #109

Closed sezna closed 3 months ago

sezna commented 3 months ago

https://github.com/sezna/petr/blob/5153249faabb44a3dca98ecdaa5840ca2cf139c7/petr-ir/src/lib.rs#L217-L222

This issue was generated by todo-issue based on a TODO comment in 5153249faabb44a3dca98ecdaa5840ca2cf139c7. It's been assigned to @sezna because they committed the code.
sezna commented 3 months ago

Closing Issue

This comment was generated by todo-issue based on the deletion of a TODO comment in cb4aa5c333f16ba26bcb2f8a95d26b56841f41ab.