language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-10-03 00:24:34 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Solve derived impls

Browse source
This commit is contained in:
Ayaz Hafiz 2022-05-19 11:09:31 -04:00
parent c5d970bd81
commit 95e325296f
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
3 changed files with 12 additions and 28 deletions
Download patch file Download diff file Expand all files Collapse all files

9
compiler/can/src/annotation.rs
View file

@ -908,7 +908,7 @@ fn canonicalize_has_clause(
var_store: &mut VarStore,
introduced_variables: &mut IntroducedVariables,
clause: &Loc<roc_parse::ast::HasClause<'_>>,
abilities_in_scope: &[Symbol],
abilities_in_local_scope: &[Symbol],
references: &mut VecSet<Symbol>,
) -> Result<(), Type> {
let Loc {
@ -927,7 +927,12 @@ fn canonicalize_has_clause(
let ability = match ability.value {
TypeAnnotation::Apply(module_name, ident, _type_arguments) => {
let symbol = make_apply_symbol(env, ability.region, scope, module_name, ident)?;
if !abilities_in_scope.contains(&symbol) {
// Ability defined locally, whose members we are constructing right now...
if !abilities_in_local_scope.contains(&symbol)
// or an ability that was imported from elsewhere
&& !scope.abilities_store.is_ability(symbol)
{
let region = ability.region;
env.problem(roc_problem::can::Problem::HasClauseIsNotAbility { region });
return Err(Type::Erroneous(Problem::HasClauseIsNotAbility(region)));

6
compiler/can/src/module.rs
View file

@ -255,12 +255,12 @@ pub fn canonicalize_module_defs<'a>(
{
// These are not aliases but Apply's and we make sure they are always in scope
} else {
// This is a type alias
// This is a type alias or ability
// the symbol should already be added to the scope when this module is canonicalized
debug_assert!(
scope.contains_alias(symbol),
"The {:?} is not a type alias known in {:?}",
scope.contains_alias(symbol) || scope.abilities_store.is_ability(symbol),
"The {:?} is not a type alias or ability known in {:?}",
symbol,
home
);

25
compiler/solve/tests/solve_expr.rs
View file

@ -6457,7 +6457,6 @@ mod solve_expr {
}
#[test]
#[ignore]
fn encode_record() {
infer_queries(
indoc!(
@ -6470,31 +6469,11 @@ mod solve_expr {
# ^^^^^^^^^
"#
),
&[],
&["Encoding#toEncoder : { a : Str } -> Encoder fmt | fmt has EncoderFormatting"],
)
}
#[test]
#[ignore]
fn encode_record_with_nested_able_var() {
infer_queries(
indoc!(
r#"
app "test"
imports [ Encode.{ toEncoder, Encoding } ]
provides [ main ] to "./platform"
main : a -> _ | a has Encoding
main = \a -> toEncoder { a: a }
# ^^^^^^^^^
"#
),
&[],
)
}
#[test]
#[ignore]
fn encode_record_with_nested_custom_impl() {
infer_queries(
indoc!(
@ -6510,7 +6489,7 @@ mod solve_expr {
# ^^^^^^^^^
"#
),
&[],
&["Encoding#toEncoder : { a : A } -> Encoder fmt | fmt has EncoderFormatting"],
)
}
}