owo-lang/voile-rs issues and pull requests

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

Issue - State: open - Opened by ice1000 almost 5 years ago - 1 comment
Labels: enhancement

#178 - Solved metas should be evaluated

Issue - State: closed - Opened by ice1000 about 5 years ago - 1 comment
Labels: meta

#177 - [DNM] branch: mock

Pull Request - State: closed - Opened by owo-bot about 5 years ago
Labels: bug, do not merge, reduction, universe, unification

#176 - Expand global does not expand nested expressions

Issue - State: closed - Opened by ice1000 about 5 years ago - 2 comments
Labels: bug, reduction

#175 - Lift has its problems

Issue - State: closed - Opened by ice1000 about 5 years ago - 1 comment
Labels: bug, universe

#174 - Mock instances in a smarter way

Issue - State: closed - Opened by ice1000 about 5 years ago - 1 comment
Labels: bug, unification

#174 - Mock instances in a smarter way

Issue - State: closed - Opened by ice1000 about 5 years ago - 1 comment
Labels: bug, unification

#173 - [ doc ] add `noscript`

Pull Request - State: closed - Opened by zaoqi about 5 years ago - 1 comment

#173 - [ doc ] add `noscript`

Pull Request - State: closed - Opened by zaoqi about 5 years ago - 1 comment

#172 - the docs.rs page looks ugly?

Issue - State: closed - Opened by zaoqi about 5 years ago - 3 comments
Labels: documentation

#172 - the docs.rs page looks ugly?

Issue - State: closed - Opened by zaoqi about 5 years ago - 3 comments
Labels: documentation

#171 - `SyntaxInfo` design

Issue - State: closed - Opened by oraluben about 5 years ago - 5 comments
Labels: meta

#171 - `SyntaxInfo` design

Issue - State: closed - Opened by oraluben about 5 years ago - 5 comments
Labels: meta

#170 - [DNM] branch: cases-tyck

Pull Request - State: closed - Opened by owo-bot about 5 years ago
Labels: do not merge, row-polymorphism

#169 - [DNM] branch: cases-tyck

Pull Request - State: closed - Opened by owo-bot about 5 years ago - 1 comment
Labels: do not merge, row-polymorphism

#169 - [DNM] branch: cases-tyck

Pull Request - State: closed - Opened by owo-bot about 5 years ago - 1 comment
Labels: do not merge, row-polymorphism

#168 - [DNM] branch: cases-tyck

Pull Request - State: closed - Opened by owo-bot about 5 years ago
Labels: do not merge, row-polymorphism

#168 - [DNM] branch: cases-tyck

Pull Request - State: closed - Opened by owo-bot about 5 years ago
Labels: do not merge, row-polymorphism

#167 - [DNM] branch: cleanup

Pull Request - State: closed - Opened by owo-bot about 5 years ago
Labels: enhancement, do not merge

#166 - [DNM] branch: cases-core

Pull Request - State: closed - Opened by owo-bot about 5 years ago
Labels: core, do not merge

#165 - Cleanup unused functions

Issue - State: closed - Opened by ice1000 about 5 years ago - 1 comment
Labels: enhancement

#165 - Cleanup unused functions

Issue - State: closed - Opened by ice1000 about 5 years ago - 1 comment
Labels: enhancement

#164 - [DNM] branch: cases-core

Pull Request - State: closed - Opened by owo-bot about 5 years ago
Labels: core, do not merge

#164 - [DNM] branch: cases-core

Pull Request - State: closed - Opened by owo-bot about 5 years ago
Labels: core, do not merge

#163 - [DNM] branch: cases-core

Pull Request - State: closed - Opened by owo-bot about 5 years ago
Labels: core, do not merge

#163 - [DNM] branch: cases-core

Pull Request - State: closed - Opened by owo-bot about 5 years ago
Labels: core, do not merge

#162 - [DNM] branch: cases-surf

Pull Request - State: closed - Opened by owo-bot about 5 years ago
Labels: abstract-syntax, do not merge, parser

#161 - [DNM] branch: proj-parse

Pull Request - State: closed - Opened by owo-bot about 5 years ago - 1 comment
Labels: do not merge, parser

#160 - [DNM] branch: proj-check

Pull Request - State: closed - Opened by owo-bot about 5 years ago
Labels: do not merge, row-polymorphism

#159 - Type-check first-class cases

Issue - State: closed - Opened by ice1000 about 5 years ago - 3 comments
Labels: row-polymorphism

#159 - Type-check first-class cases

Issue - State: closed - Opened by ice1000 about 5 years ago - 3 comments
Labels: row-polymorphism

#158 - Type-check record projections

Issue - State: closed - Opened by ice1000 about 5 years ago - 1 comment
Labels: row-polymorphism

#158 - Type-check record projections

Issue - State: closed - Opened by ice1000 about 5 years ago - 1 comment
Labels: row-polymorphism

#157 - [DNM] branch: proj-core

