search

owo-lang / voile-rs

Dependently-typed row-polymorphic programming language, evolved from minitt-rs
Apache License 2.0
95 stars 5 forks source link

Mock instances in a smarter way #174

Closed ice1000 closed 5 years ago

ice1000 commented 5 years ago

https://github.com/owo-lang/voile-rs/blob/3fe3842f30ecc8149b538dd573f82c2f78543c82/src/check/expr.rs#L144

We can also solve the issue by either improving the conversion check (to a type-directed manner), use beta-normal eta-long reify-and-compare instead of conversion check, or do the same thing as in owo-lang/minitt-rs#25

owo-bot commented 5 years ago

@ice1000 has created a pull request #177 that might address this issue. Here's a table of the pull request status:

Status
Age
Last Update
Commit
Checks