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

Empty record/variants #154

Closed ice1000 closed 5 years ago

ice1000 commented 5 years ago

https://github.com/owo-lang/voile-rs/blob/be028606b78f57a4a198e4d026f9ffbdef8ba0b0/src/syntax/surf/grammar.pest#L73

Currently empty is not allowed

owo-bot commented 5 years ago

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

Status
Age
Last Update
Commit
Checks