The unify constraint should attempt to upcast `t2` as `t1` if possible, but will never - Githubissues

ch-systems / petr

the petr programming language -- Programmable Effects TRacking

https://playground.petr.sh

5 stars 0 forks source link

The unify constraint should attempt to upcast `t2` as `t1` if possible, but will never #138

Closed sezna closed 3 months ago

sezna commented 3 months ago

downcast `t1` as `t2`. This is not currently how it works and needs investigation.

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

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 3 months ago

Closing Issue

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