Handle the error case where the field type could not be resolved - Githubissues

ch-systems / petr

the petr programming language -- Programmable Effects TRacking

https://playground.petr.sh

5 stars 0 forks source link

Handle the error case where the field type could not be resolved #112

Open sezna opened 3 months ago

sezna commented 3 months ago

https://github.com/sezna/petr/blob/5153249faabb44a3dca98ecdaa5840ca2cf139c7/petr-resolve/src/resolver.rs#L687-L692

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.