Pull Request - State: closed - Opened by owo-bot about 5 years ago
Labels: do not merge, row-polymorphism

#156 - [DNM] branch: rec-parse

Pull Request - State: closed - Opened by owo-bot about 5 years ago
Labels: do not merge, parser

#155 - [DNM] branch: empty-row

Pull Request - State: closed - Opened by owo-bot about 5 years ago
Labels: do not merge, parser, row-polymorphism

#154 - Empty record/variants

Issue - State: closed - Opened by ice1000 about 5 years ago - 1 comment
Labels: parser, row-polymorphism

#154 - Empty record/variants

Issue - State: closed - Opened by ice1000 about 5 years ago - 1 comment
Labels: parser, row-polymorphism

#153 - [DNM] branch: rec-neut

Pull Request - State: closed - Opened by owo-bot about 5 years ago
Labels: do not merge, row-polymorphism

#152 - Record projection surface syntax

Issue - State: closed - Opened by ice1000 about 5 years ago - 1 comment
Labels: parser

#151 - Record projection in core

Issue - State: closed - Opened by ice1000 about 5 years ago - 1 comment
Labels: row-polymorphism

#151 - Record projection in core

Issue - State: closed - Opened by ice1000 about 5 years ago - 1 comment
Labels: row-polymorphism

#150 - [DNM] branch: closure-as-enum

Pull Request - State: closed - Opened by owo-bot about 5 years ago
Labels: do not merge, row-polymorphism

#149 - Refactor `Closure`, wrap the destruction patterns into functions

Issue - State: closed - Opened by ice1000 about 5 years ago - 1 comment
Labels: row-polymorphism

#149 - Refactor `Closure`, wrap the destruction patterns into functions

Issue - State: closed - Opened by ice1000 about 5 years ago - 1 comment
Labels: row-polymorphism

#148 - [DNM] branch: rec-core

Pull Request - State: closed - Opened by owo-bot about 5 years ago
Labels: do not merge, row-polymorphism

#147 - Record constructor in surface language

Issue - State: closed - Opened by ice1000 about 5 years ago - 1 comment
Labels: parser

#147 - Record constructor in surface language

Issue - State: closed - Opened by ice1000 about 5 years ago - 1 comment
Labels: parser

#146 - Record constructor in core

Issue - State: closed - Opened by ice1000 about 5 years ago - 2 comments
Labels: row-polymorphism

#146 - Record constructor in core

Issue - State: closed - Opened by ice1000 about 5 years ago - 2 comments
Labels: row-polymorphism

#145 - [DNM] branch: kind-parse

Pull Request - State: closed - Opened by owo-bot about 5 years ago
Labels: do not merge, parser

#144 - [DNM] branch: row-sub

Pull Request - State: closed - Opened by owo-bot about 5 years ago
Labels: do not merge, unification

#143 - Row type conversion and subtyping checks

Issue - State: closed - Opened by ice1000 about 5 years ago - 2 comments
Labels: unification

#143 - Row type conversion and subtyping checks

Issue - State: closed - Opened by ice1000 about 5 years ago - 2 comments
Labels: unification

#142 - [DNM] branch: clean-ckty

Pull Request - State: closed - Opened by owo-bot about 5 years ago
Labels: do not merge, universe

#141 - [DNM] branch: row-kinding

Pull Request - State: closed - Opened by owo-bot about 5 years ago
Labels: do not merge, row-polymorphism

#141 - [DNM] branch: row-kinding

Pull Request - State: closed - Opened by owo-bot about 5 years ago
Labels: do not merge, row-polymorphism

#140 - Replace `check_type(e)` with `check(e, Type(Omega))`

Issue - State: closed - Opened by ice1000 about 5 years ago - 1 comment
Labels: universe

#140 - Replace `check_type(e)` with `check(e, Type(Omega))`

Issue - State: closed - Opened by ice1000 about 5 years ago - 1 comment
Labels: universe

#139 - [DNM] branch: row-check-ty

Pull Request - State: closed - Opened by owo-bot about 5 years ago
Labels: do not merge, row-polymorphism

#138 - [DNM] branch: row-kind

Pull Request - State: closed - Opened by owo-bot over 5 years ago
Labels: do not merge, row-polymorphism

#138 - [DNM] branch: row-kind

Pull Request - State: closed - Opened by owo-bot over 5 years ago
Labels: do not merge, row-polymorphism

#137 - Tyck row-kinds and row-types

Issue - State: closed - Opened by ice1000 over 5 years ago - 2 comments
Labels: row-polymorphism

#137 - Tyck row-kinds and row-types

Issue - State: closed - Opened by ice1000 over 5 years ago - 2 comments
Labels: row-polymorphism

#136 - Add "row" kinds in surface

Issue - State: closed - Opened by ice1000 over 5 years ago - 1 comment
Labels: parser

#136 - Add "row" kinds in surface

