Row type conversion and subtyping checks

owo-lang / voile-rs

Dependently-typed row-polymorphic programming language, evolved from minitt-rs

Apache License 2.0

95 stars 5 forks source link

Closed ice1000 closed 5 years ago

ice1000 commented 5 years ago

As title. After #137

ice1000 commented 5 years ago

Conversion is already impled

owo-bot commented 5 years ago

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