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

Use SpecializationId to mark specializations

Browse source
This commit is contained in:
Ayaz Hafiz 2022-05-07 21:32:50 -04:00 • committed by ayazhafiz
parent 2cacda00eb
commit da604e978e
4 changed files with 78 additions and 28 deletions
Download patch file Download diff file Expand all files Collapse all files

8
compiler/can/src/expr.rs
View file

@ -1,3 +1,4 @@
use crate::abilities::SpecializationId;
use crate::annotation::{freshen_opaque_def, IntroducedVariables};
use crate::builtins::builtin_defs_map;
use crate::def::{can_defs_with_return, Def};
@ -21,7 +22,6 @@ use roc_region::all::{Loc, Region};
use roc_types::subs::{ExhaustiveMark, RedundantMark, VarStore, Variable};
use roc_types::types::{Alias, Category, LambdaSet, OptAbleVar, Type};
use std::fmt::{Debug, Display};
use std::sync::{Arc, RwLock};
use std::{char, u32};
#[derive(Clone, Default, Debug)]
@ -88,7 +88,7 @@ pub enum Expr {
/// Actual member name
Symbol,
/// Specialization to use
Arc<RwLock<Option<Symbol>>>,
SpecializationId,
),
// Branching
@ -1328,7 +1328,7 @@ fn canonicalize_var_lookup(
output.references.insert_value_lookup(symbol);
if scope.abilities_store.is_ability_member_name(symbol) {
AbilityMember(symbol, Arc::new(RwLock::new(None)))
AbilityMember(symbol, scope.abilities_store.fresh_specialization_id())
} else {
Var(symbol)
}
@ -1347,7 +1347,7 @@ fn canonicalize_var_lookup(
output.references.insert_value_lookup(symbol);
if scope.abilities_store.is_ability_member_name(symbol) {
AbilityMember(symbol, Arc::new(RwLock::new(None)))
AbilityMember(symbol, scope.abilities_store.fresh_specialization_id())
} else {
Var(symbol)
}