Issue - State: closed - Opened by ice1000 over 5 years ago - 1 comment
Labels: parser

#135 - [DNM] branch: row-neut

Pull Request - State: closed - Opened by owo-bot over 5 years ago
Labels: do not merge

#134 - [DNM] branch: no-bot

Pull Request - State: closed - Opened by owo-bot over 5 years ago
Labels: do not merge, row-polymorphism

#133 - [DNM] branch: sub

Pull Request - State: closed - Opened by owo-bot over 5 years ago
Labels: do not merge, unification

#133 - [DNM] branch: sub

Pull Request - State: closed - Opened by owo-bot over 5 years ago
Labels: do not merge, unification

#132 - Add subtyping back

Issue - State: closed - Opened by ice1000 over 5 years ago - 1 comment
Labels: unification

#131 - [DNM] branch: abs-row

Pull Request - State: closed - Opened by owo-bot over 5 years ago
Labels: do not merge, row-polymorphism

#130 - [DNM] branch: 126

Pull Request - State: closed - Opened by owo-bot over 5 years ago
Labels: do not merge, error report

#130 - [DNM] branch: 126

Pull Request - State: closed - Opened by owo-bot over 5 years ago
Labels: do not merge, error report

#129 - [DNM] branch: vec1

Pull Request - State: closed - Opened by owo-bot over 5 years ago
Labels: do not merge

#128 - [DNM] branch: new-row-parse

Pull Request - State: closed - Opened by owo-bot over 5 years ago
Labels: do not merge

#127 - Use `vec1`

Issue - State: closed - Opened by ice1000 over 5 years ago - 1 comment
Labels: abstract-syntax

#127 - Use `vec1`

Issue - State: closed - Opened by ice1000 over 5 years ago - 1 comment
Labels: abstract-syntax

#126 - Change error message

Issue - State: closed - Opened by ice1000 over 5 years ago - 1 comment
Labels: error report

#126 - Change error message

Issue - State: closed - Opened by ice1000 over 5 years ago - 1 comment
Labels: error report

#125 - [DNM] branch: inline-meta

Pull Request - State: closed - Opened by owo-bot over 5 years ago
Labels: do not merge, manually merged, meta

#124 - Inline solved metas

Issue - State: closed - Opened by ice1000 over 5 years ago - 1 comment
Labels: meta

#123 - Inline solved metas

Issue - State: closed - Opened by ice1000 over 5 years ago - 1 comment
Labels: duplicate, meta

#123 - Inline solved metas

Issue - State: closed - Opened by ice1000 over 5 years ago - 1 comment
Labels: duplicate, meta

#122 - [DNM] branch: infer-lam

Pull Request - State: closed - Opened by owo-bot over 5 years ago
Labels: do not merge, meta

#121 - [DNM] branch: check-unified

Pull Request - State: closed - Opened by owo-bot over 5 years ago
Labels: bug, do not merge, meta

#120 - Do not need to scope meta

Issue - State: closed - Opened by ice1000 over 5 years ago - 2 comments
Labels: bug, meta

#119 - Check solved meta

Issue - State: closed - Opened by ice1000 over 5 years ago - 1 comment
Labels: meta

#118 - Detect unsolved metas

Issue - State: closed - Opened by ice1000 over 5 years ago - 1 comment
Labels: meta

#118 - Detect unsolved metas

Issue - State: closed - Opened by ice1000 over 5 years ago - 1 comment
Labels: meta

#117 - Infer lambda types

Issue - State: closed - Opened by ice1000 over 5 years ago - 3 comments
Labels: meta

#117 - Infer lambda types

Issue - State: closed - Opened by ice1000 over 5 years ago - 3 comments
Labels: meta

#116 - Minor change: 'For-all' -> 'Universal'

Pull Request - State: closed - Opened by anqurvanillapy over 5 years ago
Labels: documentation

#115 - Implicit syntax

Issue - State: closed - Opened by ice1000 over 5 years ago - 4 comments
Labels: meta

#115 - Implicit syntax

Issue - State: closed - Opened by ice1000 over 5 years ago - 4 comments
Labels: meta

#114 - [DNM] branch: glob-indices

Pull Request - State: closed - Opened by owo-bot over 5 years ago
Labels: enhancement, do not merge

#113 - [DNM] branch: newtype

Pull Request - State: closed - Opened by owo-bot over 5 years ago
Labels: enhancement, do not merge

#112 - Introduce standalone type for global index

Issue - State: closed - Opened by ice1000 over 5 years ago - 1 comment
Labels: enhancement

#111 - Use `newtype` pattern for `MI` and `DBI` and `UID`

Issue - State: closed - Opened by ice1000 over 5 years ago - 1 comment
Labels: enhancement

#110 - [DNM] branch: unification

Pull Request - State: closed - Opened by owo-bot over 5 years ago
Labels: do not merge, meta

GitHub / owo-lang/voile-rs issues and pull requests