owo-lang voile-rs issues

owo-lang / voile-rs

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

Apache License 2.0

95 stars 5 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Use TCE with stacktrace & pos-col instead of `unreachable!()`s

#179 ice1000 opened 4 years ago
1
Solved metas should be evaluated

#178 ice1000 closed 4 years ago
1
[DNM] branch: mock

#177 owo-bot closed 5 years ago
0
Expand global does not expand nested expressions

#176 ice1000 closed 5 years ago
2
Lift has its problems

#175 ice1000 closed 5 years ago
1
Mock instances in a smarter way

#174 ice1000 closed 5 years ago
1
[ doc ] add `noscript`

#173 zaoqi closed 5 years ago
1
the docs.rs page looks ugly?

#172 zaoqi closed 5 years ago
3
`SyntaxInfo` design

#171 oraluben closed 5 years ago
5
[DNM] branch: cases-tyck

#170 owo-bot closed 5 years ago
0
[DNM] branch: cases-tyck

#169 owo-bot closed 5 years ago
1
[DNM] branch: cases-tyck

#168 owo-bot closed 5 years ago
0
[DNM] branch: cleanup

#167 owo-bot closed 5 years ago
0
[DNM] branch: cases-core

#166 owo-bot closed 5 years ago
0
Cleanup unused functions

#165 ice1000 closed 5 years ago
1
[DNM] branch: cases-core

#164 owo-bot closed 5 years ago
0
[DNM] branch: cases-core

#163 owo-bot closed 5 years ago
0
[DNM] branch: cases-surf

#162 owo-bot closed 5 years ago
0
[DNM] branch: proj-parse

#161 owo-bot closed 5 years ago
1
[DNM] branch: proj-check

#160 owo-bot closed 5 years ago
0
Type-check first-class cases

#159 ice1000 closed 5 years ago
3
Type-check record projections

#158 ice1000 closed 5 years ago
1
[DNM] branch: proj-core

#157 owo-bot closed 5 years ago
0
[DNM] branch: rec-parse

#156 owo-bot closed 5 years ago
0
[DNM] branch: empty-row

#155 owo-bot closed 5 years ago
0
Empty record/variants

#154 ice1000 closed 5 years ago
1
[DNM] branch: rec-neut

#153 owo-bot closed 5 years ago
0
Record projection surface syntax

#152 ice1000 closed 5 years ago
1
Record projection in core

#151 ice1000 closed 5 years ago
1
[DNM] branch: closure-as-enum

#150 owo-bot closed 5 years ago
0
Refactor `Closure`, wrap the destruction patterns into functions

#149 ice1000 closed 5 years ago
1
[DNM] branch: rec-core

#148 owo-bot closed 5 years ago
0
Record constructor in surface language

#147 ice1000 closed 5 years ago
1
Record constructor in core

#146 ice1000 closed 5 years ago
2
[DNM] branch: kind-parse

#145 owo-bot closed 5 years ago
0
[DNM] branch: row-sub

#144 owo-bot closed 5 years ago
0
Row type conversion and subtyping checks

#143 ice1000 closed 5 years ago
2
[DNM] branch: clean-ckty

#142 owo-bot closed 5 years ago
0
[DNM] branch: row-kinding

#141 owo-bot closed 5 years ago
0
Replace `check_type(e)` with `check(e, Type(Omega))`

#140 ice1000 closed 5 years ago
1
[DNM] branch: row-check-ty

#139 owo-bot closed 5 years ago
0
[DNM] branch: row-kind

#138 owo-bot closed 5 years ago
0
Tyck row-kinds and row-types

#137 ice1000 closed 5 years ago
2
Add "row" kinds in surface

#136 ice1000 closed 5 years ago
1
[DNM] branch: row-neut

#135 owo-bot closed 5 years ago
0
[DNM] branch: no-bot

#134 owo-bot closed 5 years ago
0
[DNM] branch: sub

#133 owo-bot closed 5 years ago
0
Add subtyping back

#132 ice1000 closed 5 years ago
1
[DNM] branch: abs-row

#131 owo-bot closed 5 years ago
0
[DNM] branch: 126

#130 owo-bot closed 5 years ago
0