this rule feels incorrect. A literal being unified to the parent type - Githubissues

ch-systems / petr

the petr programming language -- Programmable Effects TRacking

https://playground.petr.sh

5 stars 0 forks source link

this rule feels incorrect. A literal being unified to the parent type #149

Open sezna opened 3 months ago

sezna commented 3 months ago

should upcast the lit, not downcast t1. Check after refactoring.

https://github.com/ch-systems/petr/blob/e4b9cd0b8ad20070d0f16fcb69aa0b1084c5ee34/petr-typecheck/src/solution.rs#L284-L289

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