language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-09-27 05:49:08 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Implement obligation checking of tuples for all abilities

Browse source
This commit is contained in:
Ayaz Hafiz 2023-03-22 10:00:51 -05:00
parent 63ef4a486f
commit f4f9ae7a5d
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
2 changed files with 221 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

36
crates/compiler/solve/src/ability.rs
View file

@ -861,6 +861,15 @@ impl DerivableVisitor for DeriveEncoding {
Ok(Descend(true))
}
#[inline(always)]
fn visit_tuple(
_subs: &Subs,
_var: Variable,
_elems: TupleElems,
) -> Result<Descend, NotDerivable> {
Ok(Descend(true))
}
#[inline(always)]
fn visit_tag_union(_var: Variable) -> Result<Descend, NotDerivable> {
Ok(Descend(true))
@ -967,6 +976,15 @@ impl DerivableVisitor for DeriveDecoding {
Ok(Descend(true))
}
#[inline(always)]
fn visit_tuple(
_subs: &Subs,
_var: Variable,
_elems: TupleElems,
) -> Result<Descend, NotDerivable> {
Ok(Descend(true))
}
#[inline(always)]
fn visit_tag_union(_var: Variable) -> Result<Descend, NotDerivable> {
Ok(Descend(true))
@ -1073,6 +1091,15 @@ impl DerivableVisitor for DeriveHash {
Ok(Descend(true))
}
#[inline(always)]
fn visit_tuple(
_subs: &Subs,
_var: Variable,
_elems: TupleElems,
) -> Result<Descend, NotDerivable> {
Ok(Descend(true))
}
#[inline(always)]
fn visit_tag_union(_var: Variable) -> Result<Descend, NotDerivable> {
Ok(Descend(true))
@ -1178,6 +1205,15 @@ impl DerivableVisitor for DeriveEq {
Ok(Descend(true))
}
#[inline(always)]
fn visit_tuple(
_subs: &Subs,
_var: Variable,
_elems: TupleElems,
) -> Result<Descend, NotDerivable> {
Ok(Descend(true))
}
#[inline(always)]
fn visit_tag_union(_var: Variable) -> Result<Descend, NotDerivable> {
Ok(Descend(true))