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

thread through DelayedAlias

Browse source
This commit is contained in:
Folkert 2022-03-14 19:33:09 +01:00
parent 7127157962
commit 00f3eaf2a1
No known key found for this signature in database
GPG key ID: 1F17F6FFD112B97C
3 changed files with 122 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

11
compiler/solve/src/solve.rs
View file

@ -13,7 +13,7 @@ use roc_types::subs::{
};
use roc_types::types::Type::{self, *};
use roc_types::types::{
gather_fields_unsorted_iter, AliasKind, Category, ErrorType, PatternCategory,
gather_fields_unsorted_iter, AliasCommon, AliasKind, Category, ErrorType, PatternCategory,
};
use roc_unify::unify::{unify, Mode, Unified::*};
@ -1201,6 +1201,15 @@ fn type_to_variable<'a>(
tag_union_var
}
Type::DelayedAlias(AliasCommon {
symbol: _,
type_arguments: _,
lambda_set_variables: _,
}) => {
// we have arrived
todo!()
}
Type::Alias {
symbol,
type_arguments,