language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-09-30 23:31:12 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

add test for transitive alias import

Browse source
This commit is contained in:
Folkert 2020-11-11 01:19:54 +01:00
parent 984cf744e3
commit cf80e2852f
9 changed files with 135 additions and 27 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -227,19 +227,7 @@ fn can_annotation_help(
// instantiate variables
actual.substitute(&substitutions);
// Type::Alias(symbol, vars, Box::new(actual))
if vars.is_empty() {
let actual_var = var_store.fresh();
introduced_variables.insert_host_exposed_alias(symbol, actual_var);
Type::HostExposedAlias {
name: symbol,
arguments: vars,
actual: Box::new(actual),
actual_var,
}
} else {
Type::Alias(symbol, vars, Box::new(actual))
}
Type::Alias(symbol, vars, Box::new(actual))
}
None => {
let mut args = Vec::new();
@ -373,7 +361,7 @@ fn can_annotation_help(
// Type::Alias(symbol, vars, Box::new(alias.typ.clone()))
if vars.is_empty() {
if vars.is_empty() && env.home == symbol.module_id() {
let actual_var = var_store.fresh();
introduced_variables.insert_host_exposed_alias(symbol, actual_var);
Type::HostExposedAlias {