check if type already exists and return that ID instead - Githubissues

ch-systems / petr

the petr programming language -- Programmable Effects TRacking

https://playground.petr.sh

5 stars 0 forks source link

check if type already exists and return that ID instead #114

Open sezna opened 1 month ago

sezna commented 1 month ago

https://github.com/sezna/petr/blob/5153249faabb44a3dca98ecdaa5840ca2cf139c7/petr-typecheck/src/lib.rs#L203-L208

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.