language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-08-03 18:29:00 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

chore: uncomment code

Browse source
This commit is contained in:
Shunsuke Shibayama 2024-08-31 11:06:35 +09:00
parent d2460b9dde
commit 46f08c4451
3 changed files with 8 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

8
crates/erg_compiler/context/instantiate.rs
View file

@ -1008,9 +1008,9 @@ impl Context {
if let Some(self_t) = ty.self_t() {
self.sub_unify(callee.ref_t(), self_t, callee, Some(&Str::ever("self")))?;
}
/*if DEBUG_MODE && ty.has_qvar() {
if DEBUG_MODE && ty.has_qvar() {
panic!("{ty} has qvar")
}*/
}
Ok(ty)
}
// HACK: {op: |T|(T -> T) | op == F} => ?T -> ?T
@ -1073,9 +1073,9 @@ impl Context {
Quantified(quant) => {
let mut tmp_tv_cache = TyVarCache::new(self.level, self);
let ty = self.instantiate_t_inner(*quant, &mut tmp_tv_cache, &())?;
/*if DEBUG_MODE && ty.has_qvar() {
if DEBUG_MODE && ty.has_qvar() {
panic!("{ty} has qvar")
}*/
}
Ok(ty)
}
Refinement(refine) if refine.t.is_quantified_subr() => {